From 66972b05e5996132a83332ef0c6879c3a1679dc7 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 11 Mar 2020 17:26:09 +0000
Subject: Implement record puns

---
 dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt | 2 +-
 dhall/tests/parser/failure/unit/RecordLitPunDotted.txt   | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)
 create mode 100644 dhall/tests/parser/failure/unit/RecordLitPunDotted.txt

(limited to 'dhall/tests/parser/failure')

diff --git a/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt b/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt
index f6427a4..b08c143 100644
--- a/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt
+++ b/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt
@@ -3,4 +3,4 @@
 1 | { x :T }␊
   |   ^---
   |
-  = expected non_empty_record_type_or_literal or empty_record_literal
+  = expected missing, if_, merge, NaN, Some_, toMap, assert, forall, record_type_entry, or empty_record_literal
diff --git a/dhall/tests/parser/failure/unit/RecordLitPunDotted.txt b/dhall/tests/parser/failure/unit/RecordLitPunDotted.txt
new file mode 100644
index 0000000..2e0ac22
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/RecordLitPunDotted.txt
@@ -0,0 +1,6 @@
+ --> 1:7
+  |
+1 | { x.y.z }␊
+  |       ^---
+  |
+  = expected missing, if_, merge, NaN, Some_, toMap, assert, or forall
-- 
cgit v1.2.3