
New patches:

[More QC properties, for fold{lr}1. Update expected output
Don Stewart <dons@cse.unsw.edu.au>**20060430084252] {
hunk ./tests/ghc-regress/lib/Data.ByteString/bytestring001.hs 195
+prop_foldl1_2 xs =
+    (not . P.null) xs ==>
+    P.foldl1 const xs == P.head xs
+
+prop_foldl1_3 xs =
+    (not . P.null) xs ==>
+    P.foldl1 (flip const) xs == P.last xs
+
hunk ./tests/ghc-regress/lib/Data.ByteString/bytestring001.hs 208
+prop_foldr1_2 xs =
+    (not . P.null) xs ==>
+    P.foldr1 (flip const) xs == P.last xs
+
+prop_foldr1_3 xs =
+    (not . P.null) xs ==>
+    P.foldr1 const xs == P.head xs
+
hunk ./tests/ghc-regress/lib/Data.ByteString/bytestring001.hs 420
+
+            ,    ("foldl1_1",     mytest prop_foldl1_1)
+            ,    ("foldl1_2",     mytest prop_foldl1_2)
+            ,    ("foldl1_3",     mytest prop_foldl1_3)
+
+            ,    ("foldr1_1",     mytest prop_foldr1_1)
+            ,    ("foldr1_2",     mytest prop_foldr1_2)
+            ,    ("foldr1_3",     mytest prop_foldr1_3)
+
hunk ./tests/ghc-regress/lib/Data.ByteString/bytestring001.stdout 28
+foldl1_1       : 01223445567788910111111121213141415161616171718192021222324252627282930303031323334353637383940414243444545454647484950505152535354555657585859606061616162636465666768697071727374757576777879808182838485858687888990919293949596979899OK, 100 tests.
+foldl1_2       : 01223445567788910111111121213141415161616171718192021222324252627282930303031323334353637383940414243444545454647484950505152535354555657585859606061616162636465666768697071727374757576777879808182838485858687888990919293949596979899OK, 100 tests.
+foldl1_3       : 01223445567788910111111121213141415161616171718192021222324252627282930303031323334353637383940414243444545454647484950505152535354555657585859606061616162636465666768697071727374757576777879808182838485858687888990919293949596979899OK, 100 tests.
+foldr1_1       : 01223445567788910111111121213141415161616171718192021222324252627282930303031323334353637383940414243444545454647484950505152535354555657585859606061616162636465666768697071727374757576777879808182838485858687888990919293949596979899OK, 100 tests.
+foldr1_2       : 01223445567788910111111121213141415161616171718192021222324252627282930303031323334353637383940414243444545454647484950505152535354555657585859606061616162636465666768697071727374757576777879808182838485858687888990919293949596979899OK, 100 tests.
+foldr1_3       : 01223445567788910111111121213141415161616171718192021222324252627282930303031323334353637383940414243444545454647484950505152535354555657585859606061616162636465666768697071727374757576777879808182838485858687888990919293949596979899OK, 100 tests.
}

[And add QC test for group/groupBy
Don Stewart <dons@cse.unsw.edu.au>**20060501065658] {
hunk ./tests/ghc-regress/lib/Data.ByteString/bytestring001.hs 106
+prop_breakspan_1 xs c = P.break (== c) xs == P.span (/= c) xs
+
hunk ./tests/ghc-regress/lib/Data.ByteString/bytestring001.hs 259
+prop_group xs   = group xs == (map unpack . P.group . pack) xs
+
+prop_groupBy xs = groupBy (==) xs == (map unpack . P.groupBy (==) . pack) xs
+prop_groupBy1 xs = groupBy (/=) xs == (map unpack . P.groupBy (/=) . pack) xs
+
hunk ./tests/ghc-regress/lib/Data.ByteString/bytestring001.hs 325
+prop_spanChar c xs =
+        (break (/=c) xs) ==
+        (let (x,y) = P.spanChar c (pack xs) in (unpack x, unpack y))
+
+prop_spanChar_1 c xs =
+        (P.span (==c) xs) == P.spanChar c xs
+
hunk ./tests/ghc-regress/lib/Data.ByteString/bytestring001.hs 461
+            ,    ("group",      mytest prop_group)
+            ,    ("groupBy",    mytest prop_groupBy)
+            ,    ("groupBy1",    mytest prop_groupBy1)
hunk ./tests/ghc-regress/lib/Data.ByteString/bytestring001.hs 480
+            ,    ("spanChar",       mytest prop_spanChar)
+            ,    ("spanChar1",   mytest prop_spanChar_1)
hunk ./tests/ghc-regress/lib/Data.ByteString/bytestring001.hs 534
+            ,    ("breakspan",    mytest prop_breakspan_1)
hunk ./tests/ghc-regress/lib/Data.ByteString/bytestring001.stdout 54
+group          : 0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899OK, 100 tests.
+groupBy        : 0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899OK, 100 tests.
+groupBy1       : 0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899OK, 100 tests.
hunk ./tests/ghc-regress/lib/Data.ByteString/bytestring001.stdout 73
+spanChar       : 0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899OK, 100 tests.
+spanChar1      : 0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899OK, 100 tests.
hunk ./tests/ghc-regress/lib/Data.ByteString/bytestring001.stdout 129
+breakspan      : 0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899OK, 100 tests.
}

Context:

[avoid running out of stack
Simon Marlow <simonmar@microsoft.com>**20060428083855] 
[Import Data.ByteString regression tests
Don Stewart <dons@cse.unsw.edu.au>**20060428122838] 
[test Bool arguments too
Simon Marlow <simonmar@microsoft.com>**20060418144834] 
[Test for foralls to the right of =>
simonpj@microsoft.com**20060418125116] 
[Test for error recovery in TH
simonpj@microsoft.com**20060414120213] 
[forgot to add this file
Simon Marlow <simonmar@microsoft.com>**20060413080300] 
[Add a test for SpecConstr + GADTs
simonpj@microsoft.com**20060412153402] 
[Memo-function test
simonpj@microsoft.com**20060410164304
 
 Checks that preInlineUnconditionally isn't to eager!
 (If it is, this test goes exponential.)
 
] 
[add a test for a division bug in the NCG
Simon Marlow <simonmar@microsoft.com>**20060412144627] 
[Add test for newtype deriving (thanks to Ross)
simonpj@microsoft.com**20060402215709] 
[update for new source tree layout
Simon Marlow <simonmar@microsoft.com>**20060410091202] 
[add a test for a blackhole GC bug
Simon Marlow <simonmar@microsoft.com>**20060407101628] 
[the "threaded" way was renamed to "threaded1"/"threaded2"
Simon Marlow <simonmar@microsoft.com>**20060407101619] 
[Track the GHC source tree reorganisation
Simon Marlow <simonmar@microsoft.com>**20060407041720] 
[omit asm ways for this test on x86
Simon Marlow <simonmar@microsoft.com>**20060407080546] 
[avoid running out of stack for non-optimised ways
Simon Marlow <simonmar@microsoft.com>**20060407080032] 
[add test for ForeignPtrEnv
Simon Marlow <simonmar@microsoft.com>**20060405160129] 
[omit ffi007 and ffi008 for GHCi (see comment for details)
Simon Marlow <simonmar@microsoft.com>**20060405133421] 
[fix tests for Windows
Simon Marlow <simonmar@microsoft.com>**20060404153133] 
[unnecessary mingw-specific output
Simon Marlow <simonmar@microsoft.com>**20060404150047] 
[windows output
Simon Marlow <simonmar@microsoft.com>**20060404145525] 
[crummy fix for Windows
Simon Marlow <simonmar@microsoft.com>**20060404145128] 
[fix the expect_fail_if_windows macro
Simon Marlow <simonmar@microsoft.com>**20060404144611] 
[Add scoped tyvar test
simonpj@microsoft.com**20060327123134] 
[attempt to work around restrictions with fork() & pthreads
Simon Marlow <simonmar@microsoft.com>**20060323134034
 In the child process, call exec() directly instead of using
 System.Cmd.system, which involves another fork()/exec() and a
 non-blocking wait.  The problem is that in a forked child of a
 threaded process, it isn't safe to do much except exec() according to
 POSIX.  In fact calling pthread_create() in the child causes the
 pthread library to fail with an error on FreeBSD.
] 
[accept output (better error locations)
Simon Marlow <simonmar@microsoft.com>**20060323102719] 
[fix to previous
Simon Marlow <simonmar@microsoft.com>**20060323102523] 
[fcntl-FreeBSD
stolz@i2.informatik.rwth-aachen.de**20060321165137
 Expect failure of queryfdoption01 on FreeBSD (6/7): /dev/null                                                                                                   
 can't be  switched to non-blocking i/o, so fcntl() will throw an error.
 Unfortunately this went to the old CVS first.
] 
[fix for GHCi tests that raise exceptions or exit
Simon Marlow <simonmar@microsoft.com>**20060320124648
 We need to call GHC.TopHandler.runIOFastExit instead of
 GHC.TopHandler.runIO.  Recent fixes to the shutdown code have meant
 that when a thread invokes shutdownHaskellAndExit(), other main
 threads get a chance to exit (as they should), but this means that we
 might have a race between the child thread trying to exit the program
 and the main thread doing the same.  In the case of GHCi, if we're
 running an interpreted computation that needs to exit (as some tests
 do), then we really want this child thread to exit the program rather
 than the main thread.
] 
[sort the keys when outputting the summary
Simon Marlow <simonmar@microsoft.com>**20060320114811] 
[fix a regex that was too slow
Simon Marlow <simonmar@microsoft.com>**20060316163903] 
[ignore ".exe" in program output, for Windows
Simon Marlow <simonmar@microsoft.com>**20060316155440] 
[fix for Win32
Simon Marlow <simonmar@microsoft.com>**20060316154734] 
[remove some dead code
Simon Marlow <simonmar@microsoft.com>**20060315114645] 
[Tidy up the testsuite output by combinding failures for multiple ways
Simon Marlow <simonmar@microsoft.com>**20060315112501
 
 Before:
    tc056(normal)
    tc056(opt)
    tc056(optasm)
    tc056(prof)
    tc056(profasm)
    tc056(unreg)
 
 After:
    tc056(normal,opt,optasm,prof,profasm,unreg)
] 
[patch up this test again
Simon Marlow <simonmar@microsoft.com>**20060314151844] 
[process003 doesn't work with GHCi, omit it
Simon Marlow <simonmar@microsoft.com>**20060314151657] 
[fix clean target
Simon Marlow <simonmar@microsoft.com>**20060314124525] 
[add test for #713
Simon Marlow <simonmar@microsoft.com>**20060314121232] 
[Require -fallow-undecidable-instances
simonpj@microsoft.com**20060223141727] 
[Test for deprecated constructors
simonpj@microsoft.com**20060223141701] 
[Update output
simonpj@microsoft.com**20060223135107] 
[Update output and add -fallow-undecidable-instances where necesssary
simonpj@microsoft.com**20060223133629] 
[Add -fallow-undecidable-instances to reflect more accurate termination test in fundeps
simonpj@microsoft.com**20060223133113] 
[Remove dependence on haskell98 package in expected output
simonpj@microsoft.com**20060223130208] 
[Accept output
simonpj@microsoft.com**20060223125845] 
[Add expected output for rn049
simonpj@microsoft.com**20060223124018] 
[Accept (slightly mysterious) output formatting changes
simonpj@microsoft.com**20060223123611] 
[Update output
simonpj@microsoft.com**20060223123516] 
[Update output (TH no longer depends on haskell98 package)
simonpj@microsoft.com**20060223123331] 
[Add a fundep loop test
simonpj@microsoft.com**20060222101347] 
[add expected output for x86_64
Simon Marlow <simonmar@microsoft.com>**20060223121322] 
[accept output
Simon Marlow <simonmar@microsoft.com>**20060210151137] 
[remove smp way, replace threaded with threaded1/threaded2
Simon Marlow <simonmar@microsoft.com>**20060210123325
 
 threaded1 = -threaded -debug
 threaded2 = -O -threaded, and +RTS -N2 -RTS at runtime
] 
[Add test for bug 685
simonpj@microsoft.com**20060208160511] 
[Add test from Markus Lauer
simonpj@microsoft.com**20060206084209] 
["s" is in GhcRTSWays now
Simon Marlow <simonmar@microsoft.com>**20060208150646] 
[allow setting stage=N variable to select compiler in the testsuite
Simon Marlow <simonmar@microsoft.com>**20060208140219] 
[Eta expand gzip test to match new higher-rank-type story
simonpj@microsoft.com**20060202131654] 
[Fix GADT tests
simonpj@microsoft.com**20060202130236] 
[New GADT desugaring test
simonpj@microsoft.com**20060202124603] 
[Remove package lang reqt
simonpj@microsoft.com**20060202102030] 
[Update to track improvements in typechecker
simonpj@microsoft.com**20060201171451] 
[Update to track new scoped-tyvar story
simonpj@microsoft.com**20060201171415] 
[Eta expansion and scoped type variables in generic code
simonpj@microsoft.com**20060201171238
 
 The new story on higher-rank types requires a few functions to be
 eta-expanded.  And the new scoped-type-variable story also forces
 a few changes.
 
] 
[Add CPR test
simonpj@microsoft.com**20060131164801] 
[remove old docs
Simon Marlow <simonmar@microsoft.com>**20060201163734] 
[add test for bug #661
Simon Marlow <simonmar@microsoft.com>**20060201130720] 
[fix recently-introduced breakage in 'make accept'
Simon Marlow <simonmar@microsoft.com>**20060201115729] 
[Add a higher-kinded test
simonpj@microsoft.com**20060131123016] 
[Add fundep test
simonpj@microsoft.com**20060131115806] 
[Module import test
simonpj@microsoft.com**20060131115404] 
[Wibble
simonpj@microsoft.com**20060125140817] 
[Add test for bogus unusued-import message
simonpj@microsoft.com**20060125090704] 
[[project @ 2006-01-19 09:47:11 by simonmar]
simonmar**20060119094711
 Test tryPutMVar on empty MVars too
] 
[[project @ 2006-01-18 16:31:10 by simonmar]
simonmar**20060118163112
 Add a fast version of the testsuite
 
 The idea is to have a way to run as much of the testsuite as possible
 in a short time, so that we'll run it more often (such as just before
 checking in a change, for example).  'make fast' tries for good
 coverage without using too many cycles.  Currently it takes about 4
 minutes on a fast machine with an optimised GHC build; I think this
 might still be a little on the slow side.
 
 When you say 'make fast' in testsuite/tests/ghc-regress, we run each
 test only one way, and all of the long-running tests are omitted.
 Also, to get the runtime down further, I arbitrarily omitted many of
 the should_run tests (because these tend to take a lot longer than
 should_compile or should_fail tests).  I tried to keep a
 representative few in each category.
] 
[[project @ 2006-01-18 15:25:45 by simonpj]
simonpj**20060118152545
 Add test for data con in class sig
] 
[[project @ 2006-01-12 16:10:41 by simonmar]
simonmar**20060112161041
 Add test from ticket #488
] 
[[project @ 2006-01-12 16:03:21 by simonmar]
simonmar**20060112160321
 add test from ticket #441
] 
[[project @ 2006-01-10 14:39:50 by simonmar]
simonmar**20060110143950
 accept output
] 
[[project @ 2006-01-10 14:11:53 by simonmar]
simonmar**20060110141153
 comment update
] 
[[project @ 2006-01-10 14:11:24 by simonmar]
simonmar**20060110141124
 recode this file in UTF-8 from Latin-1
] 
[[project @ 2006-01-10 13:41:48 by simonmar]
simonmar**20060110134148
 accept output (improved lexer error messages)
] 
[[project @ 2006-01-09 12:49:28 by simonmar]
simonmar**20060109124928
 Add test case that causes a core-lint failure (cut down from
 Encoding.hs in HEAD).
] 
[[project @ 2006-01-09 10:29:44 by simonmar]
simonmar**20060109102944
 add a cmm lint failure
] 
[[project @ 2006-01-09 10:27:33 by simonmar]
simonmar**20060109102733
 Add -dcmm-lint when compiling
] 
[[project @ 2006-01-06 16:34:56 by simonmar]
simonmar**20060106163456
 Unicode source tests
] 
[[project @ 2006-01-06 16:15:19 by simonpj]
simonpj**20060106161519
 Add another synonym-performance test (but comment it out of the test file; too slow!)
] 
[[project @ 2006-01-06 16:14:45 by simonpj]
simonpj**20060106161445
 Better type signature for higher-rank
] 
[[project @ 2006-01-06 16:12:42 by simonpj]
simonpj**20060106161242
 Add tests for boxy types
] 
[[project @ 2006-01-06 16:08:57 by simonpj]
simonpj**20060106160857
 Add GADT tests
] 
[[project @ 2006-01-06 16:03:25 by simonpj]
simonpj**20060106160325
 Cosmetic
] 
[[project @ 2006-01-05 13:08:14 by simonpj]
simonpj**20060105130814
 Add a nasty multiple-instantiation test
] 
[[project @ 2006-01-05 10:06:30 by simonpj]
simonpj**20060105100630
 Add test for newtype existential
] 
[[project @ 2006-01-05 09:16:28 by simonmar]
simonmar**20060105091628
 Add test for "scavenge_stack" bug fixed in rev 1.16 of Exception.cmm
] 
[[project @ 2006-01-04 11:50:44 by simonpj]
simonpj**20060104115044
 Add test for data con returning wrong type
] 
[[project @ 2006-01-02 19:36:50 by jpbernardy]
jpbernardy**20060102193650
 minor cleanups
] 
[[project @ 2006-01-01 21:46:31 by jpbernardy]
jpbernardy**20060101214631
 More tests for:
   * Sets
   * Non-structural equality
   * Left-Bias
   * Performance
] 
[[project @ 2005-12-26 19:54:32 by jpbernardy]
jpbernardy**20051226195432
 Infrastructure for testing Data structures.
  + some tests
] 
[[project @ 2005-12-19 09:47:49 by simonpj]
simonpj**20051219094749
 Add test for trailing parens in GADT signatures
] 
[[project @ 2005-12-16 16:03:02 by simonpj]
simonpj**20051216160302
 Add deriving for infix constructors
] 
[[project @ 2005-12-16 14:56:50 by simonpj]
simonpj**20051216145650
 Add repeated-type-variable tests for instance constexts
] 
[[project @ 2005-12-16 10:54:50 by simonmar]
simonmar**20051216105450
 TimeExts has gone away
] 
[[project @ 2005-12-16 10:53:24 by simonmar]
simonmar**20051216105324
 update to not use hslibs
] 
[[project @ 2005-12-16 10:50:31 by simonmar]
simonmar**20051216105031
 -package lang isn't required.
] 
[[project @ 2005-12-16 10:46:05 by simonmar]
simonmar**20051216104605
 Now that we aren't building hslibs, keep the memo tests alive by
 bringing Memo.hs into the testsuite.  These tests are a useful
 shakedown for StableNames.
] 
[[project @ 2005-12-13 16:04:25 by simonmar]
simonmar**20051213160425
 Add nested atomically test
] 
[[project @ 2005-12-13 16:04:09 by simonmar]
simonmar**20051213160409
 fix comments
] 
[[project @ 2005-12-09 19:17:57 by simonpj]
simonpj**20051209191757
 add output file
] 
[[project @ 2005-12-09 19:16:58 by simonpj]
simonpj**20051209191658
 A minor, probably redundant, test
] 
[[project @ 2005-12-05 11:43:51 by simonmar]
simonmar**20051205114351
 add newTVarIO test
] 
[[project @ 2005-12-05 10:08:53 by simonpj]
simonpj**20051205100853
 Add an expected-failure test
] 
[[project @ 2005-12-05 09:13:07 by simonpj]
simonpj**20051205091307
 Update expected output
] 
[[project @ 2005-12-05 09:08:51 by simonpj]
simonpj**20051205090851
 Fix test
] 
[[project @ 2005-12-02 10:56:34 by simonmar]
simonmar**20051202105634
 add this test that I had lying around
] 
[[project @ 2005-12-02 10:54:05 by simonmar]
simonmar**20051202105405
 conc053 only works in threaded & smp ways at the moment.
] 
[[project @ 2005-12-02 10:51:15 by simonmar]
simonmar**20051202105115
 accept output
] 
[[project @ 2005-12-01 08:54:57 by simonpj]
simonpj**20051201085457
 Another GADT test
] 
[[project @ 2005-11-30 14:17:35 by simonpj]
simonpj**20051130141735
 Add mkName test
] 
[[project @ 2005-11-30 12:25:20 by simonmar]
simonmar**20051130122520
 Add test for Control.Concurrent.STM.registerDelay
] 
[TAG Last rev before making ghc-6-4 branch
John Goerzen <jgoerzen@complete.org>**20051128164635] 
[TAG Initial conversion from CVS complete
John Goerzen <jgoerzen@complete.org>**20051128163910] 
Patch bundle hash:
1c386229afdf189797b190a9499a9345cc6309b0
