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


1
2
3
4
5
6
7

Type error: error: annot mismatch: { id : Optional Natural } != { id : Optional Natural, name : Text }
 --> <current file>:1:4
  |
...
6 | in  Example::{=}
  |     ^^^^^^^^^^^^ annot mismatch: { id : Optional Natural } != { id : Optional Natural, name : Text }
  |