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

Parent Directory | Revision Log | Patch

	revision 478, Thu Nov 11 03:02:05 1999 UTC	revision 479, Thu Nov 11 07:46:35 1999 UTC
#	Line 11	Line 11
11	GeneralParams.param -> bool option ->	GeneralParams.param -> bool option ->
12	SrcPath.t -> (CMSemant.group * GeneralParams.info) option	SrcPath.t -> (CMSemant.group * GeneralParams.info) option
13	val reset : unit -> unit	val reset : unit -> unit
14	val listLibs : unit -> unit	val listLibs : unit -> SrcPath.t list
15	val dismissLib : SrcPath.t -> unit	val dismissLib : SrcPath.t -> unit
16	end	end
17
#	Line 36	Line 36
36	val sgc = ref (SrcPathMap.empty: CMSemant.group SrcPathMap.map)	val sgc = ref (SrcPathMap.empty: CMSemant.group SrcPathMap.map)
37	fun reset () = sgc := SrcPathMap.empty	fun reset () = sgc := SrcPathMap.empty
38
39	fun listLibs () = let	fun listLibs () = map #1 (SrcPathMap.listItemsi (!sgc))
	fun show (sp, _) =
	Say.say [SrcPath.descr sp, "\n"]
	in
	SrcPathMap.appi show (!sgc)
	end
40
41	fun dismissLib l =	fun dismissLib l =
42	(sgc := #1 (SrcPathMap.remove (!sgc, l)))	(sgc := #1 (SrcPathMap.remove (!sgc, l)))

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.478   changed lines   Added in v.479

---

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