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