Diff of /sml/trunk/src/compiler/Elaborator/elaborate/elabutil.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 359	Line 359
359	let val v = newVALvar(exnID, mkv)	let val v = newVALvar(exnID, mkv)
360	val r = RULE(VARpat v, RAISEexp(VARexp(ref(v),[]),UNDEFty))	val r = RULE(VARpat v, RAISEexp(VARexp(ref(v),[]),UNDEFty))
361	val rules = completeMatch' r rules	val rules = completeMatch' r rules
362	in HANDLEexp(exp, HANDLER(FNexp(rules,UNDEFty)))	in HANDLEexp(exp, (rules,UNDEFty))
363	end	end
364
365
#	Line 479	Line 479
479	| SEQexp l => app findexp l	| SEQexp l => app findexp l
480	| APPexp (a,b) => (findexp a; findexp b)	| APPexp (a,b) => (findexp a; findexp b)
481	| CONSTRAINTexp (x,_) => findexp x	| CONSTRAINTexp (x,_) => findexp x
482	| HANDLEexp (x, HANDLER h) => (findexp x; findexp h)	| HANDLEexp (x, (l, _)) =>
483		(findexp x; app (fn RULE (_, x) => findexp x) l)
484	| RAISEexp (x, _) => findexp x	| RAISEexp (x, _) => findexp x
485	| LETexp (d, x) => (finddec d; findexp x)	| LETexp (d, x) => (finddec d; findexp x)
486	| CASEexp (x, l, _) =>	| CASEexp (x, 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