Diff of /sml/trunk/src/cm/parse/parse.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 7	Line 7
7	*)	*)
8	signature PARSE = sig	signature PARSE = sig
9	val parse :	val parse :
10		(string -> bool) ->
11	GroupReg.groupreg option ->	GroupReg.groupreg option ->
12	GeneralParams.param -> bool option ->	GeneralParams.param -> bool option ->
13	SrcPath.t -> (CMSemant.group * GeneralParams.info) option	SrcPath.t -> (CMSemant.group * GeneralParams.info) option
#	Line 55	Line 56
56	(sgc := #1 (SrcPathMap.remove (!sgc, l)))	(sgc := #1 (SrcPathMap.remove (!sgc, l)))
57	handle LibBase.NotFound => ()	handle LibBase.NotFound => ()
58
59	fun parse gropt param stabflag group = let	fun parse load_plugin gropt param stabflag group = let
60
61	val stabthis = isSome stabflag	val stabthis = isSome stabflag
62	val staball = stabflag = SOME true	val staball = stabflag = SOME true
#	Line 233	Line 234
234	CMSemant.emptyGroup group)	CMSemant.emptyGroup group)
235
236	fun doMember ({ name, mkpath }, p1, p2, c) =	fun doMember ({ name, mkpath }, p1, p2, c) =
237	CMSemant.member (ginfo, recParse (p1, p2))	CMSemant.member (ginfo, recParse (p1, p2), load_plugin)
238	{ name = name, mkpath = mkpath,	{ name = name, mkpath = mkpath,
239	class = c, group = (group, (p1, p2)),	class = c, group = (group, (p1, p2)),
240	context = context }	context = context }

---

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