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

Parent Directory | Revision Log | Patch

	revision 651, Thu Jun 1 18:34:03 2000 UTC	revision 1368, Sat Sep 13 04:44:43 2003 UTC
#	Line 15	Line 15
15	fun work s = let	fun work s = let
16	fun loop () = let	fun loop () = let
17	fun load loader f = if loader f then loop () else false	fun load loader f = if loader f then loop () else false
	fun isComment l =
	size l > 0 andalso String.sub (l, 0) = #"#"
18	in	in
19	case TextIO.inputLine s of	case TextIO.inputLine s of
20	"" => true	NONE => true
21	| line =>	| SOME line =>
22	if isComment line then loop ()	if String.sub (line, 0) = #"#" then loop ()
23	else (case String.tokens Char.isSpace line of	else case String.tokens Char.isSpace line of
24	["make", f] => load make f	[] => loop () (* ignore empty lines *)
25		| ["make", f] => load make f
26	| ["autoload", f] => load autoload f	| ["autoload", f] => load autoload f
27	| _ => (Say.say ["Illegal line in ", specfile,	| _ => (Say.say ["Illegal line in ", specfile,
28	": ", line];	": ", line];
29	loop ()))	loop ())
30	end	end
31	in	in
32	loop ()	loop ()

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.651   changed lines   Added in v.1368

---

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