Haskell Quick Check minimale Gegenbeispiel

Question

Betrachten Sie die folgenden Tests für die distributivity law between reverse and ++,

import Test.QuickCheck 

test :: [Int] -> [Int] -> Bool 
test xs ys = reverse (xs ++ ys) == reverse xs ++ reverse ys 

test2 :: (Eq a) => [a] -> [a] -> Bool 
test2 xs ys = reverse (xs ++ ys) == reverse xs ++ reverse ys 

Hinweis für die Listen der Int dass

*Main> quickCheck test 
*** Failed! Falsifiable (after 5 tests and 3 shrinks):  
[1] 
[0] 

jedoch der Test für Listen von gleichzusetzen Artikel,

*Main> quickCheck test2 
+++ OK, passed 100 tests. 

Was macht den zweiten Test bestanden?

aktualisiert On mit main = quickCheck test2, die nachfolgenden Fehlern auf zweideutige Art variable Zusammenstellung deuten das Problem (wie bereits in den Antworten dargestellt),

No instance for (Eq a0) arising from a use of `test2' 
The type variable `a0' is ambiguous 
Possible fix: add a type signature that fixes these type variable(s) 

Answer 1

Wenn Sie test2 tatsächlich bewerten, hat GHCi einen Typen holen a benutzen. Ohne weitere Informationen machen die erweiterten Standardregeln von GHCi den Standard (), für den das Gesetz gilt.

Answer 2

> verboseCheck test2 

Passed: 
[] 
[] 
Passed: 
[] 
[] 
Passed: 
[(),()] 
[()] 
Passed: 
[(),(),()] 
[()] 
Passed: 
[()] 
[(),(),(),()] 
... 

Die polymorphe Parameter standardmäßig auf () und natürlich alle diese Werte gleich sind.