Fix for UnionType (#857)

Fix the type equality check by using judgmental equality
2019-03-16 10:12:55 -07:00 · 2019-03-16 10:12:55 -07:00 · 35513e715a
commit 35513e715a
parent d8f2787745
1 changed files with 2 additions and 1 deletions
--- a/dhall/src/Dhall.hs
+++ b/dhall/src/Dhall.hs
@ -1517,7 +1517,8 @@ union (UnionType (Data.Functor.Compose.Compose mp)) = Type
    extractF e0 = do
      UnionLit fld e1 rest <- Just e0
      t <- Dhall.Map.lookup fld mp
-      guard $ rest == Dhall.Map.delete fld expect
+      guard $ Dhall.Core.Union rest `Dhall.Core.judgmentallyEqual`
+                Dhall.Core.Union (Dhall.Map.delete fld expect)
      Dhall.extract t e1

 -- | Parse a single constructor of a union