diff options
| author | Nadrieril | 2020-03-12 18:13:44 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-12 18:13:44 +0000 |
| commit | bff6c3e82ef177c683bd69e39396285e567bd38b (patch) | |
| tree | b9ebf5440aefb83892f1ccf4beb408664094809f /dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt | |
| parent | 66972b05e5996132a83332ef0c6879c3a1679dc7 (diff) | |
Upstream the `with` grammar tweak
Diffstat (limited to '')
| -rw-r--r-- | dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt b/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt index b08c143..0e1a879 100644 --- a/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt +++ b/dhall/tests/parser/failure/spacing/RecordTypeNoSpace.txt @@ -3,4 +3,4 @@ 1 | { x :T }␊ | ^--- | - = expected missing, if_, merge, NaN, Some_, toMap, assert, forall, record_type_entry, or empty_record_literal + = expected missing, if_, merge, NaN, Some_, toMap, assert, forall, empty_record_literal, or record_type_entry |