[GHC] #10056: Inconsistent precedence of ~

[GHC]

#10056: Inconsistent precedence of ~
-------------------------------------+-------------------------------------
        Reporter:  crockeea          |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:
       Component:  Compiler          |                 Version:  7.8.4
  (Parser)                           |
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  GHC rejects       |  Unknown/Multiple
  valid program                      |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:  #10059            |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by dfeuer):

 Replying to [comment:21 RyanGlScott]:
 > One potential hiccup is that the
 [https://www.haskell.org/onlinereport/decls.html#sect4.4.2 Haskell 98
 Report] requires all operators to have an integer precedence from 0 to 9,
 so we'd have to deviate from that to achieve option 1.

 Operator precedence is just syntax. There is no way to write a function `f
 :: OPERATOR -> Int` to get the precedence, nor could there be. This just
 isn't an issue. Allowing users to set arbitrary rational precedence
 values, or use some sort of general precedence DAG, would require a
 syntactic extension, but this does not, as it does not allow any new
 fixity declarations.

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