Mercurial > urweb

diff src/cjrize.sml @ 387:7abb28e9d51f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Binops; equality tested on int; lame 404 substitute
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 09:50:19 -0400
parents e976b187d73a
children 787d4931fb07
line wrap: on
line diff
--- a/src/cjrize.sml	Sun Oct 19 16:49:09 2008 -0400
+++ b/src/cjrize.sml	Tue Oct 21 09:50:19 2008 -0400
@@ -249,6 +249,20 @@
                      Print.prefaces' [("Function", MonoPrint.p_exp MonoEnv.empty eAll)];
                      (dummye, sm))
 
+      | L.EUnop (s, e1) =>
+        let
+            val (e1, sm) = cifyExp (e1, sm)
+        in
+            ((L'.EUnop (s, e1), loc), sm)
+        end
+      | L.EBinop (s, e1, e2) =>
+        let
+            val (e1, sm) = cifyExp (e1, sm)
+            val (e2, sm) = cifyExp (e2, sm)
+        in
+            ((L'.EBinop (s, e1, e2), loc), sm)
+        end
+
       | L.ERecord xes =>
         let
             val old_xts = map (fn (x, _, t) => (x, t)) xes