comparison src/monoize.sml @ 890:034eeb099564

Blobs tested in MySQL and SQLite
author Adam Chlipala <adamc@hcoop.net>
date Sat, 18 Jul 2009 10:27:32 -0400
parents 5805fa825fe8
children ae9e22822ec5
comparison
equal deleted inserted replaced
889:bcad392e288e 890:034eeb099564
2331 sc "(", 2331 sc "(",
2332 (L'.ERel 0, loc), 2332 (L'.ERel 0, loc),
2333 sc ")"]), loc)), loc), 2333 sc ")"]), loc)), loc),
2334 fm) 2334 fm)
2335 end 2335 end
2336 | L.EFfi ("Basis", "sql_octet_length") => ((L'.EPrim (Prim.String "octet_length"), loc), fm) 2336 | L.EFfi ("Basis", "sql_octet_length") =>
2337 ((L'.EPrim (Prim.String (if #supportsOctetLength (Settings.currentDbms ()) then
2338 "octet_length"
2339 else
2340 "length")), loc), fm)
2337 2341
2338 | (L.ECApp ( 2342 | (L.ECApp (
2339 (L.ECApp ( 2343 (L.ECApp (
2340 (L.ECApp ( 2344 (L.ECApp (
2341 (L.ECApp ( 2345 (L.ECApp (