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