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/main/autoload.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/main/autoload.sml

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

revision 1057, Fri Feb 8 17:31:02 2002 UTC revision 1058, Fri Feb 8 20:02:56 2002 UTC
# Line 87  Line 87 
87                       NONE => NONE                       NONE => NONE
88                     | SOME e' => SOME (E.concatEnv (e', e)))                     | SOME e' => SOME (E.concatEnv (e', e)))
89          in          in
90                UniquePid.reset ();
91              (* make sure that there are no stale values around... *)              (* make sure that there are no stale values around... *)
92              L.cleanup gp;              L.cleanup gp;
93              SymbolMap.foldl one (SOME E.emptyEnv) m              SymbolMap.foldl one (SOME E.emptyEnv) m
94                before UniquePid.sync gp
95          end          end
96    
97          val { skeleton, ... } =          val { skeleton, ... } =

Legend:
Removed from v.1057  
changed lines
  Added in v.1058

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