summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt
blob: 218ca9eac64632ddf05ccdace3c6f72b23d5a7dc (plain)
1
2
3
4
5
6
7
Type error: error: The type of `toMap x` must be of the form `List { mapKey : Text, mapValue : T }`
 --> <current file>:2:1
  |
1 | -- The mapKey must be Text
2 | toMap {=} : List { mapKey : Bool, mapValue : Text }
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ The type of `toMap x` must be of the form `List { mapKey : Text, mapValue : T }`
  |