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<span></span><br><br>On Tuesday, September 15, 2015, Richard Eisenberg <<a href="mailto:eir@cis.upenn.edu">eir@cis.upenn.edu</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div>Sounds reasonable to me. Also, see #10886, which this request prompted me to make.</div><div><br></div><div>Richard</div><br><div><div>On Sep 14, 2015, at 1:44 PM, David Feuer <<a href="javascript:_e(%7B%7D,'cvml','david.feuer@gmail.com');" target="_blank">david.feuer@gmail.com</a>> wrote:</div><br><blockquote type="cite"><p dir="ltr">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.</p>
_______________________________________________<br>Libraries mailing list<br><a href="javascript:_e(%7B%7D,'cvml','Libraries@haskell.org');" target="_blank">Libraries@haskell.org</a><br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br></blockquote></div><br></div></blockquote>