Diff of /sml/trunk/src/cm/stable/verify.sml

Parent Directory | Revision Log | Patch

	revision 569, Tue Mar 7 04:01:07 2000 UTC	revision 587, Thu Mar 30 09:01:52 2000 UTC
#	Line 78	Line 78
78	isValid	isValid
79	end	end
80
81	fun verify gp em (group as GG.GROUP g) = let	fun verify _ _ GG.ERRORGROUP = false
82		| verify gp em (group as GG.GROUP g) = let
83	val { exports, grouppath, sublibs, ... } = g	val { exports, grouppath, sublibs, ... } = g
84	val groups = Reachable.groupsOf group	val groups = Reachable.groupsOf group
85	in	in

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.569   changed lines   Added in v.587

---

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