spec: allow trailing delimiters

24 files changed, 44 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
diff --git a/dhall/tests/parser/success/unit/ListLitEmptyCommaB.txt b/dhall/tests/parser/success/unit/ListLitEmptyCommaB.txt
new file mode 100644
index 0000000..3b99552
--- /dev/null
+++ b/dhall/tests/parser/success/unit/ListLitEmptyCommaB.txt
@@ -0,0 +1 @@
+[] : List Bool
diff --git a/dhall/tests/parser/success/unit/ListLitLeadingCommaB.txt b/dhall/tests/parser/success/unit/ListLitLeadingCommaB.txt
new file mode 100644
index 0000000..5ed6f26
--- /dev/null
+++ b/dhall/tests/parser/success/unit/ListLitLeadingCommaB.txt
@@ -0,0 +1 @@
+[x, y]
diff --git a/dhall/tests/parser/success/unit/ListLitTrailingAndLeadingCommasB.txt b/dhall/tests/parser/success/unit/ListLitTrailingAndLeadingCommasB.txt
new file mode 100644
index 0000000..5ed6f26
--- /dev/null
+++ b/dhall/tests/parser/success/unit/ListLitTrailingAndLeadingCommasB.txt
@@ -0,0 +1 @@
+[x, y]
diff --git a/dhall/tests/parser/success/unit/ListLitTrailingCommaB.txt b/dhall/tests/parser/success/unit/ListLitTrailingCommaB.txt
new file mode 100644
index 0000000..5ed6f26
--- /dev/null
+++ b/dhall/tests/parser/success/unit/ListLitTrailingCommaB.txt
@@ -0,0 +1 @@
+[x, y]
diff --git a/dhall/tests/parser/success/unit/ProjectionLeadingCommaB.txt b/dhall/tests/parser/success/unit/ProjectionLeadingCommaB.txt
new file mode 100644
index 0000000..519da8c
--- /dev/null
+++ b/dhall/tests/parser/success/unit/ProjectionLeadingCommaB.txt
@@ -0,0 +1 @@
+foo.{ x, y }
diff --git a/dhall/tests/parser/success/unit/ProjectionTrailingAndLeadingCommasB.txt b/dhall/tests/parser/success/unit/ProjectionTrailingAndLeadingCommasB.txt
new file mode 100644
index 0000000..519da8c
--- /dev/null
+++ b/dhall/tests/parser/success/unit/ProjectionTrailingAndLeadingCommasB.txt
@@ -0,0 +1 @@
+foo.{ x, y }
diff --git a/dhall/tests/parser/success/unit/ProjectionTrailingCommaB.txt b/dhall/tests/parser/success/unit/ProjectionTrailingCommaB.txt
new file mode 100644
index 0000000..519da8c
--- /dev/null
+++ b/dhall/tests/parser/success/unit/ProjectionTrailingCommaB.txt
@@ -0,0 +1 @@
+foo.{ x, y }
diff --git a/dhall/tests/parser/success/unit/RecordLitEmptyLeadingCommaB.txt b/dhall/tests/parser/success/unit/RecordLitEmptyLeadingCommaB.txt
new file mode 100644
index 0000000..339130f
--- /dev/null
+++ b/dhall/tests/parser/success/unit/RecordLitEmptyLeadingCommaB.txt
@@ -0,0 +1 @@
+{=}
diff --git a/dhall/tests/parser/success/unit/RecordLitEmptyTrailingCommaB.txt b/dhall/tests/parser/success/unit/RecordLitEmptyTrailingCommaB.txt
new file mode 100644
index 0000000..339130f
--- /dev/null
+++ b/dhall/tests/parser/success/unit/RecordLitEmptyTrailingCommaB.txt
@@ -0,0 +1 @@
+{=}
diff --git a/dhall/tests/parser/success/unit/RecordLitLeadingCommaB.txt b/dhall/tests/parser/success/unit/RecordLitLeadingCommaB.txt
new file mode 100644
index 0000000..325db4f
--- /dev/null
+++ b/dhall/tests/parser/success/unit/RecordLitLeadingCommaB.txt
@@ -0,0 +1 @@
+{ x = 0, y = 1 }
diff --git a/dhall/tests/parser/success/unit/RecordLitTrailingAndLeadingCommasB.txt b/dhall/tests/parser/success/unit/RecordLitTrailingAndLeadingCommasB.txt
new file mode 100644
index 0000000..325db4f
--- /dev/null
+++ b/dhall/tests/parser/success/unit/RecordLitTrailingAndLeadingCommasB.txt
@@ -0,0 +1 @@
+{ x = 0, y = 1 }
diff --git a/dhall/tests/parser/success/unit/RecordLitTrailingCommaB.txt b/dhall/tests/parser/success/unit/RecordLitTrailingCommaB.txt
new file mode 100644
index 0000000..325db4f
--- /dev/null
+++ b/dhall/tests/parser/success/unit/RecordLitTrailingCommaB.txt
@@ -0,0 +1 @@
+{ x = 0, y = 1 }
diff --git a/dhall/tests/parser/success/unit/RecordTypeEmptyCommaB.txt b/dhall/tests/parser/success/unit/RecordTypeEmptyCommaB.txt
new file mode 100644
index 0000000..0967ef4
--- /dev/null
+++ b/dhall/tests/parser/success/unit/RecordTypeEmptyCommaB.txt
@@ -0,0 +1 @@
+{}
diff --git a/dhall/tests/parser/success/unit/RecordTypeLeadingCommaB.txt b/dhall/tests/parser/success/unit/RecordTypeLeadingCommaB.txt
new file mode 100644
index 0000000..b88d0ae
--- /dev/null
+++ b/dhall/tests/parser/success/unit/RecordTypeLeadingCommaB.txt
@@ -0,0 +1 @@
+{ x : T, y : U }
diff --git a/dhall/tests/parser/success/unit/RecordTypeTrailingAndLeadingCommasB.txt b/dhall/tests/parser/success/unit/RecordTypeTrailingAndLeadingCommasB.txt
new file mode 100644
index 0000000..b88d0ae
--- /dev/null
+++ b/dhall/tests/parser/success/unit/RecordTypeTrailingAndLeadingCommasB.txt
@@ -0,0 +1 @@
+{ x : T, y : U }
diff --git a/dhall/tests/parser/success/unit/RecordTypeTrailingCommaB.txt b/dhall/tests/parser/success/unit/RecordTypeTrailingCommaB.txt
new file mode 100644
index 0000000..b88d0ae
--- /dev/null
+++ b/dhall/tests/parser/success/unit/RecordTypeTrailingCommaB.txt
@@ -0,0 +1 @@
+{ x : T, y : U }
diff --git a/dhall/tests/parser/success/unit/UnionTypeEmptyDelimB.txt b/dhall/tests/parser/success/unit/UnionTypeEmptyDelimB.txt
new file mode 100644
index 0000000..c677118
--- /dev/null
+++ b/dhall/tests/parser/success/unit/UnionTypeEmptyDelimB.txt
@@ -0,0 +1 @@
+<  >
diff --git a/dhall/tests/parser/success/unit/UnionTypeLeadingDelimB.txt b/dhall/tests/parser/success/unit/UnionTypeLeadingDelimB.txt
new file mode 100644
index 0000000..0f942c8
--- /dev/null
+++ b/dhall/tests/parser/success/unit/UnionTypeLeadingDelimB.txt
@@ -0,0 +1 @@
+< x: T | y: U >
diff --git a/dhall/tests/parser/success/unit/UnionTypeTrailingAndLeadingDelimsB.txt b/dhall/tests/parser/success/unit/UnionTypeTrailingAndLeadingDelimsB.txt
new file mode 100644
index 0000000..0f942c8
--- /dev/null
+++ b/dhall/tests/parser/success/unit/UnionTypeTrailingAndLeadingDelimsB.txt
@@ -0,0 +1 @@
+< x: T | y: U >
diff --git a/dhall/tests/parser/success/unit/UnionTypeTrailingDelimB.txt b/dhall/tests/parser/success/unit/UnionTypeTrailingDelimB.txt
new file mode 100644
index 0000000..0f942c8
--- /dev/null
+++ b/dhall/tests/parser/success/unit/UnionTypeTrailingDelimB.txt
@@ -0,0 +1 @@
+< x: T | y: U >