Diff of /pgraph/releases/release-110.62/format.sml

Parent Directory | Revision Log | Patch

	revision 977, Wed Nov 14 16:53:16 2001 UTC	revision 1011, Thu Jan 10 20:22:04 2002 UTC
#	Line 27	Line 27
27
28	fun tos s = concat ["\"", String.toString s, "\""]	fun tos s = concat ["\"", String.toString s, "\""]
29
30	fun rhs (P.SYM (ns, n)) = cfc ("sym", [tos ns, tos n])	fun tons P.SGN = "sgn"
31		| tons P.STR = "str"
32		| tons P.FCT = "fct"
33
34		fun rhs (P.SYM (ns, n)) = cfc (tons ns, [tos n])
35	| rhs (P.SYMS syms) = cfc ("syms", [varlist syms])	| rhs (P.SYMS syms) = cfc ("syms", [varlist syms])
36	| rhs (P.IMPORT { lib, syms }) = cfc ("import", [lib, syms])	| rhs (P.IMPORT { lib, syms }) = cfc ("import", [lib, syms])
37	| rhs (P.COMPILE { src = (src, native), env, syms }) =	| rhs (P.COMPILE { src = (src, native), env, syms }) =
#	Line 42	Line 46
46	out ["\n"])	out ["\n"])
47	in	in
48	out ["val thelibrary = fn ", context, " => (\n"];	out ["val thelibrary = fn ", context, " => (\n"];
49	out ["fn ", varlist imports, " => let\n"];	out ["fn ", varlist imports, " => let open PGOps\n"];
50	app dodef defs;	app dodef defs;
51	out ["   in\n       export ", context, " ", export,	out ["   in\n       export ", context, " ", export,
52	"\n   end\n\	"\n   end\n\

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.977   changed lines   Added in v.1011

---

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