18 Sep
2012
18 Sep
'12
6:54 a.m.
On Sun, Sep 16, 2012 at 5:49 PM, Simon Peyton-Jones
Fixing Any ~~~~~~~ * I think we can fix the Any problem readily by making Any into a type family, that has no instances. We certainly allow equalities with a type *family* application on the left and a type constructor on the right. I have implemented this change already... it seems like a good plan.
Will unsafeCoercing to and from Any still work with this plan? (If not then I can just use data Anything = forall a. Anything a, so it's not a big deal.) -- Your ship was destroyed in a monadic eruption.