On Thu, Aug 18, 2011 at 7:32 PM, Daniel Fischer <daniel.is.fisc...@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 >> >> <simo...@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. _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users