blob: f3d8fd26c3162d16fcf2871910d130592a919b4d (
plain)
1
2
3
4
5
6
|
Type error: error: MergeHandlerTypeMismatch
--> <current file>:1:1
|
1 | merge { x = λ(_ : Bool) → _, y = λ(_ : Natural) → _ } (< x : Bool | y : Natural >.x True)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ MergeHandlerTypeMismatch
|
|