[GHC] #5712: Can't define constructors to be infix (as far as Show is concerned) with GADT syntax

[GHC]

#5712: Can't define constructors to be infix (as far as Show is concerned) with
GADT syntax
----------------------------------------+-----------------------------------
  Reporter:  benmachine                 |          Owner:                  
      Type:  feature request            |         Status:  closed          
  Priority:  normal                     |      Milestone:                  
 Component:  Compiler                   |        Version:  7.3             
Resolution:  fixed                      |       Keywords:                  
        Os:  Unknown/Multiple           |   Architecture:  Unknown/Multiple
   Failure:  Other                      |     Difficulty:  Unknown         
  Testcase:  deriving/should_run/T5712  |      Blockedby:                  
  Blocking:                             |        Related:                  
----------------------------------------+-----------------------------------

Comment(by maeder):

 Replying to [comment:1 simonpj]:
 > Seems reasonable.  I'm implementing:
 >  * Constructor is an operator symbol
 >  * It has two arguments
 >  * There is a programmer-supplied fixity declaration for it
 >
 > The third  part is additional to what you suggested.

 Why this extra third part? More implementation and documentation work,
 where else does GHC make a distinction between default (infixl 9) or
 programmer-supplied fixities?

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