dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxPresent.txt


1
2
3
4
5
6

Type error: error: annot mismatch: ([1] : List Natural) : Optional Natural
 --> <current file>:1:0
  |
1 | [ 1 ] : Optional Natural
  | ^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: ([1] : List Natural) : Optional Natural
  |