blob: 315934064cf52961bf2e74e6f82872da04f7f2d3 (
plain)
1
2
3
4
5
6
|
Type error: error: Merge2ArgMustBeUnionOrOptional
--> <current file>:1:0
|
1 | merge { x = λ(_ : Bool) → _ } <> : Bool
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional
|
|