blob: 0839742ffd5afd0f69bee506ad28d3e1fa9f3920 (
plain)
1
2
3
4
5
6
7
|
Type error: error: annot mismatch: (Example.default ⫽ { nam = "John Doe" } : { id : Optional Natural, nam : Text, name : Text }) : { id : Optional Natural, name : Text }
--> <current file>:1:4
|
...
6 | in Example::{ nam = "John Doe" }
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: (Example.default ⫽ { nam = "John Doe" } : { id : Optional Natural, nam : Text, name : Text }) : { id : Optional Natural, name : Text }
|
|