comparison 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
comparison
equal deleted inserted replaced
93:94afff1ff7f6 94:40d146f467c5
47 | EAbs of string * typ * typ * exp 47 | EAbs of string * typ * typ * exp
48 48
49 | ERecord of (string * exp * typ) list 49 | ERecord of (string * exp * typ) list
50 | EField of exp * string 50 | EField of exp * string
51 51
52 | EStrcat of exp * exp
53
54
52 withtype exp = exp' located 55 withtype exp = exp' located
53 56
54 datatype decl' = 57 datatype decl' =
55 DVal of string * int * typ * exp 58 DVal of string * int * typ * exp
56 59