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