Mercurial > urweb

changeset 392:a813476230e3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gt, ge
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 11:04:24 -0400
parents fe8f75f7e130
children bc5a56ed0cd6
files src/monoize.sml tests/ord.ur
diffstat 2 files changed, 33 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/monoize.sml	Tue Oct 21 10:56:43 2008 -0400
+++ b/src/monoize.sml	Tue Oct 21 11:04:24 2008 -0400
@@ -683,6 +683,38 @@
                 ((L'.EAbs ("r", ordTy t, (L'.TFun (t, (L'.TFun (t, (L'.TFfi ("Basis", "bool"), loc)), loc)), loc),
                            (L'.EField ((L'.ERel 0, loc), "Le"), loc)), loc), fm)
             end
+          | L.ECApp ((L.EFfi ("Basis", "gt"), _), t) =>
+            let
+                val t = monoType env t
+                val b = (L'.TFfi ("Basis", "bool"), loc)
+            in
+                ((L'.EAbs ("f", ordTy t, (L'.TFun (t, (L'.TFun (t, b), loc)), loc),
+                           (L'.EAbs ("x", t, (L'.TFun (t, b), loc),
+                                     (L'.EAbs ("y", t, b,
+                                               (L'.EUnop ("!",
+                                                          (L'.EApp ((L'.EApp ((L'.EField ((L'.ERel 2, loc),
+                                                                                          "Le"), loc),
+                                                                              (L'.ERel 1, loc)), loc),
+                                                                    (L'.ERel 0, loc)), loc)), loc)), loc)),
+                            loc)),
+                  loc), fm)
+            end
+          | L.ECApp ((L.EFfi ("Basis", "ge"), _), t) =>
+            let
+                val t = monoType env t
+                val b = (L'.TFfi ("Basis", "bool"), loc)
+            in
+                ((L'.EAbs ("f", ordTy t, (L'.TFun (t, (L'.TFun (t, b), loc)), loc),
+                           (L'.EAbs ("x", t, (L'.TFun (t, b), loc),
+                                     (L'.EAbs ("y", t, b,
+                                               (L'.EUnop ("!",
+                                                          (L'.EApp ((L'.EApp ((L'.EField ((L'.ERel 2, loc),
+                                                                                          "Lt"), loc),
+                                                                              (L'.ERel 1, loc)), loc),
+                                                                    (L'.ERel 0, loc)), loc)), loc)), loc)),
+                            loc)),
+                  loc), fm)
+            end
           | L.EFfi ("Basis", "ord_int") =>
             let
                 fun intBin s =
--- a/tests/ord.ur	Tue Oct 21 10:56:43 2008 -0400
+++ b/tests/ord.ur	Tue Oct 21 11:04:24 2008 -0400
@@ -1,3 +1,3 @@
 fun main () : transaction page = return <xml><body>
-  {[ 1 < 1 ]}, {[ 1 < 2 ]}, {[ 1 <= 1 ]}, {[ 2 <= 1 ]}
+  {[ 1 < 1 ]}, {[ 1 < 2 ]}, {[ 1 <= 1 ]}, {[ 2 <= 1 ]}, {[ 1 > 1 ]}, {[ 2 > 1 ]}, {[ 0 >= 1 ]}, {[ 2 >= 1 ]}
 </body></xml>