Diff of /sml/trunk/src/cm/semant/members.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 30	Line 30
30	collection * SymbolSet.set option * GeneralParams.info	collection * SymbolSet.set option * GeneralParams.info
31	-> impexp SymbolMap.map * GroupGraph.privileges	-> impexp SymbolMap.map * GroupGraph.privileges
32
33	val subgroups : collection -> GroupGraph.group list	val subgroups : collection -> (SrcPath.t * GroupGraph.group) list
34
35	val num_look : GeneralParams.info -> collection -> string -> int	val num_look : GeneralParams.info -> collection -> string -> int
36	val cm_look : GeneralParams.info -> collection -> string -> bool	val cm_look : GeneralParams.info -> collection -> string -> bool
#	Line 56	Line 56
56	gimports: impexp SymbolMap.map,	gimports: impexp SymbolMap.map,
57	smlfiles: smlinfo list,	smlfiles: smlinfo list,
58	localdefs: smlinfo SymbolMap.map,	localdefs: smlinfo SymbolMap.map,
59	subgroups: GG.group list,	subgroups: (SrcPath.t * GG.group) list,
60	reqpriv: GG.privileges }	reqpriv: GG.privileges }
61
62	val empty =	val empty =
#	Line 119	Line 119
119	in	in
120	COLLECTION { imports = i, gimports = gi, smlfiles = [],	COLLECTION { imports = i, gimports = gi, smlfiles = [],
121	localdefs = SymbolMap.empty,	localdefs = SymbolMap.empty,
122	subgroups = [g],	subgroups = [(p, g)],
123	reqpriv = required }	reqpriv = required }
124	end	end
125	| exp2coll (PrivateTools.SMLSOURCE src) = let	| exp2coll (PrivateTools.SMLSOURCE src) = let

---

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