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

On Thu, Aug 18, 2011 at 7:32 PM, Daniel Fischer wrote:

On Thursday 18 August 2011, 19:13:45, Johan Tibell wrote:

...

On Thu, Aug 18, 2011 at 7:07 PM, Simon Peyton-Jones

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 ?

The problem is that we wan't to export the GMP specific constructors under something like GHC.Integer.GMP.Something, but that introduces a conceptually weird (according to Ian's patch) module dependency.