I was surprised to see the expected result of acceptance test
import/success/unit/AlternativeTypeError. This gives an expression of the form
exprThatDoesNotTypeCheck ? alt and says that the expected result is
The only documentation I could find on the
? operator was the bottom of https://github.com/dhall-lang/dhall-lang/blob/master/standard/imports.md where it says that the rhs should be imported if the lhs
fails to resolve Based on this, I was surprised that the test above suggests that the import resolution should be doing type checking as well.
Apologies if I’ve missed something obvious!