Skip to content

Typeable: Fix module locations of some definitions in GHC.Types

Matthew Pickering requested to merge wip/t25510 into master

There was some confusion in Data.Typeable about which module certain wired-in things were defined in. Just because something is wired-in doesn't mean it comes from GHC.Prim, in particular things like LiftedRep and RuntimeRep are defined in GHC.Types and that's the end of the story.

Things like Int#, Float# etc are defined in GHC.Prim as they have no Haskell definition site at all so we need to generate type representations for them (which live in GHC.Types).

Fixes #22510 (closed)

Merge request reports