3 Dec
2011
3 Dec
'11
9:07 p.m.
On Sat, Dec 3, 2011 at 5:39 PM, Joachim Breitner
have used unsafeCoerce to change the type inside a container to a "type" alias in real code, but your post makes me wonder: Under what circumstances is that safe? Is that documented somehow? Can a tool or the compiler decide for us whether it is safe?
AFAIK, newtypes are safe, and for everything else you're on your own. =) Cheers, -- Felipe.