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

Parent Directory | Revision Log | 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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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