summaryrefslogtreecommitdiff
path: root/dhall/tests/parser
diff options
context:
space:
mode:
authorNadrieril2020-03-07 22:14:41 +0000
committerNadrieril2020-03-10 18:00:38 +0000
commita610f53d794f430a9f57c37d8b88f76a62620506 (patch)
tree3bc3e69e3b9385a9583ba522ddfd9acd9f8961dd /dhall/tests/parser
parent98d1b68b40d190b29f3fb1266de2794cc8ab9e54 (diff)
Upstream all local tests
See https://github.com/dhall-lang/dhall-lang/pull/933
Diffstat (limited to '')
-rw-r--r--dhall/tests/parser/failure/unit/AssertNoAnnotation.dhall1
-rw-r--r--dhall/tests/parser/success/unit/EmptyRecordLiteralA.dhall1
-rw-r--r--dhall/tests/parser/success/unit/EmptyRecordLiteralB.dhallb1
-rw-r--r--dhall/tests/parser/success/unit/EmptyRecordLiteralB.diag1
-rw-r--r--dhall/tests/parser/success/unit/LetAnnotA.dhall1
-rw-r--r--dhall/tests/parser/success/unit/LetAnnotB.dhallbbin17 -> 0 bytes
-rw-r--r--dhall/tests/parser/success/unit/LetAnnotB.diag1
-rw-r--r--dhall/tests/parser/success/unit/LetNoAnnotA.dhall1
-rw-r--r--dhall/tests/parser/success/unit/LetNoAnnotB.dhallbbin14 -> 0 bytes
-rw-r--r--dhall/tests/parser/success/unit/LetNoAnnotB.diag1
-rw-r--r--dhall/tests/parser/success/unit/ToMapA.dhall1
-rw-r--r--dhall/tests/parser/success/unit/ToMapAnnotA.dhall1
-rw-r--r--dhall/tests/parser/success/unit/ToMapAnnotB.dhallbbin11 -> 0 bytes
-rw-r--r--dhall/tests/parser/success/unit/ToMapAnnotB.diag1
-rw-r--r--dhall/tests/parser/success/unit/ToMapB.dhallbbin7 -> 0 bytes
-rw-r--r--dhall/tests/parser/success/unit/ToMapB.diag1
-rw-r--r--dhall/tests/parser/success/unit/VariableQuotedWithSpaceA.dhall1
-rw-r--r--dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.dhallbbin6 -> 0 bytes
-rw-r--r--dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.diag1
19 files changed, 0 insertions, 14 deletions
diff --git a/dhall/tests/parser/failure/unit/AssertNoAnnotation.dhall b/dhall/tests/parser/failure/unit/AssertNoAnnotation.dhall
deleted file mode 100644
index 6019020..0000000
--- a/dhall/tests/parser/failure/unit/AssertNoAnnotation.dhall
+++ /dev/null
@@ -1 +0,0 @@
-assert
diff --git a/dhall/tests/parser/success/unit/EmptyRecordLiteralA.dhall b/dhall/tests/parser/success/unit/EmptyRecordLiteralA.dhall
deleted file mode 100644
index 339130f..0000000
--- a/dhall/tests/parser/success/unit/EmptyRecordLiteralA.dhall
+++ /dev/null
@@ -1 +0,0 @@
-{=}
diff --git a/dhall/tests/parser/success/unit/EmptyRecordLiteralB.dhallb b/dhall/tests/parser/success/unit/EmptyRecordLiteralB.dhallb
deleted file mode 100644
index 58e2e39..0000000
--- a/dhall/tests/parser/success/unit/EmptyRecordLiteralB.dhallb
+++ /dev/null
@@ -1 +0,0 @@
-‚  \ No newline at end of file
diff --git a/dhall/tests/parser/success/unit/EmptyRecordLiteralB.diag b/dhall/tests/parser/success/unit/EmptyRecordLiteralB.diag
deleted file mode 100644
index 8ead206..0000000
--- a/dhall/tests/parser/success/unit/EmptyRecordLiteralB.diag
+++ /dev/null
@@ -1 +0,0 @@
-[8, {}]
diff --git a/dhall/tests/parser/success/unit/LetAnnotA.dhall b/dhall/tests/parser/success/unit/LetAnnotA.dhall
deleted file mode 100644
index c7d29f8..0000000
--- a/dhall/tests/parser/success/unit/LetAnnotA.dhall
+++ /dev/null
@@ -1 +0,0 @@
-let x: T = y in e
diff --git a/dhall/tests/parser/success/unit/LetAnnotB.dhallb b/dhall/tests/parser/success/unit/LetAnnotB.dhallb
deleted file mode 100644
index 4e3a7e4..0000000
--- a/dhall/tests/parser/success/unit/LetAnnotB.dhallb
+++ /dev/null
Binary files differ
diff --git a/dhall/tests/parser/success/unit/LetAnnotB.diag b/dhall/tests/parser/success/unit/LetAnnotB.diag
deleted file mode 100644
index 36791e0..0000000
--- a/dhall/tests/parser/success/unit/LetAnnotB.diag
+++ /dev/null
@@ -1 +0,0 @@
-[25, "x", ["T", 0], ["y", 0], ["e", 0]]
diff --git a/dhall/tests/parser/success/unit/LetNoAnnotA.dhall b/dhall/tests/parser/success/unit/LetNoAnnotA.dhall
deleted file mode 100644
index 64d30e6..0000000
--- a/dhall/tests/parser/success/unit/LetNoAnnotA.dhall
+++ /dev/null
@@ -1 +0,0 @@
-let x = y in e
diff --git a/dhall/tests/parser/success/unit/LetNoAnnotB.dhallb b/dhall/tests/parser/success/unit/LetNoAnnotB.dhallb
deleted file mode 100644
index 79a2384..0000000
--- a/dhall/tests/parser/success/unit/LetNoAnnotB.dhallb
+++ /dev/null
Binary files differ
diff --git a/dhall/tests/parser/success/unit/LetNoAnnotB.diag b/dhall/tests/parser/success/unit/LetNoAnnotB.diag
deleted file mode 100644
index a23f605..0000000
--- a/dhall/tests/parser/success/unit/LetNoAnnotB.diag
+++ /dev/null
@@ -1 +0,0 @@
-[25, "x", null, ["y", 0], ["e", 0]]
diff --git a/dhall/tests/parser/success/unit/ToMapA.dhall b/dhall/tests/parser/success/unit/ToMapA.dhall
deleted file mode 100644
index ea04391..0000000
--- a/dhall/tests/parser/success/unit/ToMapA.dhall
+++ /dev/null
@@ -1 +0,0 @@
-toMap x
diff --git a/dhall/tests/parser/success/unit/ToMapAnnotA.dhall b/dhall/tests/parser/success/unit/ToMapAnnotA.dhall
deleted file mode 100644
index ad65b07..0000000
--- a/dhall/tests/parser/success/unit/ToMapAnnotA.dhall
+++ /dev/null
@@ -1 +0,0 @@
-toMap x : T
diff --git a/dhall/tests/parser/success/unit/ToMapAnnotB.dhallb b/dhall/tests/parser/success/unit/ToMapAnnotB.dhallb
deleted file mode 100644
index 4b53587..0000000
--- a/dhall/tests/parser/success/unit/ToMapAnnotB.dhallb
+++ /dev/null
Binary files differ
diff --git a/dhall/tests/parser/success/unit/ToMapAnnotB.diag b/dhall/tests/parser/success/unit/ToMapAnnotB.diag
deleted file mode 100644
index 8e511fb..0000000
--- a/dhall/tests/parser/success/unit/ToMapAnnotB.diag
+++ /dev/null
@@ -1 +0,0 @@
-[27, ["x", 0], ["T", 0]]
diff --git a/dhall/tests/parser/success/unit/ToMapB.dhallb b/dhall/tests/parser/success/unit/ToMapB.dhallb
deleted file mode 100644
index 25ecd95..0000000
--- a/dhall/tests/parser/success/unit/ToMapB.dhallb
+++ /dev/null
Binary files differ
diff --git a/dhall/tests/parser/success/unit/ToMapB.diag b/dhall/tests/parser/success/unit/ToMapB.diag
deleted file mode 100644
index 5d25b39..0000000
--- a/dhall/tests/parser/success/unit/ToMapB.diag
+++ /dev/null
@@ -1 +0,0 @@
-[27, ["x", 0]]
diff --git a/dhall/tests/parser/success/unit/VariableQuotedWithSpaceA.dhall b/dhall/tests/parser/success/unit/VariableQuotedWithSpaceA.dhall
deleted file mode 100644
index a1f4d02..0000000
--- a/dhall/tests/parser/success/unit/VariableQuotedWithSpaceA.dhall
+++ /dev/null
@@ -1 +0,0 @@
-` x `
diff --git a/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.dhallb b/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.dhallb
deleted file mode 100644
index 56d9cd9..0000000
--- a/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.dhallb
+++ /dev/null
Binary files differ
diff --git a/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.diag b/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.diag
deleted file mode 100644
index 035d650..0000000
--- a/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.diag
+++ /dev/null
@@ -1 +0,0 @@
-[" x ", 0]