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/paths/srcpath.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/paths/srcpath.sml

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

revision 367, Sat Jul 3 04:59:01 1999 UTC revision 457, Thu Oct 28 05:58:19 1999 UTC
# Line 47  Line 47 
47      val native : { context: context, spec: string } -> t      val native : { context: context, spec: string } -> t
48      val standard : PathConfig.mode -> { context: context, spec: string } -> t      val standard : PathConfig.mode -> { context: context, spec: string } -> t
49    
50        val fromDescr : PathConfig.mode -> string -> t
51    
52      val pickle : (bool -> unit) -> t * t -> string list      val pickle : (bool -> unit) -> t * t -> string list
53      val unpickle : PathConfig.mode -> string list * t -> t      val unpickle : PathConfig.mode -> string list * t -> t
54    
# Line 69  Line 71 
71    
72      fun sync () =      fun sync () =
73          (AbsPath.newEra ();          (AbsPath.newEra ();
74           knownPaths := foldl AbsPathMap.insert' AbsPathMap.empty           knownPaths :=
75                               (AbsPathMap.listItemsi (!knownPaths)))             AbsPathMap.foldli (fn (k, v, m) => AbsPathMap.insert (m, k, v))
76                                 AbsPathMap.empty
77                                 (!knownPaths))
78    
79      fun clear () = knownPaths := AbsPathMap.empty      fun clear () = knownPaths := AbsPathMap.empty
80    
# Line 89  Line 93 
93    
94      val native = intern o AbsPath.native      val native = intern o AbsPath.native
95      fun standard m = intern o AbsPath.standard m      fun standard m = intern o AbsPath.standard m
96        fun fromDescr m = intern o AbsPath.fromDescr m
97    
98      val contextName = AbsPath.contextName      val contextName = AbsPath.contextName
99      fun contextOf (ap, _) = AbsPath.contextOf ap      fun contextOf (ap, _) = AbsPath.contextOf ap

Legend:
Removed from v.367  
changed lines
  Added in v.457

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