使用quickCheckAll和GHC 7.10.1 RC1的问题

Question

以下示例使用GHC 7.8.4和QuickCheck 2.7.6进行编译：

{-# LANGUAGE TemplateHaskell #-}

import Test.QuickCheck

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

-- Hack to make $quickCheckAll work under GHC >= 7.8.
return []

main :: IO Bool
main = $quickCheckAll

使用GHC 7.10.1 RC 1，出现以下错误：

$ ghc Bug.hs
Bug.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

我可以使用一些条件编译来修复示例吗？ 还是与QuickCheck库有关？

Answer 1

该问题已在QuickCheck中修复（请参阅https://github.com/nick8325/quickcheck/issues/42 ）。