Mercurial > urweb
diff src/reduce.sml @ 26:4ab19c19665f
Closure conversion
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 10 Jun 2008 15:56:33 -0400 |
| parents | d8850cc06d24 |
| children | 537db4ee89f4 |
line wrap: on
line diff
--- a/src/reduce.sml Tue Jun 10 13:14:45 2008 -0400 +++ b/src/reduce.sml Tue Jun 10 15:56:33 2008 -0400 @@ -139,7 +139,7 @@ (_, _, SOME e') => #1 e' | _ => e) - | EApp ((EAbs (_, _, e1), loc), e2) => + | EApp ((EAbs (_, _, _, e1), loc), e2) => #1 (reduceExp env (subExpInExp (0, e2) e1)) | ECApp ((ECAbs (_, _, e1), loc), c) => #1 (reduceExp env (subConInExp (0, c) e1))