[GHC] #5141: syntax error in pretty-printed kind ascriptions

[GHC]

#5141: syntax error in pretty-printed kind ascriptions
------------------------------------------------+---------------------------
  Reporter:  megacz                             |          Owner:                  
      Type:  bug                                |         Status:  closed          
  Priority:  normal                             |      Milestone:                  
 Component:  Compiler                           |        Version:  7.0.3           
Resolution:  fixed                              |       Keywords:                  
  Testcase:                                     |      Blockedby:                  
Difficulty:                                     |             Os:  Unknown/Multiple
  Blocking:                                     |   Architecture:  Unknown/Multiple
   Failure:  Incorrect warning at compile-time  |  
------------------------------------------------+---------------------------

Comment(by sebf):

 I have seen people use operators as type variables for arrows like this:

 {{
 arr :: Arrow (~>) => (a -> b) -> (a ~> b)
 }}

 Your example is also compelling. Not sure what I would find more
 confusing: type variable operators or an exception to the naming rule for
 constructors. I'd probably use a flag to change the default when I need
 it.

 Sebastian

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