blob: 209def11337f9c7347a72c33c127cb2363273eb3 (
plain)
1
2
3
4
5
6
|
Type error: error: Merge2ArgMustBeUnionOrOptional
--> <current file>:1:43
|
1 | \(x: { True: Natural, False: Natural }) -> merge x True
| ^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional
|
|