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