Test suite does not compile on GHC 7.4.2 about haskell-names HOT 2 CLOSED

Yes, it's a known problem — I had to disable testing on travis-ci because of this. You'll probably have to do the same.

As for the reason why this happens, it seems that GHC 7.4 doesn't store the poly-kinded flag in the interface files.

Here's the interface file entry created by 7.6:

  data Proxy (k::BOX) (s::k)
      No C type associated
      RecFlag NonRecursive
      = Proxy :: forall (k::BOX) (s::k). Proxy k s
      FamilyInstance: none

And here's the entry created by 7.4:

  data Proxy s
      RecFlag NonRecursive
      = Proxy :: forall s. Proxy s
      FamilyInstance: none

I am not aware of the corresponding GHC ticket, but since it was fixed in 7.6 I didn't investigate further.

from haskell-names.

OK, thanks for the update, I'll disable the test suite for GHC 7.4.

from haskell-names.