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