comparison src/postgres.sml @ 939:38a376dc7401

Fix Postgres timestamp round-tripping
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 10:50:49 -0400
parents 034eeb099564
children 16f7cb0891b6
comparison
equal deleted inserted replaced
938:6b1d960e2616 939:38a376dc7401
504 if wontLeakStrings then 504 if wontLeakStrings then
505 e 505 e
506 else 506 else
507 box [string "uw_strdup(ctx, ", e, string ")"] 507 box [string "uw_strdup(ctx, ", e, string ")"]
508 | Bool => box [string "uw_Basis_stringToBool_error(ctx, ", e, string ")"] 508 | Bool => box [string "uw_Basis_stringToBool_error(ctx, ", e, string ")"]
509 | Time => box [string "uw_Basis_stringToTime_error(ctx, ", e, string ")"] 509 | Time => box [string "uw_Basis_unsqlTime(ctx, ", e, string ")"]
510 | Blob => box [string "uw_Basis_stringToBlob_error(ctx, ", 510 | Blob => box [string "uw_Basis_stringToBlob_error(ctx, ",
511 e, 511 e,
512 string ", ", 512 string ", ",
513 eLen, 513 eLen,
514 string ")"] 514 string ")"]