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 | fdca372b5e04a3f460fb3a635076b0fb81a492e7 (patch) | |
| tree | a26160e55fe25f54defba930744c0345a4ddf7a9 /src/monoize.sml | |
| parent | 28caa2aa78f1dbfd7119ec742da0181f8863c6fa (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 ( |