blob: 053a054c92446a9b033e55d3a2b56879e4f6a91e (
plain)
1
2
3
4
5
6
7
8
9
|
Type error: Unhandled error: error: merge handler is not a function
--> <current file>:1:0
|
1 | merge { x = True } (< x : Bool >.x True)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ in this merge expression
| ^^^^^^^^^^^^ the handler for `x` has type: `Bool`
| ------------------- help: the corresponding variant has type: `Bool`
|
= help: a handler for this variant must be a function that takes an input of type: `Bool`
|