From 0ba7ae8dbfdaf703260e58f700ce6e2ccf1ce2e9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 7 Sep 2008 15:05:52 -0400 Subject: First INSERT works --- src/cjr.sml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/cjr.sml') diff --git a/src/cjr.sml b/src/cjr.sml index ac30bd9f..f9155980 100644 --- a/src/cjr.sml +++ b/src/cjr.sml @@ -85,6 +85,8 @@ datatype exp' = body : exp, initial : exp, prepared : int option } + | EDml of { dml : exp, + prepared : int option } withtype exp = exp' located -- cgit v1.2.3