blob: 34f968f45177f872dd08c3e0d776139b57e27d10 (
plain)
1
2
3
4
5
6
7
8
|
Type error: error: Wrong handler input type
--> <current file>:1:1
|
1 | merge { x = λ(_ : Bool) → _ } (< x : Natural >.x 1)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ in this merge expression
| ^^^^^^^^^^^^^^^^^^^^^^^ the handler for `x` expects a value of type: `Bool`
| ^^^^^^^^^^^^^^^^^^^ but the corresponding variant has type: `Natural`
|
|