Mercurial > urweb
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' = |