Diff of /sml/trunk/src/cm/bootstrap/btcompile.sml

Parent Directory | Revision Log | Patch

	revision 517, Wed Jan 12 03:17:34 2000 UTC	revision 518, Wed Jan 12 06:26:25 2000 UTC
#	Line 7	Line 7
7	* Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)	* Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
8	*)	*)
9	functor BootstrapCompileFn (structure MachDepVC : MACHDEP_VC	functor BootstrapCompileFn (structure MachDepVC : MACHDEP_VC
10	val os : SMLofNJ.SysInfo.os_kind) :> sig	val os : SMLofNJ.SysInfo.os_kind
11		val load_plugin : string -> bool) :> sig
12	val make' : string option -> bool	val make' : string option -> bool
13	val make : unit -> bool	val make : unit -> bool
14	val deliver' : string option -> bool	val deliver' : string option -> bool
#	Line 248	Line 249
249	if deliver then SOME true else NONE	if deliver then SOME true else NONE
250	in	in
251	Servers.dirbase dirbase;	Servers.dirbase dirbase;
252	case Parse.parse NONE param stab maingspec of	case Parse.parse load_plugin NONE param stab maingspec of
253	NONE => NONE	NONE => NONE
254	| SOME (g, gp) => let	| SOME (g, gp) => let
255	fun thunk () = let	fun thunk () = let

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.517   changed lines   Added in v.518

---

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