comparison src/cjr.sml @ 102:5f04adf47f48

Writing HTML
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 14:02:54 -0400
parents 717b6f8d8505
children d101cb1efe55
comparison
equal deleted inserted replaced
101:717b6f8d8505 102:5f04adf47f48
51 | ERecord of int * (string * exp) list 51 | ERecord of int * (string * exp) list
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
57
56 withtype exp = exp' located 58 withtype exp = exp' located
57 59
58 datatype decl' = 60 datatype decl' =
59 DStruct of int * (string * typ) list 61 DStruct of int * (string * typ) list
60 | DVal of string * int * typ * exp 62 | DVal of string * int * typ * exp