blob: c2229bd8953ad1b50792e1fbb4bf376b70d83713 (
plain)
1
2
3
4
5
6
7
8
|
Type error: error: Wrong handler input type
--> <current file>:1:0
|
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`
|
|
