SCM Repository
Diff of /sml/trunk/src/cm/parse/parse.sml
Parent Directory
|
Revision Log
|
Patch
revision 403, Tue Aug 31 07:44:29 1999 UTC | revision 404, Wed Sep 1 07:03:22 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 | |
15 | val dismissLib : SrcPath.t -> unit | |
16 | end | end |
17 | ||
18 | functor ParseFn (val pending : unit -> DependencyGraph.impexp SymbolMap.map | functor ParseFn (val pending : unit -> DependencyGraph.impexp SymbolMap.map |
# | Line 34 | 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 | |
40 | fun show (sp, _) = | |
41 | Say.say [SrcPath.descr sp, "\n"] | |
42 | in | |
43 | SrcPathMap.appi show (!sgc) | |
44 | end | |
45 | ||
46 | fun dismissLib l = | |
47 | (sgc := #1 (SrcPathMap.remove (!sgc, l))) | |
48 | handle LibBase.NotFound => () | |
49 | ||
50 | fun parse gropt param stabflag group = let | fun parse gropt param stabflag group = let |
51 | ||
52 | val stabthis = isSome stabflag | val stabthis = isSome stabflag |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |