#5771: Confusing printout with PolyKinds
------------------------------+---------------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.4.1-rc1 | Keywords: PolyKinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: Other | Testcase:
Blockedby: | Blocking:
Related: |
------------------------------+---------------------------------------------
If I load the following into ghci:
{{{
{-# LANGUAGE TypeFamilies,
PolyKinds
#-}
type family Foo a
}}}
and then get the info on {{{Foo}}}, I get the following printout:
{{{
type family Foo k a :: *
}}}
It seems that ghc is inserting the kind variable {{{k}}} into the name of
the type function {{{Foo}}}. Perhaps this was intended, but it seems
counter-intuitive. A kind of {{{*}}} is also sometimes printed in
different situations when compiling with {{{PolyKinds}}}.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5771>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
