Proxy and new-typeable
José Pedro Magalhães
jpm at cs.uu.nl
Wed Mar 20 09:04:16 CET 2013
Data.Typeable no longer uses Proxy, yet I think it is convenient to have a
defined somewhere in base, and re-export it from Data.Typeable, as you
might often often
want to use it.
On Wed, Mar 20, 2013 at 12:35 AM, Edward Kmett <ekmett at gmail.com> wrote:
> +1 for finding a resolution. The idea of another Proxy floating around
> fills me with unease.
> On Tue, Mar 19, 2013 at 7:48 PM, Ben Gamari <bgamari.foss at gmail.com>wrote:
>> José Pedro Magalhães <jpm at cs.uu.nl> writes:
>> > Yes, it's entirely unproblematic, and a good suggestion.
>> What happened to this proposal? As far as I can tell the new-typeable
>> work is in (or rather, the branch has been deleted) yet Data.Typeable
>> still seems to have its own Proxy. Given that there has been talk of a
>> 7.8 release, this should probably be resolved quickly (although it's not
>> clear to me from the massive thread where that discussion concluded).
>> - Ben
>> Libraries mailing list
>> Libraries at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries