diff src/cjr_print.sml @ 468:4efab85405be

Ensql'ing nullables
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 15:52:13 -0500
parents 3f1b9231a37b
children 7cb418e9714f
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Nov 06 15:37:38 2008 -0500
+++ b/src/cjr_print.sml	Thu Nov 06 15:52:13 2008 -0500
@@ -474,6 +474,13 @@
       | EFfiApp ("Basis", "sqlifyString", [e]) => [(e, String)]
       | EFfiApp ("Basis", "sqlifyBool", [e]) => [(e, Bool)]
       | EFfiApp ("Basis", "sqlifyTime", [e]) => [(e, Time)]
+
+      | EFfiApp ("Basis", "sqlifyIntN", [e]) => [(e, Nullable Int)]
+      | EFfiApp ("Basis", "sqlifyFloatN", [e]) => [(e, Nullable Float)]
+      | EFfiApp ("Basis", "sqlifyStringN", [e]) => [(e, Nullable String)]
+      | EFfiApp ("Basis", "sqlifyBoolN", [e]) => [(e, Nullable Bool)]
+      | EFfiApp ("Basis", "sqlifyTimeN", [e]) => [(e, Nullable Time)]
+
       | ECase (e, _, _) => [(e, Bool)]
 
       | _ => raise Fail "CjrPrint: getPargs"