comparison 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
comparison
equal deleted inserted replaced
467:3f1b9231a37b 468:4efab85405be
472 | EFfiApp ("Basis", "sqlifyInt", [e]) => [(e, Int)] 472 | EFfiApp ("Basis", "sqlifyInt", [e]) => [(e, Int)]
473 | EFfiApp ("Basis", "sqlifyFloat", [e]) => [(e, Float)] 473 | EFfiApp ("Basis", "sqlifyFloat", [e]) => [(e, Float)]
474 | EFfiApp ("Basis", "sqlifyString", [e]) => [(e, String)] 474 | EFfiApp ("Basis", "sqlifyString", [e]) => [(e, String)]
475 | EFfiApp ("Basis", "sqlifyBool", [e]) => [(e, Bool)] 475 | EFfiApp ("Basis", "sqlifyBool", [e]) => [(e, Bool)]
476 | EFfiApp ("Basis", "sqlifyTime", [e]) => [(e, Time)] 476 | EFfiApp ("Basis", "sqlifyTime", [e]) => [(e, Time)]
477
478 | EFfiApp ("Basis", "sqlifyIntN", [e]) => [(e, Nullable Int)]
479 | EFfiApp ("Basis", "sqlifyFloatN", [e]) => [(e, Nullable Float)]
480 | EFfiApp ("Basis", "sqlifyStringN", [e]) => [(e, Nullable String)]
481 | EFfiApp ("Basis", "sqlifyBoolN", [e]) => [(e, Nullable Bool)]
482 | EFfiApp ("Basis", "sqlifyTimeN", [e]) => [(e, Nullable Time)]
483
477 | ECase (e, _, _) => [(e, Bool)] 484 | ECase (e, _, _) => [(e, Bool)]
478 485
479 | _ => raise Fail "CjrPrint: getPargs" 486 | _ => raise Fail "CjrPrint: getPargs"
480 487
481 fun p_ensql t e = 488 fun p_ensql t e =