comparison src/postgres.sml @ 1364:0dec38af601c

Fix Postgres date serialization
author Adam Chlipala <adam@chlipala.net>
date Fri, 24 Dec 2010 17:18:28 -0500
parents 929981850d9d
children 58c9c039582a
comparison
equal deleted inserted replaced
1363:7dd8a6704265 1364:0dec38af601c
652 Int => box [string "uw_Basis_attrifyInt(ctx, ", e, string ")"] 652 Int => box [string "uw_Basis_attrifyInt(ctx, ", e, string ")"]
653 | Float => box [string "uw_Basis_attrifyFloat(ctx, ", e, string ")"] 653 | Float => box [string "uw_Basis_attrifyFloat(ctx, ", e, string ")"]
654 | String => e 654 | String => e
655 | Char => box [string "uw_Basis_attrifyChar(ctx, ", e, string ")"] 655 | Char => box [string "uw_Basis_attrifyChar(ctx, ", e, string ")"]
656 | Bool => box [string "(", e, string " ? \"TRUE\" : \"FALSE\")"] 656 | Bool => box [string "(", e, string " ? \"TRUE\" : \"FALSE\")"]
657 | Time => box [string "uw_Basis_attrifyTime(ctx, ", e, string ")"] 657 | Time => box [string "uw_Basis_ensqlTime(ctx, ", e, string ")"]
658 | Blob => box [e, string ".data"] 658 | Blob => box [e, string ".data"]
659 | Channel => box [string "uw_Basis_attrifyChannel(ctx, ", e, string ")"] 659 | Channel => box [string "uw_Basis_attrifyChannel(ctx, ", e, string ")"]
660 | Client => box [string "uw_Basis_attrifyClient(ctx, ", e, string ")"] 660 | Client => box [string "uw_Basis_attrifyClient(ctx, ", e, string ")"]
661 | Nullable String => e 661 | Nullable String => e
662 | Nullable t => box [string "(", 662 | Nullable t => box [string "(",