[GHC] #11012: Support for unicode primes on identifiers.

[GHC]

#11012: Support for unicode primes on identifiers.
-------------------------------------+-------------------------------------
        Reporter:  ghartshaw         |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  low               |            Milestone:
       Component:  Compiler          |              Version:  7.10.2
  (Parser)                           |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by ghartshaw):

 I would like the characters U+2032, U+2033, U+2034, and U+2057 to be
 excluded from uniSymbol in the rule for symbol, added to the rule for
 graphic, and added to the rules for varid and conid.

 These rules currently are
 {{{
 graphic → small | large | symbol | digit | special | " | '
 symbol → ascSymbol | uniSymbol<special | _ | " | '>
 varid → (small {small | large | digit | '})<reservedid>
 conid → large {small | large | digit | '}
 }}}

 With this proposal they would become
 {{{
 prime → ' | ′ | ″ | ‴ | ⁗       // U+0027,U+2032,U+2033,U+2034,U+2057
 graphic → small | large | symbol | digit | special | " | prime
 symbol → ascSymbol | uniSymbol<special | _ | " | prime>
 varid → (small {small | large | digit | prime})<reservedid>
 conid → large {small | large | digit | prime}
 }}}

 These rules treat the Unicode primes exactly the same as an apostrophe
 when
 found in identifiers.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11012#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler