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