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 1136, Tue Mar 12 19:44:02 2002 UTC revision 1137, Tue Mar 12 22:28:55 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
             UniquePid.reset ();  
90              (* make sure that there are no stale values around... *)              (* make sure that there are no stale values around... *)
91              L.cleanup gp;              L.cleanup gp;
92              SymbolMap.foldl one (SOME E.emptyEnv) m              SymbolMap.foldl one (SOME E.emptyEnv) m
             before UniquePid.sync gp  
93          end          end
94    
95          val { skeleton, ... } =          val { skeleton, ... } =

Legend:
Removed from v.1136  
changed lines
  Added in v.1137

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