Mercurial > urweb

diff src/monoize.sml @ 439:322c8620bbdf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Marshaling time to SQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 15:11:37 -0400
parents 1a4c1b5f4d8f
children c5335613f31e
line wrap: on
line diff
--- a/src/monoize.sml	Thu Oct 30 14:57:15 2008 -0400
+++ b/src/monoize.sml	Thu Oct 30 15:11:37 2008 -0400
@@ -1220,6 +1220,10 @@
             ((L'.EAbs ("x", (L'.TFfi ("Basis", "string"), loc), (L'.TFfi ("Basis", "string"), loc),
                        (L'.EFfiApp ("Basis", "sqlifyString", [(L'.ERel 0, loc)]), loc)), loc),
              fm)
+          | L.EFfi ("Basis", "sql_time") =>
+            ((L'.EAbs ("x", (L'.TFfi ("Basis", "time"), loc), (L'.TFfi ("Basis", "string"), loc),
+                       (L'.EFfiApp ("Basis", "sqlifyTime", [(L'.ERel 0, loc)]), loc)), loc),
+             fm)
 
           | L.ECApp ((L.EFfi ("Basis", "sql_subset"), _), _) =>
             ((L'.ERecord [], loc), fm)