Mercurial > urweb

diff src/monoize.sml @ 1636:2b312f6d4007

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SQL lower() and upper() functions
author Adam Chlipala <adam@chlipala.net>
date Sat, 17 Dec 2011 12:01:31 -0500
parents 15e0c935c91b
children b0720700c36e
line wrap: on
line diff
--- a/src/monoize.sml	Sat Dec 17 09:24:31 2011 -0500
+++ b/src/monoize.sml	Sat Dec 17 12:01:31 2011 -0500
@@ -2785,6 +2785,10 @@
                                          "octet_length"
                                      else
                                          "length")), loc), fm)
+          | L.EFfi ("Basis", "sql_lower") =>
+            ((L'.EPrim (Prim.String "lower"), loc), fm)
+          | L.EFfi ("Basis", "sql_upper") =>
+            ((L'.EPrim (Prim.String "upper"), loc), fm)
           | L.ECApp ((L.EFfi ("Basis", "sql_known"), _), _) =>
             ((L'.EFfi ("Basis", "sql_known"), loc), fm)