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