summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt
blob: c28073eb6be1ca65a46a366ba90a6eaa495280bf (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:0
  |
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 }`
  |