blob: 795c97cb6de1a87f710f373c099367b5789cd1d2 (
plain)
1
2
3
4
5
6
7
8
|
Type error: Unhandled error: error: function annot mismatch
--> <current file>:1:0
|
1 | Natural/subtract True True
| ^^^^^^^^^^^^^^^^^^^^^ function annot mismatch
| ---------------- help: this expects an argument of type: Natural
| ---- help: but this has type: Bool
|
|