Small optimizations in toMap

dhall-lang · Jul 17, 2019 · c23cff8 · c23cff8
1 parent 8e974bb
commit c23cff8
Showing 1 changed file with 6 additions and 8 deletions.
diff --git a/dhall/src/Dhall/Core.hs b/dhall/src/Dhall/Core.hs
@@ -1931,14 +1931,12 @@ isNormalized e0 = loop (denote e0)
                               Nothing -> True
                       _ -> True
               _ -> True
-      ToMap x t -> loop x && all loop t &&
-          case x of
-              RecordLit _ -> False
-              _ -> True
-      Field r _ -> loop r &&
-          case r of
-              RecordLit _ -> False
-              _ -> True
+      ToMap x t -> case x of
+          RecordLit _ -> False
+          _ -> loop x && all loop t
+      Field r _ -> case r of
+          RecordLit _ -> False
+          _ -> loop r
       Project r p -> loop r &&
           case p of
               Left s -> case r of