summaryrefslogtreecommitdiff
path: root/dhall/tests/parser/failure
diff options
context:
space:
mode:
authorNadrieril2020-06-25 18:48:43 +0100
committerNadrieril2020-06-25 18:48:43 +0100
commit51389702f26d25eb78f9e848f478cf2640544a29 (patch)
tree42cbcc2e0d7bc09ada7de3a38c94288aa321527c /dhall/tests/parser/failure
parentd2d8ab436021cee48fc61d4d2bb04d2e09159ec6 (diff)
spec: allow trailing delimiters
Diffstat (limited to 'dhall/tests/parser/failure')
-rw-r--r--dhall/tests/parser/failure/unit/ListLitTwoCommas.txt6
-rw-r--r--dhall/tests/parser/failure/unit/ProjectionTwoCommas.txt6
-rw-r--r--dhall/tests/parser/failure/unit/RecordTwoCommas.txt6
-rw-r--r--dhall/tests/parser/failure/unit/UnionTypeTwoDelims.txt6
4 files changed, 24 insertions, 0 deletions
diff --git a/dhall/tests/parser/failure/unit/ListLitTwoCommas.txt b/dhall/tests/parser/failure/unit/ListLitTwoCommas.txt
new file mode 100644
index 0000000..1cdfed5
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/ListLitTwoCommas.txt
@@ -0,0 +1,6 @@
+ --> 1:4
+ |
+1 | [ ,, ]␊
+ | ^---
+ |
+ = expected expression
diff --git a/dhall/tests/parser/failure/unit/ProjectionTwoCommas.txt b/dhall/tests/parser/failure/unit/ProjectionTwoCommas.txt
new file mode 100644
index 0000000..1585703
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/ProjectionTwoCommas.txt
@@ -0,0 +1,6 @@
+ --> 1:8
+ |
+1 | foo.{ ,, }␊
+ | ^---
+ |
+ = expected any_label_or_some
diff --git a/dhall/tests/parser/failure/unit/RecordTwoCommas.txt b/dhall/tests/parser/failure/unit/RecordTwoCommas.txt
new file mode 100644
index 0000000..3828d4b
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/RecordTwoCommas.txt
@@ -0,0 +1,6 @@
+ --> 1:4
+ |
+1 | { ,, }␊
+ | ^---
+ |
+ = expected any_label_or_some or empty_record_literal
diff --git a/dhall/tests/parser/failure/unit/UnionTypeTwoDelims.txt b/dhall/tests/parser/failure/unit/UnionTypeTwoDelims.txt
new file mode 100644
index 0000000..c4fa37e
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/UnionTypeTwoDelims.txt
@@ -0,0 +1,6 @@
+ --> 1:4
+ |
+1 | < || >␊
+ | ^---
+ |
+ = expected any_label_or_some