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

[GHC]

#5141: syntax error in pretty-printed kind ascriptions
---------------------------------+------------------------------------------
    Reporter:  megacz            |       Owner:                                   
        Type:  bug               |      Status:  new                              
    Priority:  normal            |   Component:  Compiler                         
     Version:  7.0.3             |    Keywords:                                   
    Testcase:                    |   Blockedby:                                   
          Os:  Unknown/Multiple  |    Blocking:                                   
Architecture:  Unknown/Multiple  |     Failure:  Incorrect warning at compile-time
---------------------------------+------------------------------------------
 Program below; here's the output:

 {{{
 $ inplace/bin/ghc-stage1 -ddump-tc \
   -XNoMonomorphismRestriction -XTypeOperators test.hs
 [1 of 1] Compiling Foo              ( test.hs, test.o )
 TYPE SIGNATURES
     baz :: forall (** :: * -> * -> *) x. (Num x, Foo (**)) => (**) x x
 }}}

 Note how the first occurrence of (**) is missing parens.

 Patch to fix it is attached.

 Sample program:

 {{{
 module Foo
 where
 class Foo (**) where
   bar :: x -> x ** x
 baz = bar 3
 }}}

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