summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
authorNadrieril2020-06-25 18:57:47 +0100
committerGitHub2020-06-25 18:57:47 +0100
commitbb80bdaf9f170ab6753e7ea41c20d01abefecbd4 (patch)
tree42cbcc2e0d7bc09ada7de3a38c94288aa321527c /dhall/tests
parentd2d8ab436021cee48fc61d4d2bb04d2e09159ec6 (diff)
parent51389702f26d25eb78f9e848f478cf2640544a29 (diff)
Merge pull request #172 from Nadrieril/trailing-delims
Allow trailing delimiters
Diffstat (limited to '')
-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
-rw-r--r--dhall/tests/parser/success/unit/ListLitEmptyCommaB.txt1
-rw-r--r--dhall/tests/parser/success/unit/ListLitLeadingCommaB.txt1
-rw-r--r--dhall/tests/parser/success/unit/ListLitTrailingAndLeadingCommasB.txt1
-rw-r--r--dhall/tests/parser/success/unit/ListLitTrailingCommaB.txt1
-rw-r--r--dhall/tests/parser/success/unit/ProjectionLeadingCommaB.txt1
-rw-r--r--dhall/tests/parser/success/unit/ProjectionTrailingAndLeadingCommasB.txt1
-rw-r--r--dhall/tests/parser/success/unit/ProjectionTrailingCommaB.txt1
-rw-r--r--dhall/tests/parser/success/unit/RecordLitEmptyLeadingCommaB.txt1
-rw-r--r--dhall/tests/parser/success/unit/RecordLitEmptyTrailingCommaB.txt1
-rw-r--r--dhall/tests/parser/success/unit/RecordLitLeadingCommaB.txt1
-rw-r--r--dhall/tests/parser/success/unit/RecordLitTrailingAndLeadingCommasB.txt1
-rw-r--r--dhall/tests/parser/success/unit/RecordLitTrailingCommaB.txt1
-rw-r--r--dhall/tests/parser/success/unit/RecordTypeEmptyCommaB.txt1
-rw-r--r--dhall/tests/parser/success/unit/RecordTypeLeadingCommaB.txt1
-rw-r--r--dhall/tests/parser/success/unit/RecordTypeTrailingAndLeadingCommasB.txt1
-rw-r--r--dhall/tests/parser/success/unit/RecordTypeTrailingCommaB.txt1
-rw-r--r--dhall/tests/parser/success/unit/UnionTypeEmptyDelimB.txt1
-rw-r--r--dhall/tests/parser/success/unit/UnionTypeLeadingDelimB.txt1
-rw-r--r--dhall/tests/parser/success/unit/UnionTypeTrailingAndLeadingDelimsB.txt1
-rw-r--r--dhall/tests/parser/success/unit/UnionTypeTrailingDelimB.txt1
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 >