Mercurial > urweb
diff src/cjrize.sml @ 283:c0e4ac23522d
'error' function
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Sep 2008 10:02:27 -0400 |
parents | 0236d9412ad2 |
children | 4260ad920c36 |
line wrap: on
line diff
--- a/src/cjrize.sml Sun Sep 07 09:28:13 2008 -0400 +++ b/src/cjrize.sml Sun Sep 07 10:02:27 2008 -0400 @@ -253,6 +253,14 @@ ((L'.ECase (e, pes, {disc = disc, result = result}), loc), sm) end + | L.EError (e, t) => + let + val (e, sm) = cifyExp (e, sm) + val (t, sm) = cifyTyp (t, sm) + in + ((L'.EError (e, t), loc), sm) + end + | L.EStrcat (e1, e2) => let val (e1, sm) = cifyExp (e1, sm)