From 51389702f26d25eb78f9e848f478cf2640544a29 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 25 Jun 2020 18:48:43 +0100
Subject: spec: allow trailing delimiters

---
 dhall/tests/parser/success/unit/ListLitEmptyCommaB.txt                  | 1 +
 dhall/tests/parser/success/unit/ListLitLeadingCommaB.txt                | 1 +
 dhall/tests/parser/success/unit/ListLitTrailingAndLeadingCommasB.txt    | 1 +
 dhall/tests/parser/success/unit/ListLitTrailingCommaB.txt               | 1 +
 dhall/tests/parser/success/unit/ProjectionLeadingCommaB.txt             | 1 +
 dhall/tests/parser/success/unit/ProjectionTrailingAndLeadingCommasB.txt | 1 +
 dhall/tests/parser/success/unit/ProjectionTrailingCommaB.txt            | 1 +
 dhall/tests/parser/success/unit/RecordLitEmptyLeadingCommaB.txt         | 1 +
 dhall/tests/parser/success/unit/RecordLitEmptyTrailingCommaB.txt        | 1 +
 dhall/tests/parser/success/unit/RecordLitLeadingCommaB.txt              | 1 +
 dhall/tests/parser/success/unit/RecordLitTrailingAndLeadingCommasB.txt  | 1 +
 dhall/tests/parser/success/unit/RecordLitTrailingCommaB.txt             | 1 +
 dhall/tests/parser/success/unit/RecordTypeEmptyCommaB.txt               | 1 +
 dhall/tests/parser/success/unit/RecordTypeLeadingCommaB.txt             | 1 +
 dhall/tests/parser/success/unit/RecordTypeTrailingAndLeadingCommasB.txt | 1 +
 dhall/tests/parser/success/unit/RecordTypeTrailingCommaB.txt            | 1 +
 dhall/tests/parser/success/unit/UnionTypeEmptyDelimB.txt                | 1 +
 dhall/tests/parser/success/unit/UnionTypeLeadingDelimB.txt              | 1 +
 dhall/tests/parser/success/unit/UnionTypeTrailingAndLeadingDelimsB.txt  | 1 +
 dhall/tests/parser/success/unit/UnionTypeTrailingDelimB.txt             | 1 +
 20 files changed, 20 insertions(+)
 create mode 100644 dhall/tests/parser/success/unit/ListLitEmptyCommaB.txt
 create mode 100644 dhall/tests/parser/success/unit/ListLitLeadingCommaB.txt
 create mode 100644 dhall/tests/parser/success/unit/ListLitTrailingAndLeadingCommasB.txt
 create mode 100644 dhall/tests/parser/success/unit/ListLitTrailingCommaB.txt
 create mode 100644 dhall/tests/parser/success/unit/ProjectionLeadingCommaB.txt
 create mode 100644 dhall/tests/parser/success/unit/ProjectionTrailingAndLeadingCommasB.txt
 create mode 100644 dhall/tests/parser/success/unit/ProjectionTrailingCommaB.txt
 create mode 100644 dhall/tests/parser/success/unit/RecordLitEmptyLeadingCommaB.txt
 create mode 100644 dhall/tests/parser/success/unit/RecordLitEmptyTrailingCommaB.txt
 create mode 100644 dhall/tests/parser/success/unit/RecordLitLeadingCommaB.txt
 create mode 100644 dhall/tests/parser/success/unit/RecordLitTrailingAndLeadingCommasB.txt
 create mode 100644 dhall/tests/parser/success/unit/RecordLitTrailingCommaB.txt
 create mode 100644 dhall/tests/parser/success/unit/RecordTypeEmptyCommaB.txt
 create mode 100644 dhall/tests/parser/success/unit/RecordTypeLeadingCommaB.txt
 create mode 100644 dhall/tests/parser/success/unit/RecordTypeTrailingAndLeadingCommasB.txt
 create mode 100644 dhall/tests/parser/success/unit/RecordTypeTrailingCommaB.txt
 create mode 100644 dhall/tests/parser/success/unit/UnionTypeEmptyDelimB.txt
 create mode 100644 dhall/tests/parser/success/unit/UnionTypeLeadingDelimB.txt
 create mode 100644 dhall/tests/parser/success/unit/UnionTypeTrailingAndLeadingDelimsB.txt
 create mode 100644 dhall/tests/parser/success/unit/UnionTypeTrailingDelimB.txt

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

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 >
-- 
cgit v1.2.3