blob: 5ee2a118fe2de58090548e6c69fd97343a36861f (
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
| ---------------- help: this expects an argument of type: Natural
| ---- help: but this has type: Bool
|
|