Diff of /sml/trunk/src/compiler/FLINT/reps/typeoper.sml

Parent Directory | Revision Log | Patch

	revision 217, Sun Feb 28 23:41:30 1999 UTC	revision 218, Tue Mar 2 08:12:06 1999 UTC
#	Line 17	Line 17
17	val tkAbs  : kenv * (tvar * tkind) list * lvar ->	val tkAbs  : kenv * (tvar * tkind) list * lvar ->
18	(kenv * (lexp * lexp -> lexp))	(kenv * (lexp * lexp -> lexp))
19	val tcLexp : kenv -> tyc -> lexp	val tcLexp : kenv -> tyc -> lexp
20	val tsLexp : kenv * tyc list -> lexp	val tsLexp : kenv * tyc list -> (value list * (lexp -> lexp))
21
22	val utgc   : tyc * kenv * tyc -> value -> lexp	val utgc   : tyc * kenv * tyc -> value -> lexp
23	val utgd   : tyc * kenv * tyc -> value -> lexp	val utgd   : tyc * kenv * tyc -> value -> lexp
#	Line 119	Line 119
119	in SELECT(u, i, x, RET [VAR x])	in SELECT(u, i, x, RET [VAR x])
120	end	end
121
122	fun APPg(e1, e2) =	fun APPg (e1,(v2s,h2)) =
123	let val (v1, h1) = split e1	let val (v1, h1) = split e1
124	val (v2, h2) = split e2	in h1(h2(APP(v1, v2s)))
	in h1(h2(APP(v1, [v2])))
125	end	end
126
127	fun RECORDg es =	fun RECORDg es =

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.217   changed lines   Added in v.218

---

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