Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1635:8938f7b31573 1636:2b312f6d4007
2783 | L.EFfi ("Basis", "sql_octet_length") => 2783 | L.EFfi ("Basis", "sql_octet_length") =>
2784 ((L'.EPrim (Prim.String (if #supportsOctetLength (Settings.currentDbms ()) then 2784 ((L'.EPrim (Prim.String (if #supportsOctetLength (Settings.currentDbms ()) then
2785 "octet_length" 2785 "octet_length"
2786 else 2786 else
2787 "length")), loc), fm) 2787 "length")), loc), fm)
2788 | L.EFfi ("Basis", "sql_lower") =>
2789 ((L'.EPrim (Prim.String "lower"), loc), fm)
2790 | L.EFfi ("Basis", "sql_upper") =>
2791 ((L'.EPrim (Prim.String "upper"), loc), fm)
2788 | L.ECApp ((L.EFfi ("Basis", "sql_known"), _), _) => 2792 | L.ECApp ((L.EFfi ("Basis", "sql_known"), _), _) =>
2789 ((L'.EFfi ("Basis", "sql_known"), loc), fm) 2793 ((L'.EFfi ("Basis", "sql_known"), loc), fm)
2790 2794
2791 | (L.ECApp ( 2795 | (L.ECApp (
2792 (L.ECApp ( 2796 (L.ECApp (