From 73af29fb11517f85043d8a866697b150dc7c2191 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sun, 23 Feb 2020 20:56:03 +0000 Subject: Add a bunch of tests --- 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 0 -> 17 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 0 -> 14 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 0 -> 11 bytes dhall/tests/parser/success/unit/ToMapAnnotB.diag | 1 + dhall/tests/parser/success/unit/ToMapB.dhallb | Bin 0 -> 7 bytes dhall/tests/parser/success/unit/ToMapB.diag | 1 + .../parser/success/unit/VariableQuotedWithSpaceA.dhall | 1 + .../parser/success/unit/VariableQuotedWithSpaceB.dhallb | Bin 0 -> 6 bytes .../parser/success/unit/VariableQuotedWithSpaceB.diag | 1 + 19 files changed, 14 insertions(+) create mode 100644 dhall/tests/parser/failure/unit/AssertNoAnnotation.dhall create mode 100644 dhall/tests/parser/success/unit/EmptyRecordLiteralA.dhall create mode 100644 dhall/tests/parser/success/unit/EmptyRecordLiteralB.dhallb create mode 100644 dhall/tests/parser/success/unit/EmptyRecordLiteralB.diag create mode 100644 dhall/tests/parser/success/unit/LetAnnotA.dhall create mode 100644 dhall/tests/parser/success/unit/LetAnnotB.dhallb create mode 100644 dhall/tests/parser/success/unit/LetAnnotB.diag create mode 100644 dhall/tests/parser/success/unit/LetNoAnnotA.dhall create mode 100644 dhall/tests/parser/success/unit/LetNoAnnotB.dhallb create mode 100644 dhall/tests/parser/success/unit/LetNoAnnotB.diag create mode 100644 dhall/tests/parser/success/unit/ToMapA.dhall create mode 100644 dhall/tests/parser/success/unit/ToMapAnnotA.dhall create mode 100644 dhall/tests/parser/success/unit/ToMapAnnotB.dhallb create mode 100644 dhall/tests/parser/success/unit/ToMapAnnotB.diag create mode 100644 dhall/tests/parser/success/unit/ToMapB.dhallb create mode 100644 dhall/tests/parser/success/unit/ToMapB.diag create mode 100644 dhall/tests/parser/success/unit/VariableQuotedWithSpaceA.dhall create mode 100644 dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.dhallb create 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 new file mode 100644 index 0000000..6019020 --- /dev/null +++ b/dhall/tests/parser/failure/unit/AssertNoAnnotation.dhall @@ -0,0 +1 @@ +assert diff --git a/dhall/tests/parser/success/unit/EmptyRecordLiteralA.dhall b/dhall/tests/parser/success/unit/EmptyRecordLiteralA.dhall new file mode 100644 index 0000000..339130f --- /dev/null +++ b/dhall/tests/parser/success/unit/EmptyRecordLiteralA.dhall @@ -0,0 +1 @@ +{=} diff --git a/dhall/tests/parser/success/unit/EmptyRecordLiteralB.dhallb b/dhall/tests/parser/success/unit/EmptyRecordLiteralB.dhallb new file mode 100644 index 0000000..58e2e39 --- /dev/null +++ b/dhall/tests/parser/success/unit/EmptyRecordLiteralB.dhallb @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/dhall/tests/parser/success/unit/EmptyRecordLiteralB.diag b/dhall/tests/parser/success/unit/EmptyRecordLiteralB.diag new file mode 100644 index 0000000..8ead206 --- /dev/null +++ b/dhall/tests/parser/success/unit/EmptyRecordLiteralB.diag @@ -0,0 +1 @@ +[8, {}] diff --git a/dhall/tests/parser/success/unit/LetAnnotA.dhall b/dhall/tests/parser/success/unit/LetAnnotA.dhall new file mode 100644 index 0000000..c7d29f8 --- /dev/null +++ b/dhall/tests/parser/success/unit/LetAnnotA.dhall @@ -0,0 +1 @@ +let x: T = y in e diff --git a/dhall/tests/parser/success/unit/LetAnnotB.dhallb b/dhall/tests/parser/success/unit/LetAnnotB.dhallb new file mode 100644 index 0000000..4e3a7e4 Binary files /dev/null and b/dhall/tests/parser/success/unit/LetAnnotB.dhallb differ diff --git a/dhall/tests/parser/success/unit/LetAnnotB.diag b/dhall/tests/parser/success/unit/LetAnnotB.diag new file mode 100644 index 0000000..36791e0 --- /dev/null +++ b/dhall/tests/parser/success/unit/LetAnnotB.diag @@ -0,0 +1 @@ +[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 new file mode 100644 index 0000000..64d30e6 --- /dev/null +++ b/dhall/tests/parser/success/unit/LetNoAnnotA.dhall @@ -0,0 +1 @@ +let x = y in e diff --git a/dhall/tests/parser/success/unit/LetNoAnnotB.dhallb b/dhall/tests/parser/success/unit/LetNoAnnotB.dhallb new file mode 100644 index 0000000..79a2384 Binary files /dev/null and b/dhall/tests/parser/success/unit/LetNoAnnotB.dhallb differ diff --git a/dhall/tests/parser/success/unit/LetNoAnnotB.diag b/dhall/tests/parser/success/unit/LetNoAnnotB.diag new file mode 100644 index 0000000..a23f605 --- /dev/null +++ b/dhall/tests/parser/success/unit/LetNoAnnotB.diag @@ -0,0 +1 @@ +[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 new file mode 100644 index 0000000..ea04391 --- /dev/null +++ b/dhall/tests/parser/success/unit/ToMapA.dhall @@ -0,0 +1 @@ +toMap x diff --git a/dhall/tests/parser/success/unit/ToMapAnnotA.dhall b/dhall/tests/parser/success/unit/ToMapAnnotA.dhall new file mode 100644 index 0000000..ad65b07 --- /dev/null +++ b/dhall/tests/parser/success/unit/ToMapAnnotA.dhall @@ -0,0 +1 @@ +toMap x : T diff --git a/dhall/tests/parser/success/unit/ToMapAnnotB.dhallb b/dhall/tests/parser/success/unit/ToMapAnnotB.dhallb new file mode 100644 index 0000000..4b53587 Binary files /dev/null and b/dhall/tests/parser/success/unit/ToMapAnnotB.dhallb differ diff --git a/dhall/tests/parser/success/unit/ToMapAnnotB.diag b/dhall/tests/parser/success/unit/ToMapAnnotB.diag new file mode 100644 index 0000000..8e511fb --- /dev/null +++ b/dhall/tests/parser/success/unit/ToMapAnnotB.diag @@ -0,0 +1 @@ +[27, ["x", 0], ["T", 0]] diff --git a/dhall/tests/parser/success/unit/ToMapB.dhallb b/dhall/tests/parser/success/unit/ToMapB.dhallb new file mode 100644 index 0000000..25ecd95 Binary files /dev/null and b/dhall/tests/parser/success/unit/ToMapB.dhallb differ diff --git a/dhall/tests/parser/success/unit/ToMapB.diag b/dhall/tests/parser/success/unit/ToMapB.diag new file mode 100644 index 0000000..5d25b39 --- /dev/null +++ b/dhall/tests/parser/success/unit/ToMapB.diag @@ -0,0 +1 @@ +[27, ["x", 0]] diff --git a/dhall/tests/parser/success/unit/VariableQuotedWithSpaceA.dhall b/dhall/tests/parser/success/unit/VariableQuotedWithSpaceA.dhall new file mode 100644 index 0000000..a1f4d02 --- /dev/null +++ b/dhall/tests/parser/success/unit/VariableQuotedWithSpaceA.dhall @@ -0,0 +1 @@ +` x ` diff --git a/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.dhallb b/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.dhallb new file mode 100644 index 0000000..56d9cd9 Binary files /dev/null and b/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.dhallb differ diff --git a/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.diag b/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.diag new file mode 100644 index 0000000..035d650 --- /dev/null +++ b/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.diag @@ -0,0 +1 @@ +[" x ", 0] -- cgit v1.2.3 From 2fc9a64250ee90dc55ca7dcf456855c9d61ad67f Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sun, 23 Feb 2020 21:07:02 +0000 Subject: Update dhall-lang submodule --- dhall/tests/parser/failure/assertBinding.txt | 6 ++++++ dhall/tests/parser/failure/spacing/AssertNoSpace.txt | 6 +++--- dhall/tests/parser/failure/unit/AssertNoAnnotation.txt | 6 ++++++ 3 files changed, 15 insertions(+), 3 deletions(-) create mode 100644 dhall/tests/parser/failure/assertBinding.txt create mode 100644 dhall/tests/parser/failure/unit/AssertNoAnnotation.txt (limited to 'dhall/tests/parser') diff --git a/dhall/tests/parser/failure/assertBinding.txt b/dhall/tests/parser/failure/assertBinding.txt new file mode 100644 index 0000000..4253a31 --- /dev/null +++ b/dhall/tests/parser/failure/assertBinding.txt @@ -0,0 +1,6 @@ + --> 1:5 + | +1 | let assert = 2 in 1␍␊ + | ^--- + | + = expected simple_label diff --git a/dhall/tests/parser/failure/spacing/AssertNoSpace.txt b/dhall/tests/parser/failure/spacing/AssertNoSpace.txt index 0e83988..a98c16a 100644 --- a/dhall/tests/parser/failure/spacing/AssertNoSpace.txt +++ b/dhall/tests/parser/failure/spacing/AssertNoSpace.txt @@ -1,6 +1,6 @@ - --> 1:8 + --> 1:1 | 1 | assert :T␊ - | ^--- + | ^--- | - = expected EOI, import_alt, bool_or, natural_plus, text_append, list_append, bool_and, natural_times, bool_eq, bool_ne, combine, combine_types, equivalent, prefer, arrow, import_hashed, or primitive_expression + = expected expression diff --git a/dhall/tests/parser/failure/unit/AssertNoAnnotation.txt b/dhall/tests/parser/failure/unit/AssertNoAnnotation.txt new file mode 100644 index 0000000..435e325 --- /dev/null +++ b/dhall/tests/parser/failure/unit/AssertNoAnnotation.txt @@ -0,0 +1,6 @@ + --> 1:1 + | +1 | assert␊ + | ^--- + | + = expected expression -- cgit v1.2.3