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 365, Fri Jul 2 08:38:07 1999 UTC revision 366, Fri Jul 2 14:13:29 1999 UTC
# Line 108  Line 108 
108          val loadmap = SymbolMap.filter isPicked pend          val loadmap = SymbolMap.filter isPicked pend
109          val noloadmap = SymbolMap.filter (not o isPicked) pend          val noloadmap = SymbolMap.filter (not o isPicked) pend
110      in      in
111          case loadit loadmap of          if SymbolMap.isEmpty loadmap then ()
112            else
113                (Say.say ["[autoloading..."];
114                 SrcPath.revalidateCwd ();
115                 (* We temporarily turn verbosity off, so we need to wrap this
116                  * with a SafeIO.perform... *)
117                 SafeIO.perform
118                  { openIt = fn () =>
119                      EnvConfig.getSet StdConfig.verbose (SOME false),
120                    closeIt = ignore o (EnvConfig.getSet StdConfig.verbose) o SOME,
121                    cleanup = fn () => (),
122                    work = fn _ =>
123                      (case loadit loadmap of
124              SOME e =>              SOME e =>
125                  (#set ter (BE.concatEnv (e, te));                  (#set ter (BE.concatEnv (e, te));
126                   pending := noloadmap)                              pending := noloadmap;
127            | NONE => ()                              Say.say ["done]\n"])
128                         | NONE => Say.say ["failed]\n"]) })
129      end      end
130    
131      fun getPending () = !pending      fun getPending () = !pending

Legend:
Removed from v.365  
changed lines
  Added in v.366

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