On Thu, Aug 18, 2011 at 7:07 PM, Simon Peyton-Jones
| 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 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.