summaryrefslogtreecommitdiff
path: root/dhall/tests/parser/success/unit
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/tests/parser/success/unit')
-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
18 files changed, 0 insertions, 13 deletions
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]