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
Proxy datatype
defined somewhere in base, and re-export it from Data.Typeable, as you
might often often
want to use it.


Cheers,
Pedro

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.
>
> -Edward
>
> 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).
>>
>> Cheers,
>>
>> - Ben
>>
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://www.haskell.org/mailman/listinfo/libraries
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20130320/8ea77fa0/attachment.htm>


More information about the Libraries mailing list