Mercurial > urweb
comparison src/cjr.sml @ 106:d101cb1efe55
More with attributes and efficient serialization
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Jul 2008 15:49:14 -0400 |
parents | 5f04adf47f48 |
children | 813e5a52063d |
comparison
equal
deleted
inserted
replaced
105:da760c34f5ed | 106:d101cb1efe55 |
---|---|
52 | EField of exp * string | 52 | EField of exp * string |
53 | 53 |
54 | ELet of (string * typ * exp) list * exp | 54 | ELet of (string * typ * exp) list * exp |
55 | 55 |
56 | EWrite of exp | 56 | EWrite of exp |
57 | ESeq of exp * exp | |
57 | 58 |
58 withtype exp = exp' located | 59 withtype exp = exp' located |
59 | 60 |
60 datatype decl' = | 61 datatype decl' = |
61 DStruct of int * (string * typ) list | 62 DStruct of int * (string * typ) list |