From 5e50ad90b01ef5f589515280668187b722bfcb5f Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 4 Feb 2020 19:04:27 +0000
Subject: Implement typechecking of toMap

---
 dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt

(limited to 'dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt')

diff --git a/dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt b/dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt
new file mode 100644
index 0000000..c28073e
--- /dev/null
+++ b/dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt
@@ -0,0 +1,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 }`
+  |
-- 
cgit v1.2.3