Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/kernel/ltybasic.sml

Parent Directory | Revision Log | Patch

	revision 1992, Wed Jul 26 15:22:19 2006 UTC	revision 1993, Wed Jul 26 18:20:36 2006 UTC
#	Line 24	Line 24
24	val tcc_env = LK.tcc_env	val tcc_env = LK.tcc_env
25	val ltc_env = LK.ltc_env	val ltc_env = LK.ltc_env
26
27		(* duplicated in ltykernel.sml *)
28
29	val itos = Int.toString	val itos = Int.toString
30
31	fun plist(p, []) = ""	fun plist(p, []) = ""
32	| plist(p, x::xs) =	| plist(p, x::xs) =
33	(p x) ^ (String.concat (map (fn z => ("," ^ (p z))) xs))	(p x) ^ (String.concat (map (fn z => ("," ^ (p z))) xs))
#	Line 38	Line 41
41
42	fun parw(p, (ff, t1, t2)) =	fun parw(p, (ff, t1, t2)) =
43	"<" ^ (p t1) ^ "> -" ^ pfflag ff ^ "-> <" ^ (p t2) ^ ">"	"<" ^ (p t1) ^ "> -" ^ pfflag ff ^ "-> <" ^ (p t2) ^ ">"
44
45	in	in
46
47	open LtyDef	open LtyDef

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1992   changed lines   Added in v.1993

---

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