Mercurial > urweb
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"