Ticket #441: T.2.hs

File T.2.hs, 147 bytes (added by dons, 10 years ago)
Line 
1
2import Test.QuickCheck.Batch
3
4prop_silly :: [()] -> Bool
5prop_silly xs = head xs == head xs
6
7do_test = runTests "test" defOpt [ run prop_silly ]