Diff of /sml/trunk/src/compiler/TopLevel/interact/interact.sml

Parent Directory | Revision Log | Patch

	revision 259, Thu Apr 22 09:30:22 1999 UTC	revision 260, Thu Apr 22 10:56:58 1999 UTC
#	Line 29	Line 29
29	fun useStream (stream: TextIO.instream) =	fun useStream (stream: TextIO.instream) =
30	EvalLoop.evalStream EvalLoop.stdParams ("<instream>", stream)	EvalLoop.evalStream EvalLoop.stdParams ("<instream>", stream)
31
	fun useStreamSilently (name, stream) =
	let (* use the usual evalloop params, but substitute a
	* pretty-printer that does nothing.
	*)
	val {compManagerHook,
	baseEnvRef,
	localEnvRef,
	transform,
	instrument,
	perform,
	isolate,...} = EvalLoop.stdParams
	val params : EvalLoop.interactParams =
	{compManagerHook = compManagerHook,
	baseEnvRef = baseEnvRef,
	localEnvRef = localEnvRef,
	transform = transform,
	instrument = instrument,
	perform = perform,
	isolate = isolate,
	printer = fn _ => fn _ => fn _ => () (* no-op printer *)
	}
	in
	EvalLoop.evalStream params (name, stream)
	end
32	fun evalStream (stream: TextIO.instream, baseEnv: CMEnv.Env.environment) :	fun evalStream (stream: TextIO.instream, baseEnv: CMEnv.Env.environment) :
33	CMEnv.Env.environment =	CMEnv.Env.environment =
34	let val r = ref Environment.emptyEnv	let val r = ref Environment.emptyEnv

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.259   changed lines   Added in v.260

---

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