Mercurial > urweb

comparison src/cjr_print.sml @ 491:0fd65c50e0e2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix demo regression
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 16:51:45 -0500
parents 8e055bbbd28b
children 4a241d108a2c
comparison
equal deleted inserted replaced
490:366676f7bc88 491:0fd65c50e0e2
474 | EFfiApp ("Basis", "sqlifyFloatN", [e]) => [(e, Nullable Float)] 474 | EFfiApp ("Basis", "sqlifyFloatN", [e]) => [(e, Nullable Float)]
475 | EFfiApp ("Basis", "sqlifyStringN", [e]) => [(e, Nullable String)] 475 | EFfiApp ("Basis", "sqlifyStringN", [e]) => [(e, Nullable String)]
476 | EFfiApp ("Basis", "sqlifyBoolN", [e]) => [(e, Nullable Bool)] 476 | EFfiApp ("Basis", "sqlifyBoolN", [e]) => [(e, Nullable Bool)]
477 | EFfiApp ("Basis", "sqlifyTimeN", [e]) => [(e, Nullable Time)] 477 | EFfiApp ("Basis", "sqlifyTimeN", [e]) => [(e, Nullable Time)]
478 478
479 | ECase (e, _, _) => [(e, Bool)] 479 | ECase (e,
480 [((PCon (_, PConFfi {mod = "Basis", con = "True", ...}, _), _),
481 (EPrim (Prim.String "TRUE"), _)),
482 ((PCon (_, PConFfi {mod = "Basis", con = "False", ...}, _), _),
483 (EPrim (Prim.String "FALSE"), _))],
484 _) => [(e, Bool)]
480 485
481 | _ => raise Fail "CjrPrint: getPargs" 486 | _ => raise Fail "CjrPrint: getPargs"
482 487
483 fun p_ensql t e = 488 fun p_ensql t e =
484 case t of 489 case t of