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.
Sample program:
module Foo
where
class Foo (**) where
bar :: x -> x ** x
baz = bar 3
Trac metadata
Trac field | Value |
---|---|
Version | 7.0.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |