diff options
| author | Nadrieril | 2020-03-07 22:14:41 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-10 18:00:38 +0000 |
| commit | a610f53d794f430a9f57c37d8b88f76a62620506 (patch) | |
| tree | 3bc3e69e3b9385a9583ba522ddfd9acd9f8961dd /dhall/tests/parser | |
| parent | 98d1b68b40d190b29f3fb1266de2794cc8ab9e54 (diff) | |
Upstream all local tests
See https://github.com/dhall-lang/dhall-lang/pull/933
Diffstat (limited to 'dhall/tests/parser')
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 Binary files differdeleted file mode 100644 index 4e3a7e4..0000000 --- a/dhall/tests/parser/success/unit/LetAnnotB.dhallb +++ /dev/null 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 Binary files differdeleted file mode 100644 index 79a2384..0000000 --- a/dhall/tests/parser/success/unit/LetNoAnnotB.dhallb +++ /dev/null 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 Binary files differdeleted file mode 100644 index 4b53587..0000000 --- a/dhall/tests/parser/success/unit/ToMapAnnotB.dhallb +++ /dev/null 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 Binary files differdeleted file mode 100644 index 25ecd95..0000000 --- a/dhall/tests/parser/success/unit/ToMapB.dhallb +++ /dev/null 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 Binary files differdeleted file mode 100644 index 56d9cd9..0000000 --- a/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.dhallb +++ /dev/null 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] |