Comment écrire une fonction à lancer quickCheck prop_xxx?

Question

J'utilise QuickCheck v1. Voici un simple prop_xxx défini comme ci-dessous:

prop_foo :: (Num a) =>[a] -> Bool 
prop_foo xs = (reverse.reverse) xs == id xs 

Cela peut être testé en GHCi correctement: quickcheck prop_foo

Cependant, quand j'ai essayé d'envelopper l'appel dans une fonction comme:

f :: IO() 
f = quickCheck prop_foo 

Il a signalé l'erreur:

Ambiguous type variable `a' in the constraints: 
    `Num a' arising from a use of `prop_foo' at Foo.hs:147:15-22 
    `Arbitrary a' 
    arising from a use of `quickCheck' at Foo.hs:147:4-22 
Probable fix: add a type signature that fixes these type variable(s) 

Dois-je fournir lik quelque chose e

instance Arbitrary Xxx where 
    arbitrary  = ... 
    coarbitrary c = ... 

Merci beaucoup.

- Larry

Answer 1

Vous devez donner une signature de type monomorphe, comme

prop_foo :: [Int] -> Bool 

Après tout, la question est la suivante: dans votre version originale, quel type a devrait quickCheck choisir de tester la fonction avec? a = Int? a = Double? Autre chose? Le message d'erreur se plaint que a est ambigu, c'est-à-dire qu'il n'y a pas de choix unique pour cela.