blob: 1762a7cd16f8f827d90745b7d3e85f9bb330301a (
plain)
1
2
3
4
5
6
7
8
9
|
Type error: Unhandled error: error: Wrong handler input type
--> <current file>:1:0
|
1 | merge { x = λ(_ : Bool) → _ } (< x : Natural >.x 1)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ in this merge expression
| ^^^^^^^^^^^^^^^^^^^ the handler `x` expects a value of type: `Bool`
| ^^^^^^^^^^^^^^^^^ but the corresponding variant has type: `Natural`
|
= help: only functions can be applied to
|