diff src/mono.sml @ 94:40d146f467c5

Monoizing cdata
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jul 2008 17:39:17 -0400
parents 92361a008a10
children f0f59e918cac
line wrap: on
line diff
--- a/src/mono.sml	Thu Jul 03 17:14:35 2008 -0400
+++ b/src/mono.sml	Thu Jul 03 17:39:17 2008 -0400
@@ -49,6 +49,9 @@
        | ERecord of (string * exp * typ) list
        | EField of exp * string
 
+       | EStrcat of exp * exp
+
+
 withtype exp = exp' located
 
 datatype decl' =