Mercurial > urweb
diff src/cjr_print.sml @ 995:166ea3944b91
Versioned1 demo working
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 06 Oct 2009 17:36:45 -0400 |
| parents | e2305dcc3965 |
| children | 16f7cb0891b6 |
line wrap: on
line diff
--- a/src/cjr_print.sml Tue Oct 06 15:59:11 2009 -0400 +++ b/src/cjr_print.sml Tue Oct 06 17:36:45 2009 -0400 @@ -536,23 +536,6 @@ | _ => raise Fail "CjrPrint: getPargs" -fun p_ensql t e = - case t of - Int => box [string "uw_Basis_attrifyInt(ctx, ", e, string ")"] - | Float => box [string "uw_Basis_attrifyFloat(ctx, ", e, string ")"] - | String => e - | Bool => box [string "(", e, string " ? \"TRUE\" : \"FALSE\")"] - | Time => box [string "uw_Basis_attrifyTime(ctx, ", e, string ")"] - | Blob => box [e, string ".data"] - | Channel => box [string "uw_Basis_attrifyChannel(ctx, ", e, string ")"] - | Client => box [string "uw_Basis_attrifyClient(ctx, ", e, string ")"] - | Nullable String => e - | Nullable t => box [string "(", - e, - string " == NULL ? NULL : ", - p_ensql t (box [string "(*", e, string ")"]), - string ")"] - fun notLeaky env allowHeapAllocated = let fun nl ok (t, _) =