Mercurial > urweb

diff src/mono_reduce.sml @ 253:7f6620853c36

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoized a WHERE clause with a comparison
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 14:27:01 -0400
parents 7e9bd70ad3ce
children 40c33706d887
line wrap: on
line diff
--- a/src/mono_reduce.sml	Sun Aug 31 13:58:47 2008 -0400
+++ b/src/mono_reduce.sml	Sun Aug 31 14:27:01 2008 -0400
@@ -181,8 +181,8 @@
                             (ELet (x1, t1, b1,
                                    liftExpInExp 1 b2), loc)), loc)
         in
-            Print.prefaces "ELet commute" [("e", MonoPrint.p_exp env (e, loc)),
-                                           ("e'", MonoPrint.p_exp env e')];
+            (*Print.prefaces "ELet commute" [("e", MonoPrint.p_exp env (e, loc)),
+                                           ("e'", MonoPrint.p_exp env e')];*)
             #1 (reduceExp env e')
         end
       | EApp ((ELet (x, t, e, b), loc), e') =>