On Sun, Sep 16, 2012 at 5:49 PM, Simon Peyton-Jones <simo...@microsoft.com> wrote: > > 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. _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users