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 734, Sun Nov 19 05:27:41 2000 UTC revision 737, Fri Nov 24 08:43:56 2000 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              (* make sure that there are no stale value 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
93          end          end
# Line 152  Line 152 
152               SafeIO.perform               SafeIO.perform
153                { openIt = fn () => #get StdConfig.verbose () before                { openIt = fn () => #get StdConfig.verbose () before
154                                    #set StdConfig.verbose false,                                    #set StdConfig.verbose false,
155                  closeIt = ignore o #set StdConfig.verbose,                  closeIt = #set StdConfig.verbose,
156                  cleanup = fn _ => (),                  cleanup = fn _ => (),
157                  work = fn _ =>                  work = fn _ =>
158                    (case loadit loadmap of                    (case loadit loadmap of

Legend:
Removed from v.734  
changed lines
  Added in v.737

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