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 432, Fri Sep 10 05:44:08 1999 UTC revision 433, Mon Sep 13 06:57:29 1999 UTC
# Line 169  Line 169 
169               (* We temporarily turn verbosity off, so we need to wrap this               (* We temporarily turn verbosity off, so we need to wrap this
170                * with a SafeIO.perform... *)                * with a SafeIO.perform... *)
171               SafeIO.perform               SafeIO.perform
172                { openIt = fn () =>                { openIt = fn () => #get StdConfig.verbose () before
173                    EnvConfig.getSet StdConfig.verbose (SOME false),                                    #set StdConfig.verbose false,
174                  closeIt = ignore o (EnvConfig.getSet StdConfig.verbose) o SOME,                  closeIt = ignore o #set StdConfig.verbose,
175                  cleanup = fn () => (),                  cleanup = fn () => (),
176                  work = fn _ =>                  work = fn _ =>
177                    (case loadit loadmap of                    (case loadit loadmap of

Legend:
Removed from v.432  
changed lines
  Added in v.433

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