summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt
blob: 146bf7f13b3b158cc50decb815b5b1b5c991f9cd (plain)
1
2
3
4
5
6
Type error: error: InvalidFieldType
 --> <current file>:1:16
  |
1 | { x = Bool } ⫽ { x = Kind }
  |                ^^^^^^^^^^^^ InvalidFieldType
  |