Skip to content

Fix typo in re-escaping rule of multiline strings#1097

Merged
Gabriella439 merged 2 commits intodhall-lang:masterfrom
yannham:patch-1
Nov 11, 2020
Merged

Fix typo in re-escaping rule of multiline strings#1097
Gabriella439 merged 2 commits intodhall-lang:masterfrom
yannham:patch-1

Conversation

@yannham
Copy link
Copy Markdown
Contributor

@yannham yannham commented Nov 2, 2020

There seems to be a typo in the rule for the re-escaping of characters \, $ and ". I think the rule lacks the addition of a leading backslash to escape the given character, because currently it just preserves the original character at it is, and is exactly the same as the following rule for non-special characters.

There seems to be a typo in the rule for the re-escaping of characters `\`, `$` and `"`. I guess the rule should add a leading backslash to escape the given character, otherwise it would just do nothing, and would be exactly the same as the following one about non-special characters.
@Gabriella439 Gabriella439 merged commit 1fc90a4 into dhall-lang:master Nov 11, 2020
@Gabriella439
Copy link
Copy Markdown
Contributor

@yannham: Thank you for fixing that! 🙂

@yannham
Copy link
Copy Markdown
Contributor Author

yannham commented Nov 11, 2020

Glad to help!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants