changeset 491:0fd65c50e0e2

Fix demo regression
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 16:51:45 -0500
parents 366676f7bc88
children 4a241d108a2c
files src/cjr_print.sml src/prepare.sml
diffstat 2 files changed, 7 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/cjr_print.sml	Tue Nov 11 16:27:51 2008 -0500
+++ b/src/cjr_print.sml	Tue Nov 11 16:51:45 2008 -0500
@@ -476,7 +476,12 @@
       | EFfiApp ("Basis", "sqlifyBoolN", [e]) => [(e, Nullable Bool)]
       | EFfiApp ("Basis", "sqlifyTimeN", [e]) => [(e, Nullable Time)]
 
-      | ECase (e, _, _) => [(e, Bool)]
+      | ECase (e,
+               [((PCon (_, PConFfi {mod = "Basis", con = "True", ...}, _), _),
+                 (EPrim (Prim.String "TRUE"), _)),
+                ((PCon (_, PConFfi {mod = "Basis", con = "False", ...}, _), _),
+                 (EPrim (Prim.String "FALSE"), _))],
+               _) => [(e, Bool)]
 
       | _ => raise Fail "CjrPrint: getPargs"
 
--- a/src/prepare.sml	Tue Nov 11 16:27:51 2008 -0500
+++ b/src/prepare.sml	Tue Nov 11 16:51:45 2008 -0500
@@ -183,7 +183,7 @@
                 NONE =>
                 ((EQuery {exps = exps, tables = tables, rnum = rnum,
                           state = state, query = query, body = body,
-                          initial = initial, prepared = SOME (#2 sns)}, loc),
+                          initial = initial, prepared = NONE}, loc),
                  sns)
               | SOME (ss, n) =>
                 ((EQuery {exps = exps, tables = tables, rnum = rnum,