blob: fb1eb388e59b05812c5e2be3f69b6759c032d285 (
plain)
1
2
3
4
5
6
7
|
Type error: error: annot mismatch: { id : Optional Natural } != { id : Optional Natural, name : Text }
--> <current file>:1:5
|
...
6 | in Example::{=}
| ^^^^^^^^^^^^ annot mismatch: { id : Optional Natural } != { id : Optional Natural, name : Text }
|
|