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 alt
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!