summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation2.txt
blob: 563b3bfbdf68842be263a69fb92c638b1a98f0a1 (plain)
1
Type error: Unhandled error: MergeEmptyNeedsAnnotation