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

[Johan Tibell]

On Thu, Aug 18, 2011 at 7:32 PM, Daniel Fischer
<daniel.is.fischer at googlemail.com> wrote:
> 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 ?

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.