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

Parent Directory | Revision Log | Patch

	revision 517, Wed Jan 12 03:17:34 2000 UTC	revision 518, Wed Jan 12 06:26:25 2000 UTC
#	Line 20	Line 20
20
21	val empty : collection	val empty : collection
22
23	val expandOne : GeneralParams.info * (SrcPath.t -> GroupGraph.group)	val expandOne :
24		GeneralParams.info * (SrcPath.t -> GroupGraph.group) * (string -> bool)
25	-> { name: string, mkpath: string -> SrcPath.t,	-> { name: string, mkpath: string -> SrcPath.t,
26	group: SrcPath.t * region, class: string option,	group: SrcPath.t * region, class: string option,
27	context: SrcPath.context }	context: SrcPath.context }
#	Line 104	Line 105
105	reqpriv = StringSet.union (#reqpriv c1, #reqpriv c2) }	reqpriv = StringSet.union (#reqpriv c1, #reqpriv c2) }
106	end	end
107
108	fun expandOne (gp, rparse) arg = let	fun expandOne (gp, rparse, load_plugin) arg = let
109	val primconf = #primconf (#param gp)	val primconf = #primconf (#param gp)
110	val { name, mkpath, group, class, context } = arg	val { name, mkpath, group, class, context } = arg
111	val class = Option.map (String.map Char.toLower) class	val class = Option.map (String.map Char.toLower) class
#	Line 115	Line 116
116	val { smlfiles, cmfiles } =	val { smlfiles, cmfiles } =
117	PrivateTools.expand { error = e0,	PrivateTools.expand { error = e0,
118	spec = (name, mkpath, class),	spec = (name, mkpath, class),
119	context = context }	context = context,
120		load_plugin = load_plugin }
121	fun g_coll p = let	fun g_coll p = let
122	val g as GG.GROUP { exports = i, kind, required, ... } =	val g as GG.GROUP { exports = i, kind, required, ... } =
123	rparse p	rparse p

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.517   changed lines   Added in v.518

---

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