Fix inferred type for record projection (#1342)

This ensures that record projection correctly sorts the fields in the inferred type This fixes the regression test in https://github.com/dhall-lang/dhall-lang/pull/750
2019-09-24 19:34:51 -07:00 · 2019-09-24 19:34:51 -07:00 · 1682c4c5f2
commit 1682c4c5f2
parent 7080883af3
1 changed files with 1 additions and 1 deletions
--- a/dhall/src/Dhall/TypeCheck.hs
+++ b/dhall/src/Dhall/TypeCheck.hs
@ -1130,7 +1130,7 @@ infer typer = loop

                    let adapt = VRecord . Dhall.Map.fromList

-                    fmap adapt (traverse process (Dhall.Set.toList xs))
+                    fmap adapt (traverse process (Dhall.Set.toList (Dhall.Set.sort xs)))

                _ -> do
                    let text =