Closed Gabriella439 closed 1 year ago
See: https://github.com/dhall-lang/dhall-lang/pull/1332
The standard already required this, but the Haskell implementation was not correctly conforming to the standard. Fixing this not only simplifies the Haskell code but also makes the code more greatly resemble the corresponding standard judgement.
See: https://github.com/dhall-lang/dhall-lang/pull/1332
The standard already required this, but the Haskell implementation was not correctly conforming to the standard. Fixing this not only simplifies the Haskell code but also makes the code more greatly resemble the corresponding standard judgement.