Can't find interface-file declaration for type constructor or class integer-gmp:GHC.Integer.Type.Integer

[Daniel Fischer]

On Thursday 18 August 2011, 19:13:45, Johan Tibell wrote:
> On Thu, Aug 18, 2011 at 7:07 PM, Simon Peyton-Jones
> 
> <simonpj at microsoft.com> wrote:
> > | I shouldn't have to modify PrelNames since I kept GHC.Integer.Type,
> > | no? Or does PrelNames have to contain the name of the module that
> > | originally defined the type?
> > 
> > Yes, exactly!
> 
> This causes some trouble though, as the module named in PrelNames must
> exist in both in integer-gmp and integer-simple i.e. it must be some
> generic name like GHC.Integer.Type 

GHC.Integer.Impl.Type ?

> rather than a name containing e.g.
> GMP. I could keep the data type definition where it is
> (GHC.Integer.Type) but then I would have a hard time exporting it from
> e.g. GHC.Integer.GMP.Internals without undoing Ian's patch which
> removed the slightly odd GHC.Integer -> GHC.Integer.GMP.Internals ->
> GHC.Integer.Type module dependency in integer-gmp.