blob: 5c104678f20845eb5a7988e3f79078ac9b034c52 (
plain)
1
2
3
4
5
6
|
Type error: error: annot mismatch: { x : Natural } != { x : Text }
--> <current file>:1:0
|
1 | { x = 1 } : { x : Text }
| ^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: { x : Natural } != { x : Text }
|
|