diff options
author | Nadrieril | 2020-02-23 21:07:02 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-05 15:58:54 +0000 |
commit | 2fc9a64250ee90dc55ca7dcf456855c9d61ad67f (patch) | |
tree | d2af427e6de740cba14983bab5e33bcd6a63e307 | |
parent | 73af29fb11517f85043d8a866697b150dc7c2191 (diff) |
Update dhall-lang submodule
m--------- | dhall-lang | 0 | ||||
-rw-r--r-- | dhall/tests/parser/failure/assertBinding.txt | 6 | ||||
-rw-r--r-- | dhall/tests/parser/failure/spacing/AssertNoSpace.txt | 6 | ||||
-rw-r--r-- | dhall/tests/parser/failure/unit/AssertNoAnnotation.txt | 6 |
4 files changed, 15 insertions, 3 deletions
diff --git a/dhall-lang b/dhall-lang -Subproject 68c8aa875801355a319261c87b547b9a017df3c +Subproject 1a20024421d4e0574e7d9c85a7b0e751b0534dc 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 |