Issue using quickCheckAll and GHC 7.10.1 RC1

[asr]

I found this issue while preparing Agda for supporting GHC 7.10.1. The following example compiles with GHC 7.8.4:

{-# LANGUAGE TemplateHaskell #-}

import Test.QuickCheck

prop_id :: Eq a => a -> Bool
prop_id x = x == x

return []

main :: IO Bool
main = $quickCheckAll

Using GHC 7.10.1 RC 1, I got the following error:

$ ghc Test.hs
Test.hs:12:8:
    Exception when trying to run compile-time code:
      Higher-kinded type variables in type: forall (a_0 :: *) . GHC.Classes.Eq a_0 => a_0 -> GHC.Types.Bool
    Code: quickCheckAll
    In the splice: $quickCheckAll

[asr]

FYI, I just asked about this issue in Stack Overflow (see http://stackoverflow.com/questions/27877390/issue-using-quickcheckall-and-ghc-7-10-1-rc1).

[nick8325]

This was caused by a change in GHC, should be fixed now! (See pull request #39.)

[asr]

Yes, the issue is fixed. Thanks!

Could you release a new version, please.

[peti]

:+1:, a new Hackage release would be very helpful!

[asr]

Thanks for releasing the new version!