diff src/cloconv.sml @ 94:40d146f467c5

Monoizing cdata
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jul 2008 17:39:17 -0400
parents 144d082b47ae
children dcc5dda1645c
line wrap: on
line diff
--- a/src/cloconv.sml	Thu Jul 03 17:14:35 2008 -0400
+++ b/src/cloconv.sml	Thu Jul 03 17:39:17 2008 -0400
@@ -185,6 +185,8 @@
             ((L'.EField (e1, x), loc), D)
         end
 
+      | L.EStrcat _ => raise Fail "Cloconv EStrcat"
+
 fun ccDecl ((d, loc), D) =
     case d of
         L.DVal (x, n, t, e) =>