Mercurial > urweb

diff src/monoize.sml @ 823:669ac5e9a69e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Demo compiles with pattern-matching-fu
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 May 2009 10:35:25 -0400
parents 395a5d450cc0
children 74e9e7642f08
line wrap: on
line diff
--- a/src/monoize.sml	Thu May 28 10:16:50 2009 -0400
+++ b/src/monoize.sml	Thu May 28 10:35:25 2009 -0400
@@ -148,6 +148,8 @@
                     (L'.TFfi ("Basis", "string"), loc)
                   | L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_table"), _), _), _), _) =>
                     (L'.TFfi ("Basis", "string"), loc)
+                  | L.CApp ((L.CFfi ("Basis", "sql_view"), _), _) =>
+                    (L'.TFfi ("Basis", "string"), loc)
                   | L.CFfi ("Basis", "sql_sequence") =>
                     (L'.TFfi ("Basis", "string"), loc)
                   | L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_query"), _), _), _), _) =>