QuickCheck tests funktionieren nicht
Ich habe gerade das Programm aus dem Wiki ausprobiert:
-- > checkExpect 5 (4+1)
commutativeAdd :: Int -> Int -> Bool
commutativeAdd x y = x + y == y + x
-- > quickCheck commutativeAdd
Da kommt die Fehlermeldung
Invalid Test "quickCheck commutativeAdd" at line 6.