Diff of /sml/trunk/src/cm/semant/semant.sml

Parent Directory | Revision Log | Patch

	revision 443, Thu Sep 16 02:33:21 1999 UTC	revision 444, Thu Sep 16 05:32:14 1999 UTC
#	Line 148	Line 148
148	sublibs = [] }	sublibs = [] }
149
150	fun sgl2sll subgroups = let	fun sgl2sll subgroups = let
151	fun sameSL (GG.GROUP g) (GG.GROUP g') =	fun sameSL (p, g) (p', g') = SrcPath.compare (p, p') = EQUAL
	SrcPath.compare (#grouppath g, #grouppath g') = EQUAL
152	fun add (x, l) =	fun add (x, l) =
153	if List.exists (sameSL x) l then l else x :: l	if List.exists (sameSL x) l then l else x :: l
154	fun oneSG (x as (GG.GROUP { kind, sublibs, ... }), l) =	fun oneSG (x as (_, GG.GROUP { kind, sublibs, ... }), l) =
155	case kind of	case kind of
156	GG.NOLIB => foldl add l sublibs	GG.NOLIB => foldl add l sublibs
157	| _ => add (x, l)	| _ => add (x, l)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.443   changed lines   Added in v.444

---

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