Diff of /sml/trunk/src/cm/compile/dummy-servers.sml

Parent Directory | Revision Log | Patch

	revision 461, Thu Nov 4 08:06:56 1999 UTC	revision 462, Fri Nov 5 05:45:48 1999 UTC
#	Line 17	Line 17
17	fun cm _ = ()	fun cm _ = ()
18	fun cmb _ = ()	fun cmb _ = ()
19	fun compile _ = false	fun compile _ = false
20	fun withServers f = f ()	fun withServers f =
21		SafeIO.perform { openIt = fn () => (),
22		closeIt = fn () => (),
23		work = f,
24		cleanup = reset }
25	end	end

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.461   changed lines   Added in v.462

---

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