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

Parent Directory | Revision Log | Patch

	revision 374, Wed Jul 7 02:59:55 1999 UTC	revision 375, Wed Jul 7 03:08:04 1999 UTC
#	Line 28	Line 28
28	where type result =	where type result =
29	{ stat: E.staticEnv, sym: E.symenv }	{ stat: E.staticEnv, sym: E.symenv }
30	structure ET : TRAVERSAL	structure ET : TRAVERSAL
31	where type result = E.dynenv	where type result = E.dynenv):> AUTOLOAD = struct
	):> AUTOLOAD = struct
32
33	structure SE = GenericVC.StaticEnv	structure SE = GenericVC.StaticEnv
34
#	Line 144	Line 143
143	in	in
144	if SymbolMap.isEmpty loadmap then ()	if SymbolMap.isEmpty loadmap then ()
145	else	else
146	(Say.say ["[autoloading...]\n"];	(Say.say ["[autoloading]\n"];
147	SrcPath.revalidateCwd ();	SrcPath.revalidateCwd ();
148	(* We temporarily turn verbosity off, so we need to wrap this	(* We temporarily turn verbosity off, so we need to wrap this
149	* with a SafeIO.perform... *)	* with a SafeIO.perform... *)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.374   changed lines   Added in v.375

---

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