Also beware that Typeable uses the original names of types, which means that moving basic types around totally wrecks backwards compatibility for those of us who use the type name for serialization etc.
-- Lennart (iPhone) On Aug 19, 2011, at 11:00, Johan Tibell <johan.tib...@gmail.com> wrote: > These two parallel discussions are getting a bit confusing so I > suggest we continue the discussion on the ticket. :) > > On Fri, Aug 19, 2011 at 12:39 AM, Simon Peyton-Jones > <simo...@microsoft.com> wrote: >> It's hard to know what Ian had in mind, but I'm sure he'll tell us when he >> gets back from holiday. >> >> Meanwhile, yes, it is hard to reconcile >> * The wish to have multiple implementations of Integer >> * The wired-in knowledge that GHC has >> * The desire to have optimising rewrite rules in client libraries >> >> I suggested one approach in the ticket earlier today; there might be others. >> It might be good to figure out a good design before going much further into >> implementation. >> >> Simon >> >> | -----Original Message----- >> | From: Johan Tibell [mailto:johan.tib...@gmail.com] >> | Sent: 18 August 2011 18:14 >> | To: Simon Peyton-Jones >> | Cc: glasgow-haskell-users >> | Subject: 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: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 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. >> >> > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
