diff src/cjrize.sml @ 178:eb3f9913bf31

First part of getting cases through monoize
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 09:26:49 -0400
parents 25b169416ea8
children c7a5c8e0a0e0
line wrap: on
line diff
--- a/src/cjrize.sml	Sat Aug 02 11:15:32 2008 -0400
+++ b/src/cjrize.sml	Sun Aug 03 09:26:49 2008 -0400
@@ -108,6 +108,7 @@
         L.EPrim p => ((L'.EPrim p, loc), sm)
       | L.ERel n => ((L'.ERel n, loc), sm)
       | L.ENamed n => ((L'.ENamed n, loc), sm)
+      | L.ECon _ => raise Fail "Cjrize ECon"
       | L.EFfi mx => ((L'.EFfi mx, loc), sm)
       | L.EFfiApp (m, x, es) =>
         let
@@ -152,6 +153,8 @@
             ((L'.EField (e, x), loc), sm)
         end
 
+      | L.ECase _ => raise Fail "Cjrize ECase"
+
       | L.EStrcat _ => raise Fail "Cjrize EStrcat"
 
       | L.EWrite e =>