Ticket #5141 (closed bug: fixed)
syntax error in pretty-printed kind ascriptions
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.
module Foo where class Foo (**) where bar :: x -> x ** x baz = bar 3