diff options
Diffstat (limited to '')
| -rw-r--r-- | dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt | 6 | ||||
| -rw-r--r-- | dhall/tests/parser/failure/unit/NaturalLitLeadingZero.txt | 6 |
2 files changed, 9 insertions, 3 deletions
diff --git a/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt b/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt index beca670..9c1eaef 100644 --- a/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt +++ b/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt @@ -1,6 +1,6 @@ - --> 1:5 + --> 1:3 | 1 | { x :T }␊ - | ^--- + | ^--- | - = expected non_empty_record_literal or non_empty_record_type + = expected empty_record_literal or non_empty_record_type_or_literal diff --git a/dhall/tests/parser/failure/unit/NaturalLitLeadingZero.txt b/dhall/tests/parser/failure/unit/NaturalLitLeadingZero.txt new file mode 100644 index 0000000..07d9b5c --- /dev/null +++ b/dhall/tests/parser/failure/unit/NaturalLitLeadingZero.txt @@ -0,0 +1,6 @@ + --> 1:2 + | +1 | 042␊ + | ^--- + | + = 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 |