Proposal: Export Any from Unsafe.Coerce

Carter Schonwald carter.schonwald at
Tue Sep 15 14:23:46 UTC 2015

Sounds like a good idea to me, granted I don't use Any myself, but it and
unsafeCoerce require similar levels of care and compiler understanding afaik

On Tuesday, September 15, 2015, Richard Eisenberg <eir at> wrote:

> Sounds reasonable to me. Also, see #10886, which this request prompted me
> to make.
> Richard
> On Sep 14, 2015, at 1:44 PM, David Feuer <david.feuer at
> <javascript:_e(%7B%7D,'cvml','david.feuer at');>> wrote:
> Any is the sanctioned intermediary for unsafeCoerce. GHC claims to
> guarantee that any lifted type can be coerced to and from Any without harm.
> Yet Any seems to be available only from the deeply mystical GHC.Prim, which
> users outside the GHC source tree are never supposed to import. While
> GHC.Exts would be an acceptable place, I think Unsafe.Coerce is more
> appropriate, and will make it easier for users to find this type.
> _______________________________________________
> Libraries mailing list
> Libraries at
> <javascript:_e(%7B%7D,'cvml','Libraries at');>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list