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