From 16c1bacfe1116391bb7b9a459e7ad53930f2719b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 11 Nov 2008 16:51:45 -0500
Subject: Fix demo regression

---
 src/cjr_print.sml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src/cjr_print.sml')

diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index b1eb04b3..cb88ca84 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -476,7 +476,12 @@ fun getPargs (e, _) =
       | 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"
 
-- 
cgit v1.2.3