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