summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors/unit/MergeAnnotationMismatch.txt
blob: 823f2f7add1e405e2aa8d2ece29d95c587785bcf (plain)
1
Type error: Unhandled error: MergeAnnotMismatch