dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt


1
2
3
4
5
6

Type error: error: MergeEmptyNeedsAnnotation
 --> <current file>:1:27
  |
1 | \(x: <>) -> let y: Bool = merge {=} x in 1
  |                           ^^^^^^^^^^^ MergeEmptyNeedsAnnotation
  |