[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 simonpj):

 See also http://hackage.haskell.org/trac/haskell-
 prime/wiki/InfixTypeConstructors

 Yes, with `-XSymbolsAreTyCons`, all operator symbols would be tycons,
 irrespective of the leading colon.

 Allowing symbol-by-symbol control would be more complicated.  But it might
 have the advantage of applying uniformly to the term world too.  Thus:
 {{{
 constructor *
 variable T

 data S T = Int * T
 }}}
 would mean the same as
 {{{
 data S t = Star Int t
 }}}
 It's a bit confusing though.

 (PS: You can use the "Change" lnk in your comment to edit a previous
 remark.)

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