diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-07-18 10:27:32 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-07-18 10:27:32 -0400 |
commit | 44729d96795768c87fb042f01a62e7b14469b170 (patch) | |
tree | a26160e55fe25f54defba930744c0345a4ddf7a9 /src/monoize.sml | |
parent | 8b9a5a3993e1b92ab06f3fed61b867ade6504e2f (diff) |
Blobs tested in MySQL and SQLite
Diffstat (limited to 'src/monoize.sml')
-rw-r--r-- | src/monoize.sml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 37df70d1..a6e38fd7 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -2333,7 +2333,11 @@ fun monoExp (env, st, fm) (all as (e, loc)) = sc ")"]), loc)), loc), fm) end - | L.EFfi ("Basis", "sql_octet_length") => ((L'.EPrim (Prim.String "octet_length"), loc), fm) + | L.EFfi ("Basis", "sql_octet_length") => + ((L'.EPrim (Prim.String (if #supportsOctetLength (Settings.currentDbms ()) then + "octet_length" + else + "length")), loc), fm) | (L.ECApp ( (L.ECApp ( |