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 493, Mon Nov 29 07:13:22 1999 UTC revision 505, Thu Dec 9 08:24:08 1999 UTC
# Line 12  Line 12 
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 -> SrcPath.t list      val listLibs : unit -> SrcPath.t list
15        val dropPickles : unit -> unit
16      val dismissLib : SrcPath.t -> unit      val dismissLib : SrcPath.t -> unit
17  end  end
18    
# Line 38  Line 39 
39    
40      fun listLibs () = map #1 (SrcPathMap.listItemsi (!sgc))      fun listLibs () = map #1 (SrcPathMap.listItemsi (!sgc))
41    
42        fun dropPickles () = let
43            fun drop (GG.GROUP { kind = GG.STABLELIB dropper, ... }) = dropper ()
44              | drop _ = ()
45        in
46            if #get (StdConfig.conserve_memory) () then
47                SrcPathMap.app drop (!sgc)
48            else ()
49        end
50    
51      fun dismissLib l =      fun dismissLib l =
52          (sgc := #1 (SrcPathMap.remove (!sgc, l)))          (sgc := #1 (SrcPathMap.remove (!sgc, l)))
53          handle LibBase.NotFound => ()          handle LibBase.NotFound => ()

Legend:
Removed from v.493  
changed lines
  Added in v.505

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