Mercurial > urweb
diff src/reduce.sml @ 1534:89d7b1c3199a
Remove some unnecessary parens
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 14 Aug 2011 09:29:04 -0400 |
| parents | 75d77fbe7c94 |
| children | a99b743a3087 |
line wrap: on
line diff
--- a/src/reduce.sml Fri Aug 12 00:55:57 2011 -0430 +++ b/src/reduce.sml Sun Aug 14 09:29:04 2011 -0400 @@ -471,7 +471,7 @@ let val pes' = map (fn (p, body) => let - val env' = List.tabulate (patBinds p, fn _ => UnknownE) @ (deKnown env) + val env' = List.tabulate (patBinds p, fn _ => UnknownE) @ deKnown env val body' = exp env' (EApp (body, multiLiftExpInExp (patBinds p) e2), #2 body) in (p, body') @@ -507,7 +507,7 @@ let val pes' = map (fn (p, body) => let - val env' = List.tabulate (patBinds p, fn _ => UnknownE) @ (deKnown env) + val env' = List.tabulate (patBinds p, fn _ => UnknownE) @ deKnown env val body' = exp env' (ECApp (body, c), #2 body) in