blob: 97e175bdcdb82ae3c4932905230024690f565069 (
plain)
1
2
3
4
5
6
|
Type error: error: RecordTypeMergeRequiresRecordType
--> <current file>:1:1
|
1 | { x : Bool } ⩓ { x : Natural }
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ RecordTypeMergeRequiresRecordType
|
|