comparison src/mono.sml @ 307:52d4c60518d4

First INSERT works
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 15:05:52 -0400
parents 59dc042629b9
children e976b187d73a
comparison
equal deleted inserted replaced
306:99e4f39e820d 307:52d4c60518d4
86 tables : (string * (string * typ) list) list, 86 tables : (string * (string * typ) list) list,
87 state : typ, 87 state : typ,
88 query : exp, 88 query : exp,
89 body : exp, 89 body : exp,
90 initial : exp } 90 initial : exp }
91 | EDml of exp
91 92
92 93
93 withtype exp = exp' located 94 withtype exp = exp' located
94 95
95 datatype decl' = 96 datatype decl' =