comparison src/cjr.sml @ 307:52d4c60518d4

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