Diff of /sml/trunk/src/cm/pgraph/gen-sml.sml

Parent Directory | Revision Log | Patch

	revision 1058, Fri Feb 8 20:02:56 2002 UTC	revision 1059, Mon Feb 11 17:05:33 2002 UTC
#	Line 19	Line 19
19	nativesrc: string -> string,	nativesrc: string -> string,
20	importstructs: string list,	importstructs: string list,
21	outstream: TextIO.outstream,	outstream: TextIO.outstream,
22	exportprefix: string } -> unit	exportprefix: string,
23		use_toplocal: bool } -> unit
24	end = struct	end = struct
25
26	type typ = string	type typ = string
#	Line 57	Line 58
58	nativesrc,	nativesrc,
59	importstructs,	importstructs,
60	outstream = outs,	outstream = outs,
61	exportprefix } = args	exportprefix,
62		use_toplocal } = args
63
64		val (xlocal, xin, xend) =
65		if use_toplocal then ("local", "in", "end")
66		else ("(* local *)", "(* in *)", "(* end *)")
67
68	fun out l = app (fn s => TextIO.output (outs, s)) l	fun out l = app (fn s => TextIO.output (outs, s)) l
69
#	Line 116	Line 122
122	copy ()	copy ()
123	end	end
124	in	in
125	out ["local\n"];	out [xlocal, "\n"];
126	SM.appi genimport e;	SM.appi genimport e;
127	out ["in\n"];	out [xin, "\n"];
128	copyfile src;	copyfile src;
129	genexport (oss, fmt)	genexport (oss, fmt)
130	before out ["end\n"]	before out [xend, "\n"]
131	end	end
132
133	fun filter (e, ss) = SM.filteri (fn (sy, _) => SS.member (ss, sy)) e	fun filter (e, ss) = SM.filteri (fn (sy, _) => SS.member (ss, sy)) e

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1058   changed lines   Added in v.1059

---

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