blob: 367333810d22772610b79b76f359f27c29cff1ee (
plain)
1
2
3
4
5
6
7
8
|
Type error: Unhandled error: error: function annot mismatch
--> <current file>:1:5
|
1 | [] : List Type
| ^^^^^^^^^ function annot mismatch
| ---- help: this expects an argument of type: Type
| ---- help: but this has type: Kind
|
|