PolyKind issue in GHC 7.6.1rc1: How to make a kind a functional dependency?
illissius at gmail.com
Tue Sep 18 08:54:51 CEST 2012
On Sun, Sep 16, 2012 at 5:49 PM, Simon Peyton-Jones
<simonpj at 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.
More information about the Glasgow-haskell-users