On Wed, Mar 20, 2013 at 12:35 AM, Edward Kmett <ekmett@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@gmail.com> wrote:

José Pedro Magalhães <jpm@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@haskell.org
http://www.haskell.org/mailman/listinfo/libraries