id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
5141,syntax error in pretty-printed kind ascriptions,megacz,,"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
}}}",bug,closed,normal,,Compiler,7.0.3,fixed,,,Unknown/Multiple,Unknown/Multiple,Incorrect warning at compile-time,,,,,