Mercurial > urweb

diff src/reduce.sml @ 1176:51e596feec37

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Mar 2010 16:00:48 -0500
parents 85d194409b17
children c58453683bbb
line wrap: on
line diff
--- a/src/reduce.sml	Tue Mar 02 10:33:49 2010 -0500
+++ b/src/reduce.sml	Tue Mar 02 16:00:48 2010 -0500
@@ -327,12 +327,12 @@
             let
                 (*val () = Print.prefaces "exp" [("e", CorePrint.p_exp CoreEnv.empty all),
                                                ("env", Print.PD.string (e2s env))]*)
-                val () = if dangling (edepth env) all then
+                (*val () = if dangling (edepth env) all then
                              (Print.prefaces "exp" [("e", CorePrint.p_exp CoreEnv.empty all),
                                                     ("env", Print.PD.string (e2s env))];
                               raise Fail "!")
                          else
-                             ()
+                             ()*)
 
                 val r = case e of
                             EPrim _ => all
@@ -516,7 +516,7 @@
 
                                 val e1 = exp env e1
                                 val e2 = exp env e2
-                                val e12 = reassoc (EApp (e1, e2), loc)
+                                val e12 = (*reassoc*) (EApp (e1, e2), loc)
                             in
                                 case #1 e12 of
                                     EApp ((EAbs (_, _, _, b), _), e2) =>