From 86508a3ad59a0bfc1e24448d0a0126b1a1c645e1 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 20 Feb 2020 18:52:34 +0000
Subject: Add support for duplicate record fields

---
 dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt')

diff --git a/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt b/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt
index beca670..f6427a4 100644
--- a/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt
+++ b/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt
@@ -1,6 +1,6 @@
- --> 1:5
+ --> 1:3
   |
 1 | { x :T }␊
-  |     ^---
+  |   ^---
   |
-  = expected non_empty_record_literal or non_empty_record_type
+  = expected non_empty_record_type_or_literal or empty_record_literal
-- 
cgit v1.2.3


From 6642077368497583113d685d351ec93d230ffcad Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 20 Feb 2020 19:04:13 +0000
Subject: Add support for dotted field syntax

---
 dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt')

diff --git a/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt b/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt
index f6427a4..9c1eaef 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 empty_record_literal or non_empty_record_type_or_literal
-- 
cgit v1.2.3