diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2017-04-02 15:21:10 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2017-04-02 23:41:29 +0200 |
| commit | f520dfbfabe1134d92214c66f2e1fcd222053771 (patch) | |
| tree | 0f08a0c85075f9db127b51704f959b30d6ad089e /doc/manual | |
| parent | d587b6a25f9976abad9bf4b7039dd0c1f31b2913 (diff) | |
| download | Nim-f520dfbfabe1134d92214c66f2e1fcd222053771.tar.gz | |
remove en-dash from the language
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/lexing.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/manual/lexing.txt b/doc/manual/lexing.txt index 7ffd5eb1c..d4c11adf7 100644 --- a/doc/manual/lexing.txt +++ b/doc/manual/lexing.txt @@ -133,8 +133,7 @@ Two identifiers are considered equal if the following algorithm returns true: a.replace(re"_|–", "").toLower == b.replace(re"_|–", "").toLower That means only the first letters are compared in a case sensitive manner. Other -letters are compared case insensitively and underscores and en-dash (Unicode -point U+2013) are ignored. +letters are compared case insensitively and underscores are ignored. This rather unorthodox way to do identifier comparisons is called `partial case insensitivity`:idx: and has some advantages over the conventional |