\r now renders as \r, not \c which was not standard (#17244)

This commit is contained in:
Timothee Cour 2021-03-03 02:57:00 -08:00 • committed by GitHub
commit e417bd62f7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 3 deletions

View file

@ -189,6 +189,8 @@ provided by the operating system.
- `std/options` changed `$some(3)` to `"some(3)"` instead of `"Some(3)"`
and `$none(int)` to `"none(int)"` instead of `"None[int]"`.
- `system.addEscapedChar` now renders `\r` as `\r` instead of `\c`, to be compatible
with most other languages.
## Language changes