Mercurial > urweb

diff src/monoize.sml @ 890:034eeb099564

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
line wrap: on
line diff
--- a/src/monoize.sml	Fri Jul 17 18:13:02 2009 -0400
+++ b/src/monoize.sml	Sat Jul 18 10:27:32 2009 -0400
@@ -2333,7 +2333,11 @@
                                              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 (