# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1226440305 18000
# Node ID 0fd65c50e0e2d7bc9f0c6059db2e85e7bec22085
# Parent  366676f7bc8854a79f872ef6798d70d5e3942fbb
Fix demo regression

diff -r 366676f7bc88 -r 0fd65c50e0e2 src/cjr_print.sml
--- 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"
 
diff -r 366676f7bc88 -r 0fd65c50e0e2 src/prepare.sml
--- 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,