Opened 7 months ago

Closed 7 months ago

#13409 closed bug (duplicate)

Data types with higher-rank kinds are pretty-printed strangely

Reported by: RyanGlScott Owned by:
Priority: normal Milestone:
Component: Compiler (Type checker) Version: 8.0.2
Keywords: TypeInType Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: #13399 Differential Rev(s):
Wiki Page:

Description

First observed in https://ghc.haskell.org/trac/ghc/ticket/13399#comment:5. If you define this:

data Foo :: (* -> *) -> (forall k. k -> *)

and type :i Foo into GHCi, you get this back:

type role Foo phantom nominal phantom
data Foo (a :: * -> *) k (c :: k)

This seems to imply that Foo has three visible type parameters, which isn't true at all!

Change History (1)

comment:1 Changed 7 months ago by goldfire

Resolution: duplicate
Status: newclosed

I beat you to it: #13407.

Note: See TracTickets for help on using tickets.