Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/parse/parse.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 459, Fri Oct 29 06:22:25 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)))

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

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