blob: 7e410c428bd32283f8c38a2aa369c8699f5c00b5 (
plain)
1
2
3
4
5
6
7
8
9
|
Type error: Unhandled error: error: wrong type of function argument
--> <current file>:1:0
|
1 | Natural/subtract True True
| ^^^^^^^^^^^^^^^^ this expects an argument of type: Natural
| ^^^^ but this has type: Bool
|
= note: expected type `Natural`
found type `Bool`
|