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

Parent Directory | Revision Log | Patch

	revision 279, Tue May 18 08:10:36 1999 UTC	revision 280, Tue May 18 09:05:13 1999 UTC
#	Line 124	Line 124
124	val ml_functor = Symbol.fctSymbol	val ml_functor = Symbol.fctSymbol
125	val ml_funsig = Symbol.fsigSymbol	val ml_funsig = Symbol.fsigSymbol
126
127		fun group0 islib (p: permspec, e: exports, m) = let
128		val mc = m MemberCollection.empty
129		val exports = e mc
130		in
131		ignore (MemberCollection.build mc);
132		if islib then Dummy.v else Dummy.v
133		end
134
135	val emptyGroup = Dummy.v	val emptyGroup = Dummy.v
136	fun group (p: permspec, e: exports, m: members) =	val group = group0 false
137	(ignore (m MemberCollection.empty);	val library = group0 true
	Dummy.v)
	fun library (p: permspec, e: exports, m: members) =
	(ignore (m MemberCollection.empty);
	Dummy.v)
138
139	local	local
140	val isMember = StringSet.member	val isMember = StringSet.member

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.279   changed lines   Added in v.280

---

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