diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-03-02 16:00:48 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-03-02 16:00:48 -0500 |
commit | 46e60fb6904b05340446e12d4a88a090b19b85fa (patch) | |
tree | 35ff2e860464207021d5a23b6c819398e9d19a7c /src/reduce.sml | |
parent | 74e835c7db56fb5e716add3bb8fe19534b557282 (diff) |
Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize
Diffstat (limited to 'src/reduce.sml')
-rw-r--r-- | src/reduce.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/reduce.sml b/src/reduce.sml index cc8ba0fd..eadc8273 100644 --- a/src/reduce.sml +++ b/src/reduce.sml @@ -327,12 +327,12 @@ fun kindConAndExp (namedC, namedE) = 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 @@ fun kindConAndExp (namedC, namedE) = 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) => |