remove en-dash from the language

This commit is contained in:
Andreas Rumpf
2017-04-02 15:21:10 +02:00
parent a543b89bf8
commit b652b3cd52
6 changed files with 11 additions and 51 deletions

View File

@@ -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