Diff of /sml/branches/SMLNJ/src/compiler/Semant/modules/sigmatch.sml

Parent Directory | Revision Log | Patch

	revision 124, Mon Sep 7 16:19:55 1998 UTC	revision 125, Mon Sep 7 18:14:32 1998 UTC
#	Line 481	Line 481
481	let val str1 = EE.look(ee1,v1)	let val str1 = EE.look(ee1,v1)
482	val str2 = EE.look(ee2,v2)	val str2 = EE.look(ee2,v2)
483	in compStr((SP.extend(p1,sym),(sign1',str1)),	in compStr((SP.extend(p1,sym),(sign1',str1)),
484	(SP.extend(p2,sym),(sign1',str2)))	(SP.extend(p2,sym),(sign2',str2)))
485	end	end
486	| _ => ()) (* values, constructors, functors *)	| _ => ()) (* values, constructors, functors *)
487	end	end
#	Line 1472	Line 1472
1472
1473	(*	(*
1474	* $Log$	* $Log$
	*
1475	*)	*)
1476

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.124   changed lines   Added in v.125

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0