blob: 510ba858c5e3b4d13f2bd5088c72908a14c251ff (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
main = print nⅯⅯⅩⅩ
where nⅯⅯⅩⅩ = 11
-- ⅯⅯⅩⅩ is characters are in NumberLetter unicode category.
-- We now allow it to be used in identifiers, but they
-- are not lower or upper, so cannot be the first one.
--
-- Just like 'OtherNumber' (#4373), 'ModifierLetter' (#10196) and
-- NonSpacingMark (#7650).
--
-- > map generalCategory "ⅯⅯⅩⅩ"
-- [LetterNumber,LetterNumber,LetterNumber,LetterNumber]
--
-- > map show "ⅯⅯⅩⅩ"
-- ["'\\8559'","'\\8559'","'\\8553'","'\\8553'"]
|
