Diff of /sml/trunk/src/compiler/FLINT/trans/translate.sml

Parent Directory | Revision Log | Patch

	revision 1640, Fri Oct 1 15:20:40 2004 UTC	revision 1641, Wed Oct 6 20:18:55 2004 UTC
#	Line 1190	Line 1190
1190	| g (CONSTRAINTexp (e,_)) = g e	| g (CONSTRAINTexp (e,_)) = g e
1191
1192	| g (RAISEexp (e, ty)) = mkRaise(g e, tLty ty)	| g (RAISEexp (e, ty)) = mkRaise(g e, tLty ty)
1193	| g (HANDLEexp (e, HANDLER(FNexp(l, ty)))) =	| g (HANDLEexp (e, (l, ty))) =
1194	let val rootv = mkv()	let val rootv = mkv()
1195	fun f x = FN(rootv, tLty ty, x)	fun f x = FN(rootv, tLty ty, x)
1196	val l' = mkRules l	val l' = mkRules l

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1640   changed lines   Added in v.1641

---

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