[GHC] #4176: reject unary minus in infix left hand side function bindings that resolve differently as expressions

[GHC]

#4176: reject unary minus in infix left hand side function bindings that resolve
differently as expressions
---------------------------------+------------------------------------------
    Reporter:  maeder            |       Owner:                   
        Type:  proposal          |      Status:  new              
    Priority:  normal            |   Component:  Compiler         
     Version:  6.12.3            |    Keywords:  fixity resolution
          Os:  Unknown/Multiple  |    Testcase:                   
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown     
---------------------------------+------------------------------------------
 a program like:

 {{{
 infix 7 ##

 (##) :: Int -> Int -> Int
 - 1 ## 0 = 0
 _ ## _ = 1
 }}}

 evaluates (unexpectedly) as
 {{{
 *Main> - 1 ## 0
 -1
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4176>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler