diff options
| author | Nadrieril | 2020-02-09 18:40:15 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-09 19:58:31 +0000 |
| commit | 4c2a28b844b18d7b67278a1c8f628d9a95ea37c4 (patch) | |
| tree | cf28b0104879bd73802c4a21c4ca76b298d1cb04 /dhall/tests/parser/failure/spacing | |
| parent | 02cacfd0360a0acea959c5a9b6d1b7fb0241db81 (diff) | |
Track error output of parsing and binary decoding tests
Diffstat (limited to 'dhall/tests/parser/failure/spacing')
25 files changed, 150 insertions, 0 deletions
diff --git a/dhall/tests/parser/failure/spacing/AnnotationNoSpace.txt b/dhall/tests/parser/failure/spacing/AnnotationNoSpace.txt new file mode 100644 index 0000000..a62db95 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/AnnotationNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:3 + | +1 | x :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 diff --git a/dhall/tests/parser/failure/spacing/ApplicationNoSpace1.txt b/dhall/tests/parser/failure/spacing/ApplicationNoSpace1.txt new file mode 100644 index 0000000..1ca2115 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/ApplicationNoSpace1.txt @@ -0,0 +1,6 @@ + --> 1:2 + | +1 | f(x)␊ + | ^--- + | + = 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, or arrow diff --git a/dhall/tests/parser/failure/spacing/ApplicationNoSpace2.txt b/dhall/tests/parser/failure/spacing/ApplicationNoSpace2.txt new file mode 100644 index 0000000..f125801 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/ApplicationNoSpace2.txt @@ -0,0 +1,6 @@ + --> 2:16 + | +2 | ./example.dhall[1]␊ + | ^--- + | + = 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, or arrow diff --git a/dhall/tests/parser/failure/spacing/AssertNoSpace.txt b/dhall/tests/parser/failure/spacing/AssertNoSpace.txt new file mode 100644 index 0000000..0e83988 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/AssertNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:8 + | +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 diff --git a/dhall/tests/parser/failure/spacing/ForallNoSpace.txt b/dhall/tests/parser/failure/spacing/ForallNoSpace.txt new file mode 100644 index 0000000..697d400 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/ForallNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:8 + | +1 | forall(x :T) -> x␊ + | ^--- + | + = expected missing, if_, merge, NaN, Some_, toMap, assert, or forall diff --git a/dhall/tests/parser/failure/spacing/HeadersNoSpace.txt b/dhall/tests/parser/failure/spacing/HeadersNoSpace.txt new file mode 100644 index 0000000..70ee479 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/HeadersNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:25 + | +1 | https://example.com/foo using(x)␊ + | ^--- + | + = 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, hash, import_hashed, or primitive_expression diff --git a/dhall/tests/parser/failure/spacing/IfNoSpace1.txt b/dhall/tests/parser/failure/spacing/IfNoSpace1.txt new file mode 100644 index 0000000..d96ea58 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/IfNoSpace1.txt @@ -0,0 +1,6 @@ + --> 1:1 + | +1 | if(b) then x else y␊ + | ^--- + | + = expected expression diff --git a/dhall/tests/parser/failure/spacing/IfNoSpace2.txt b/dhall/tests/parser/failure/spacing/IfNoSpace2.txt new file mode 100644 index 0000000..ee48b9b --- /dev/null +++ b/dhall/tests/parser/failure/spacing/IfNoSpace2.txt @@ -0,0 +1,6 @@ + --> 1:6 + | +1 | if b then(x) else y␊ + | ^--- + | + = expected 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 diff --git a/dhall/tests/parser/failure/spacing/IfNoSpace3.txt b/dhall/tests/parser/failure/spacing/IfNoSpace3.txt new file mode 100644 index 0000000..6bc9d4b --- /dev/null +++ b/dhall/tests/parser/failure/spacing/IfNoSpace3.txt @@ -0,0 +1,6 @@ + --> 1:13 + | +1 | if b then x else(y)␊ + | ^--- + | + = expected 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 diff --git a/dhall/tests/parser/failure/spacing/ImportAltNoSpace.txt b/dhall/tests/parser/failure/spacing/ImportAltNoSpace.txt new file mode 100644 index 0000000..ec7fb2e --- /dev/null +++ b/dhall/tests/parser/failure/spacing/ImportAltNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:3 + | +1 | x ?y␊ + | ^--- + | + = 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 diff --git a/dhall/tests/parser/failure/spacing/ImportHashedNoSpace.txt b/dhall/tests/parser/failure/spacing/ImportHashedNoSpace.txt new file mode 100644 index 0000000..0a13bd4 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/ImportHashedNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:14 + | +1 | missingsha256:0000000000000000000000000000000000000000000000000000000000000000␊ + | ^--- + | + = 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, or arrow diff --git a/dhall/tests/parser/failure/spacing/LambdaNoSpace.txt b/dhall/tests/parser/failure/spacing/LambdaNoSpace.txt new file mode 100644 index 0000000..adb0f1f --- /dev/null +++ b/dhall/tests/parser/failure/spacing/LambdaNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:3 + | +1 | \(x :T) -> x␊ + | ^--- + | + = expected missing, if_, merge, NaN, Some_, toMap, assert, or forall diff --git a/dhall/tests/parser/failure/spacing/LetAnnotNoSpace.txt b/dhall/tests/parser/failure/spacing/LetAnnotNoSpace.txt new file mode 100644 index 0000000..577f157 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/LetAnnotNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:5 + | +1 | let x :T = y in e␊ + | ^--- + | + = expected missing, if_, merge, NaN, Some_, toMap, assert, or forall diff --git a/dhall/tests/parser/failure/spacing/LetNoSpace1.txt b/dhall/tests/parser/failure/spacing/LetNoSpace1.txt new file mode 100644 index 0000000..24bbe63 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/LetNoSpace1.txt @@ -0,0 +1,6 @@ + --> 1:6 + | +1 | letx = y in e␊ + | ^--- + | + = 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 diff --git a/dhall/tests/parser/failure/spacing/LetNoSpace2.txt b/dhall/tests/parser/failure/spacing/LetNoSpace2.txt new file mode 100644 index 0000000..9355df4 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/LetNoSpace2.txt @@ -0,0 +1,6 @@ + --> 1:11 + | +1 | let x = y in(e)␊ + | ^--- + | + = expected 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, let_binding, or primitive_expression diff --git a/dhall/tests/parser/failure/spacing/ListLitEmptyNoSpace.txt b/dhall/tests/parser/failure/spacing/ListLitEmptyNoSpace.txt new file mode 100644 index 0000000..09b7dcd --- /dev/null +++ b/dhall/tests/parser/failure/spacing/ListLitEmptyNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:2 + | +1 | [] :T␊ + | ^--- + | + = expected expression diff --git a/dhall/tests/parser/failure/spacing/MergeAnnotationNoSpace3.txt b/dhall/tests/parser/failure/spacing/MergeAnnotationNoSpace3.txt new file mode 100644 index 0000000..612f4b3 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/MergeAnnotationNoSpace3.txt @@ -0,0 +1,6 @@ + --> 1:11 + | +1 | merge x y :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 diff --git a/dhall/tests/parser/failure/spacing/MergeNoSpace1.txt b/dhall/tests/parser/failure/spacing/MergeNoSpace1.txt new file mode 100644 index 0000000..f0974f8 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/MergeNoSpace1.txt @@ -0,0 +1,6 @@ + --> 1:1 + | +1 | merge(x) y␊ + | ^--- + | + = expected expression diff --git a/dhall/tests/parser/failure/spacing/MergeNoSpace2.txt b/dhall/tests/parser/failure/spacing/MergeNoSpace2.txt new file mode 100644 index 0000000..96d937b --- /dev/null +++ b/dhall/tests/parser/failure/spacing/MergeNoSpace2.txt @@ -0,0 +1,6 @@ + --> 1:7 + | +1 | merge x(y)␊ + | ^--- + | + = expected missing, double_quote_literal, single_quote_literal, if_, merge, non_empty_list_literal, NaN, Some_, toMap, assert, forall, numeric_double_literal, minus_infinity_literal, plus_infinity_literal, natural_literal, integer_literal, or import_hashed diff --git a/dhall/tests/parser/failure/spacing/NaturalPlusNoSpace.txt b/dhall/tests/parser/failure/spacing/NaturalPlusNoSpace.txt new file mode 100644 index 0000000..0473531 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/NaturalPlusNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:4 + | +1 | x +y␊ + | ^--- + | + = expected natural_literal diff --git a/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt b/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt new file mode 100644 index 0000000..beca670 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:5 + | +1 | { x :T }␊ + | ^--- + | + = expected non_empty_record_literal or non_empty_record_type diff --git a/dhall/tests/parser/failure/spacing/SomeNoSpace.txt b/dhall/tests/parser/failure/spacing/SomeNoSpace.txt new file mode 100644 index 0000000..f488c9d --- /dev/null +++ b/dhall/tests/parser/failure/spacing/SomeNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:1 + | +1 | Some(x)␊ + | ^--- + | + = expected expression diff --git a/dhall/tests/parser/failure/spacing/ToMapAnnotNoSpace.txt b/dhall/tests/parser/failure/spacing/ToMapAnnotNoSpace.txt new file mode 100644 index 0000000..b371dc4 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/ToMapAnnotNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:9 + | +1 | toMap x :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 diff --git a/dhall/tests/parser/failure/spacing/ToMapNoSpace.txt b/dhall/tests/parser/failure/spacing/ToMapNoSpace.txt new file mode 100644 index 0000000..afb7c29 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/ToMapNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:1 + | +1 | toMap(x)␊ + | ^--- + | + = expected expression diff --git a/dhall/tests/parser/failure/spacing/UnionTypeNoSpace.txt b/dhall/tests/parser/failure/spacing/UnionTypeNoSpace.txt new file mode 100644 index 0000000..0a83dc8 --- /dev/null +++ b/dhall/tests/parser/failure/spacing/UnionTypeNoSpace.txt @@ -0,0 +1,6 @@ + --> 1:3 + | +1 | < x :T >␊ + | ^--- + | + = expected missing, if_, merge, NaN, Some_, toMap, assert, or forall |