From 549b3c11b75bb08eb6b686d2d1a04bc0ec7647a9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 11 Sep 2008 12:22:06 -0400
Subject: Improve detection of opportunities for prepared statements with bool
 parameters

---
 src/cjr_print.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/cjr_print.sml')

diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index a6eb0ffe..73a4f0fc 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -425,6 +425,7 @@ fun getPargs (e, _) =
       | EFfiApp ("Basis", "sqlifyFloat", [e]) => [(e, Float)]
       | EFfiApp ("Basis", "sqlifyString", [e]) => [(e, String)]
       | EFfiApp ("Basis", "sqlifyBool", [e]) => [(e, Bool)]
+      | ECase (e, _, _) => [(e, Bool)]
 
       | _ => raise Fail "CjrPrint: getPargs"
 
-- 
cgit v1.2.3