From a610f53d794f430a9f57c37d8b88f76a62620506 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 7 Mar 2020 22:14:41 +0000 Subject: Upstream all local tests See https://github.com/dhall-lang/dhall-lang/pull/933 --- dhall/tests/parser/failure/unit/AssertNoAnnotation.dhall | 1 - dhall/tests/parser/success/unit/EmptyRecordLiteralA.dhall | 1 - dhall/tests/parser/success/unit/EmptyRecordLiteralB.dhallb | 1 - dhall/tests/parser/success/unit/EmptyRecordLiteralB.diag | 1 - dhall/tests/parser/success/unit/LetAnnotA.dhall | 1 - dhall/tests/parser/success/unit/LetAnnotB.dhallb | Bin 17 -> 0 bytes dhall/tests/parser/success/unit/LetAnnotB.diag | 1 - dhall/tests/parser/success/unit/LetNoAnnotA.dhall | 1 - dhall/tests/parser/success/unit/LetNoAnnotB.dhallb | Bin 14 -> 0 bytes dhall/tests/parser/success/unit/LetNoAnnotB.diag | 1 - dhall/tests/parser/success/unit/ToMapA.dhall | 1 - dhall/tests/parser/success/unit/ToMapAnnotA.dhall | 1 - dhall/tests/parser/success/unit/ToMapAnnotB.dhallb | Bin 11 -> 0 bytes dhall/tests/parser/success/unit/ToMapAnnotB.diag | 1 - dhall/tests/parser/success/unit/ToMapB.dhallb | Bin 7 -> 0 bytes dhall/tests/parser/success/unit/ToMapB.diag | 1 - .../parser/success/unit/VariableQuotedWithSpaceA.dhall | 1 - .../parser/success/unit/VariableQuotedWithSpaceB.dhallb | Bin 6 -> 0 bytes .../parser/success/unit/VariableQuotedWithSpaceB.diag | 1 - 19 files changed, 14 deletions(-) delete mode 100644 dhall/tests/parser/failure/unit/AssertNoAnnotation.dhall delete mode 100644 dhall/tests/parser/success/unit/EmptyRecordLiteralA.dhall delete mode 100644 dhall/tests/parser/success/unit/EmptyRecordLiteralB.dhallb delete mode 100644 dhall/tests/parser/success/unit/EmptyRecordLiteralB.diag delete mode 100644 dhall/tests/parser/success/unit/LetAnnotA.dhall delete mode 100644 dhall/tests/parser/success/unit/LetAnnotB.dhallb delete mode 100644 dhall/tests/parser/success/unit/LetAnnotB.diag delete mode 100644 dhall/tests/parser/success/unit/LetNoAnnotA.dhall delete mode 100644 dhall/tests/parser/success/unit/LetNoAnnotB.dhallb delete mode 100644 dhall/tests/parser/success/unit/LetNoAnnotB.diag delete mode 100644 dhall/tests/parser/success/unit/ToMapA.dhall delete mode 100644 dhall/tests/parser/success/unit/ToMapAnnotA.dhall delete mode 100644 dhall/tests/parser/success/unit/ToMapAnnotB.dhallb delete mode 100644 dhall/tests/parser/success/unit/ToMapAnnotB.diag delete mode 100644 dhall/tests/parser/success/unit/ToMapB.dhallb delete mode 100644 dhall/tests/parser/success/unit/ToMapB.diag delete mode 100644 dhall/tests/parser/success/unit/VariableQuotedWithSpaceA.dhall delete mode 100644 dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.dhallb delete mode 100644 dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.diag (limited to 'dhall/tests/parser') 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 Binary files a/dhall/tests/parser/success/unit/LetAnnotB.dhallb and /dev/null 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 Binary files a/dhall/tests/parser/success/unit/LetNoAnnotB.dhallb and /dev/null 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 Binary files a/dhall/tests/parser/success/unit/ToMapAnnotB.dhallb and /dev/null 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 Binary files a/dhall/tests/parser/success/unit/ToMapB.dhallb and /dev/null 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 Binary files a/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.dhallb and /dev/null 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] -- cgit v1.2.3