Commit 2e8bfab9 authored by simonmar's avatar simonmar
Browse files

[project @ 2006-01-12 16:03:21 by simonmar]

add test from ticket #441
parent 1a6bcc1d
......@@ -16,3 +16,4 @@ test('ghci010', skip, ghci_script, ['ghci010.script'])
test('ghci011', normal, ghci_script, ['ghci011.script'])
test('ghci012', normal, ghci_script, ['ghci012.script'])
test('ghci013', normal, ghci_script, ['ghci013.script'])
test('ghci014', normal, ghci_script, ['ghci014.script'])
import Test.QuickCheck.Batch
prop_silly :: [()] -> Bool
prop_silly xs = head xs == head xs
do_test = runTests "test" defOpt [ run prop_silly ]
:l ghci014
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
do_test
</