Mercurial > urweb

diff src/monoize.sml @ 422:0ce90d4d9ae7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud2 demo
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Oct 2008 18:45:10 -0400
parents e0e9e9eca1cb
children 024478c34f4d
line wrap: on
line diff
--- a/src/monoize.sml	Thu Oct 23 18:18:51 2008 -0400
+++ b/src/monoize.sml	Thu Oct 23 18:45:10 2008 -0400
@@ -597,6 +597,15 @@
                                  (L'.TFfi ("Basis", "bool"), loc),
                                  (L'.EBinop ("!strcmp", (L'.ERel 1, loc), (L'.ERel 0, loc)), loc)), loc)), loc),
              fm)
+          | L.ECApp ((L.EFfi ("Basis", "mkEq"), _), t) =>
+            let
+                val t = monoType env t
+                val b = (L'.TFfi ("Basis", "bool"), loc)
+                val dom = (L'.TFun (t, (L'.TFun (t, b), loc)), loc)
+            in
+                ((L'.EAbs ("f", dom, dom,
+                           (L'.ERel 0, loc)), loc), fm)
+            end
 
           | L.ECApp ((L.EFfi ("Basis", "zero"), _), t) =>
             let