Ticket #971: testpatch

File testpatch, 33.0 KB (added by josef, 8 years ago)

Some QuickCheck properties for Data.List.intercalate

Line 
1
2New patches:
3
4[Add tests for Data.List.intercalate (ticket #971)
5Josef Svenningsson <[email protected]>**20061102122958] {
6addfile ./tests/libraries/Data/test_List.hs
7hunk ./tests/libraries/Data/test_List.hs 1
8+import Data.List
9+import LibTest
10+
11+-- Properties that hold
12+
13+prop_unwords_intercalate xs = collect xs $ unwords xs == intercalate " " xs
14+
15+prop_length_intercalate :: [Int] -> [[Int]] -> Bool
16+prop_length_intercalate x xs
17+  = length (intercalate x xs) ==
18+    sum (map length xs) + length x * (length (drop 1 xs))
19+
20+-- Properties that don't hold
21+
22+prop_unlines_intercalate xs = unlines xs == intercalate "\n" xs
23+-- unlines ["",""] = "\n\n"
24+-- intercalate "\n" ["",""] = "\n"
25+
26+-- Helper class
27+
28+instance Arbitrary Char where
29+  arbitrary = frequency [(1,return '\n')
30+                        ,(5,return ' ')
31+                        ,(25,choose (toEnum 0,toEnum 255))]
32+  coarbitrary = variant . fromEnum
33
34+main = runTests "test_List" ["prop_unwords_intercalate"
35+                            ,"prop_length_intercalate"]
36+                           
37+                            [run prop_unwords_intercalate
38+                            ,run prop_length_intercalate]
39}
40
41Context:
42
43[Added tests for Data.List.intercalate and split
44Josef Svenningsson <[email protected]>*-20061022135817]
45[Add test for Trac #963
46[email protected]**20061101173907]
47[Add a simple coverage-condition test
48[email protected]**20061101123555]
49[Add test for Trac 958
50[email protected]**20061101122052]
51[Added tests for Data.List.intercalate and split
52Josef Svenningsson <[email protected]>**20061022135817]
53[removing .tix files before running tests
54[email protected]**20061025202427]
55[Adding a new way for hpc
56[email protected]**20061025201846]
57[indexed types: small tests covering important cases
58Manuel M T Chakravarty <[email protected]>**20061023005347]
59[indexed types: GMap tests
60Manuel M T Chakravarty <[email protected]>**20061022203334]
61[indexed types: import/export test
62Manuel M T Chakravarty <[email protected]>**20061022182045]
63[indexed types: multi-module overlap check
64Manuel M T Chakravarty <[email protected]>**20061022180131]
65[Partitioned indexed-types tests into fail/compile/run dirs
66Manuel M T Chakravarty <[email protected]>**20061022174019]
67[Add test ds061 for trac #851 (incomplete pattern warnings wrong with n+k pats)
68Ian Lynagh <[email protected]>**20061021153928]
69[Add test tc216 for trac #816 (fundep undecidable-instances typechecking loop)
70Ian Lynagh <[email protected]>**20061021120628]
71[Add test gadt20 for trac #810 (GHC fails to find GADT instances)
72Ian Lynagh <[email protected]>**20061021020142]
73[Add test getEnvironment01 for trac #781 (check getEnvironment doesn't break)
74Ian Lynagh <[email protected]>**20061020215050]
75[Add test tcfail168 for trac #719 (error messages are too long sometimes)
76Ian Lynagh <[email protected]>**20061020191818]
77[Add test countReaders001 for trac #629 (file locking doesn't count readers)
78Ian Lynagh <[email protected]>**20061020165449]
79[Add test ghci016 for trac #552 (ghci doesn't handle defaults correctly).
80Ian Lynagh <[email protected]>**20061020153239]
81[Add test TH_recompile for trac #481 (Recompilation check fails for TH)
82Ian Lynagh <[email protected]>**20061020145617]
83[Add test mod175 for trac 437 (Recompilation check should include flags)
84Ian Lynagh <[email protected]>**20061020140355]
85[Add test mod174 for trac #414 (GHC does not enforce that Main exports main)
86Ian Lynagh <[email protected]>**20061020131224]
87[Tests for trac #366 (incomplete pattern warnings and GADTs)
88Ian Lynagh <[email protected]>**20061019182440]
89[Add test ds060 for trac #322 (bogus overlapping patterns warnings)
90Ian Lynagh <[email protected]>**20061019163244]
91[Update comments in test tcfail132
92Ian Lynagh <[email protected]>**20061019155000]
93[Add a test for trac #314 (#line pragmas not respected inside nested comments)
94Ian Lynagh <[email protected]>**20061019154907]
95[Update module tests slightly
96[email protected]**20061018122727]
97[Test for Trac #940
98[email protected]**20061018095608]
99[Add tests for trac#249 and #931
100Ian Lynagh <[email protected]>**20061013151233]
101[Add test for correct unlitting. Tests trac #210.
102Ian Lynagh <[email protected]>**20061013131602]
103[Allow literate tests
104Ian Lynagh <[email protected]>**20061013131542]
105[Update bug reference for test tc175
106Ian Lynagh <[email protected]>**20061013123021]
107[Test for #149 (missed CSE opportunity)
108Ian Lynagh <[email protected]>**20061012200213]
109[Test for trac #921
110Ian Lynagh <[email protected]>**20061011135910]
111[Fix test base01
112Ian Lynagh <[email protected]>**20061010102524]
113[STM invariants
114[email protected]**20061007123151]
115[Add a test for 'module M' in export lists
116[email protected]**20061006143248]
117[Test for scoped type variables
118[email protected]**20061005132851]
119[Test separate compilation with indexed types
120Roman Leshchinskiy <[email protected]>**20061005081706]
121[Two new tricky deriving tests
122[email protected]**20061003082615]
123[Add test for Trac #919
124[email protected]**20061003081555]
125[Need -fglasgow-exts for gadt18
126Ian Lynagh <[email protected]>**20060924171441]
127[Allow testsuite to run under MSYS/MinGW using native Python (not Cygwin Python).
128[email protected]**20060917010602
129 This patch is based on a similar one "Enable timeout in Windows
130 and don't require cygwin python" by Esa Ilari Vuokko. It seems
131 like timeout is always built on Windows so I rearranged the logic
132 there to make the code clearer, Esa's patch required the user to
133 uncomment the MinGW-specific logic in order for it to work; this
134 patch does not have the MinGW-specific logic commented out.
135 
136 I tested this on the trunk in Ubuntu 6.06 on i686 (VMWare).
137 I tested this on the trunk and ghc-6.6 branch on Windows i686.
138 
139]
140[accept output
141Simon Marlow <[email protected]>**20060929101912]
142[add test for #906
143Simon Marlow <[email protected]>**20060928145539]
144[add test for #830
145Simon Marlow <[email protected]>**20060928145442]
146[Add a test for trac #867
147Ian Lynagh <[email protected]>**20060927225225]
148[A new GADT test, which killed FC temporarily
149[email protected]**20060927125644]
150[Test for problem with compiling the base package with --make
151Ian Lynagh <[email protected]>**20060926205447]
152[Added drv020, a test for newtype deriving of multi-parameter type classes which currently makes HEAD panic.
153[email protected]**20060924195626
154 It is called drv020 in order not to clash with some yet to be pushed test cases for stand-alone deriving.
155]
156[Add another GADT test
157[email protected]**20060923080543]
158[Accept typechecker output
159[email protected]**20060923080424]
160[Add new sub-directory indexed-types to the GHC testsuite
161[email protected]**20060923080330]
162[Add test for Hugs #37
163[email protected]**20060922175854]
164[Make it so that 'make boot' is optional in the testsuite
165Simon Marlow <[email protected]>**20060916075035
166 mk/wordsize.mk and timeout/timeout get built automatically if necessary.
167]
168[add boot to the all target
169Simon Marlow <[email protected]>**20060916071047]
170[add 'make boot' to the instructions
171Simon Marlow <[email protected]>**20060916071026]
172[Add a test for impredicative polymorphism
173[email protected]**20060918011234]
174[Add test for Trac #900
175[email protected]**20060917171358]
176[Tests for impredicative polymorphism
177[email protected]**20060917153347]
178[Add another type checker test
179[email protected]**20060917152456]
180[Add GADT test from Doaitse
181[email protected]**20060917152309]
182[Added test for ticket #902, deriving for GADTs which declare H98 types fails.
183[email protected]**20060915223811]
184[Fix up tests for unboxed tuples
185[email protected]**20060908094824]
186[Accept output on sparc-sun-solaris2
187Roman Leshchinskiy <[email protected]>**20060907083310]
188[Add stdout for expfloat test
189Ian Lynagh <[email protected]>**20060910150353]
190[Catch exceptions while cleaning rather than checking for existence first
191Ian Lynagh <[email protected]>**20060910145957
192 As well as being generally a good idea, os.access('foo') seems to return
193 true if foo.exe exists on Windows.
194]
195[Add cleaning for .exe files
196Ian Lynagh <[email protected]>**20060910144741]
197[Test expFloat# linking
198Ian Lynagh <[email protected]>**20060910133339]
199[More cleaning tidyups
200Ian Lynagh <[email protected]>**20060908215102]
201[Update the testsuite cleaning
202Ian Lynagh <[email protected]>**20060908130210]
203[update bytestring tests
204Don Stewart <[email protected]>**20060909111806]
205[Fix another use of result type signatures (this one was easy)
206[email protected]**20060908084257]
207[Alter source code of test, now that result type signatures do not bind type variables
208[email protected]**20060908083719]
209[Improved error locations
210[email protected]**20060908080302]
211[Add test for Trac 877
212[email protected]**20060907141624]
213[Accept output
214[email protected]**20060907105531]
215[Use a python timeout for the testsuite when we don't have a threaded RTS
216Ian Lynagh <[email protected]>**20060907113001]
217[Use Data.Map instead of Data.FiniteMap
218[email protected]**20060907105256]
219[More changes for scoped type variables
220[email protected]**20060907104106]
221[Revise tc103, in the light of the story for result type signatures
222[email protected]**20060907103227]
223[Accept output for ! kind
224[email protected]**20060907094039
225 
226 I'm not entirely sure of this bang-kind stuff, but in so far as it works
227 at all, this test is fine.  I guess I should look at the bang-kind stuff
228 again, as soon as the FC branch becomes the HEAD
229 
230]
231[Fix this test on a fast machine
232Simon Marlow <[email protected]>**20060907083932
233 The artificial loop wasn't running for long enough for a context
234 switch to happen, so the finalizer wasn't getting to run early enough.
235]
236[Tickle a bug in impredicative polymorphism
237[email protected]**20060907075656]
238[Update output
239[email protected]**20060907074820]
240[Accept output
241[email protected]**20060906211938
242 
243 These error messages (to do with failure in higher-rank situations)
244 are different, but probably no worse than before.
245 
246]
247[Add renamer test (qualified name in binding position)
248[email protected]**20060906204517]
249[accept output
250Simon Marlow <[email protected]>**20060905090412]
251[Add test for dependency analysis in type checking
252[email protected]**20060905105449]
253[improve conc039 a little bit, and omit it for threaded1
254Simon Marlow <[email protected]>**20060905082828]
255[omit conc036(threaded2)
256Simon Marlow <[email protected]>**20060904150015]
257[win-specific output not needed
258Simon Marlow <[email protected]>**20060901150449]
259[leave EXTRA_HC_OPTS for use on the command line
260Simon Marlow <[email protected]>**20060901135822]
261[fix for Windows
262Simon Marlow <[email protected]>**20060831132332]
263[add conc059
264Simon Marlow <[email protected]>**20060831090349]
265[accept
266Simon Marlow <[email protected]>**20060831085057]
267[fix up tests for Windows
268Simon Marlow <[email protected]>**20060830144428
269 threadDelay is not interruptible on Windows with the threaded RTS.
270 Work around it in conc014, conc015 and conc017, and add a new test for
271 this specific failure, and mark it as an expected failure for the
272 relevant cases.
273]
274[adapt these to work on Windows
275Simon Marlow <[email protected]>**20060830121158]
276[add skip_if_platform
277Simon Marlow <[email protected]>**20060830121121]
278[skip conc053 on Windows (registerDelay not supported)
279Simon Marlow <simonmar@microsoft.com>**20060830120949]
280[USETHREADS=0 by default unless you set THREADS explicitly
281Simon Marlow <simonmar@microsoft.com>**20060830122306
282 This means the testsuite works by default even if you have Python 2.2,
283 but will fail with Python 2.2 if you set THREADS.
284]
285[Add a test for length not causing a stack overflow (from #876)
286Ian Lynagh <igloo@earth.li>**20060829224845]
287[Add list002 to tests - seems to have got lost during the testsuite revamp
288Ian Lynagh <igloo@earth.li>**20060829224345]
289[Allow threading to be completely disabled with USETHREADS=0
290Ian Lynagh <igloo@earth.li>**20060829144159
291 I had to pull the global classes and instances out into their own module
292 as there was a catch-22: testlib needed to know if threading was enabled,
293 but we don't know that until we have gone through the argument, but going
294 through the arguments required changing things like config in testlib.
295]
296[Clean .hp files
297Ian Lynagh <igloo@earth.li>**20060829124729]
298[Allow the timeout to be given as a Makefile argument
299Ian Lynagh <igloo@earth.li>**20060829124359]
300[omit conc023 the non-threaded ways on Windows (see comment)
301Simon Marlow <simonmar@microsoft.com>*-20060829135821]
302[omit conc023 the non-threaded ways on Windows (see comment)
303Simon Marlow <simonmar@microsoft.com>**20060829135821]
304[ds052 not an expected failure any more
305Simon Marlow <simonmar@microsoft.com>**20060825150430]
306[update FFI syntax
307Simon Marlow <simonmar@microsoft.com>**20060825145839]
308[fix FFI syntax
309Simon Marlow <simonmar@microsoft.com>**20060825134227]
310[fix parse error
311Simon Marlow <simonmar@microsoft.com>**20060825133909]
312[cg025 needs regex-compat
313Simon Marlow <simonmar@microsoft.com>**20060825133349]
314[Don't use the threaded2 way when we don't support SMP
315Ian Lynagh <igloo@earth.li>**20060825004042]
316[fix old regex test, add two new ones
317Simon Marlow <simonmar@microsoft.com>**20060824140622]
318[Fix typo
319Esa Ilari Vuokko <ei@vuokko.info>**20060823202055]
320[update tests
321Don Stewart <dons@cse.unsw.edu.au>**20060823155147]
322[Driver: Add THREADS-support
323Esa Ilari Vuokko <ei@vuokko.info>**20060822213145]
324[Fix some THREADED-caused fails
325Esa Ilari Vuokko <ei@vuokko.info>**20060821230831]
326[Fix driver not to normalise output when using platform specific output files
327Esa Ilari Vuokko <ei@vuokko.info>**20060813124649]
328[accept output
329Simon Marlow <simonmar@microsoft.com>**20060823092224]
330[add test for Data/Fixed module, in libraries folder
331Ashley Yakeley <ashley@semantic.org>**20060823073948]
332[accept output
333Simon Marlow <simonmar@microsoft.com>**20060822102811]
334[accept output (improvements)
335Simon Marlow <simonmar@microsoft.com>**20060822102609]
336[Update output (remove "In the call...")
337simonpj@microsoft.com**20060818161412]
338[Update output
339simonpj@microsoft.com**20060818155640]
340[Add test for tagToEnum#
341simonpj@microsoft.com**20060816203023]
342[Two more tests
343simonpj@microsoft.com**20060815080606]
344[Update expected output
345simonpj@microsoft.com**20060814090354]
346[Add flag to test
347simonpj@microsoft.com**20060811142744]
348[More upated output
349simonpj@microsoft.com**20060811133858]
350[More updated output
351simonpj@microsoft.com**20060811133233]
352[Update test outpuot
353simonpj@microsoft.com**20060811131132]
354[Remove typecheck.testeq1.run.stdout
355simonpj@microsoft.com**20060811125001]
356[Comments in Makefile
357simonpj@microsoft.com**20060811123001]
358[This test now compiles without errors
359Simon Marlow <simonmar@microsoft.com>**20060811102354]
360[accept output
361Simon Marlow <simonmar@microsoft.com>**20060811101931]
362[base-1.0 ==> base-2.0
363Simon Marlow <simonmar@microsoft.com>**20060811101925]
364[base-1.0 ==> base-2.0
365Simon Marlow <simonmar@microsoft.com>**20060811101619]
366[accept output
367Simon Marlow <simonmar@microsoft.com>**20060811101428]
368[update FFI syntax
369Simon Marlow <simonmar@microsoft.com>**20060811100321]
370[expect fail for threaded2 way, fork isn't supported in SMP mode (yet)
371Simon Marlow <simonmar@microsoft.com>**20060811100315]
372[fix FFI syntax
373Simon Marlow <simonmar@microsoft.com>**20060811095918]
374[accept output
375Simon Marlow <simonmar@microsoft.com>**20060811095501]
376[Fix some Array.bounds calls to Array.getBounds
377Esa Ilari Vuokko <ei@vuokko.info>**20060809220653]
378[Add tests for incomplete-pattern warnings
379simonpj@microsoft.com**20060808144017]
380[Lazy patterns can't be unboxed (Trac 845)
381simonpj@microsoft.com**20060808135821]
382[Test error message (Trac 844)
383simonpj@microsoft.com**20060808133927]
384[Add tc206; edit a couple of others
385simonpj@microsoft.com**20060808091517]
386[Add test for overlapping pattern warnings for lazy patterns
387simonpj@microsoft.com**20060727154926]
388[Add a test for infix type constructors
389simonpj@microsoft.com**20060727154247]
390[Add test for unboxed fields in GADT record selectors
391kevind@bu.edu**20060802125121]
392[add new cabal test
393Simon Marlow <simonmar@microsoft.com>**20060727140657]
394[test fixes and new tests for package support
395Simon Marlow <simonmar@microsoft.com>**20060727140436]
396[accept output (improved error messages due to PrintUnqual changes)
397Simon Marlow <simonmar@microsoft.com>**20060727140124]
398[accept output
399Simon Marlow <simonmar@microsoft.com>**20060727134921]
400[add test for Ix bug
401Simon Marlow <simonmar@microsoft.com>**20060721100303]
402[document stage=2, and clean up a little.
403Simon Marlow <simonmar@microsoft.com>**20060710153547]
404[remove unused imports
405Simon Marlow <simonmar@microsoft.com>**20060616105302]
406[Test Trac bug #795
407simonpj@microsoft.com**20060703151859]
408[encorporate rest of property checks for Data.ByteString
409Don Stewart <dons@cse.unsw.edu.au>**20060702093816]
410[Add regress tests for fusion rules. Makes sure they fire, and rewrite to correct result
411Don Stewart <dons@cse.unsw.edu.au>**20060702090703]
412[Add model-based tests for ByteString.Lazy<=>ByteString<=>Data.list
413Don Stewart <dons@cse.unsw.edu.au>**20060702055523]
414[Accept output change
415simonpj@microsoft.com**20060626111936]
416[Add test for infix function definitions
417simonpj@microsoft.com**20060519103259]
418[Test for pattern type sigs in do-notation
419simonpj@microsoft.com**20060504142058]
420[add test from #799
421Simon Marlow <simonmar@microsoft.com>**20060623094712]
422[omit conc039 for threaded2
423Simon Marlow <simonmar@microsoft.com>**20060622092716]
424[robustify the test a little
425Simon Marlow <simonmar@microsoft.com>**20060622092148]
426[omit conc036 for GHCi
427Simon Marlow <simonmar@microsoft.com>**20060622091811]
428[add a prof/TH test
429Simon Marlow <simonmar@microsoft.com>**20060622090109]
430[accept output
431Simon Marlow <simonmar@microsoft.com>**20060622085217]
432[re-enable various tests with -threaded that now work
433Simon Marlow <simonmar@microsoft.com>**20060614144922]
434[fix this test to work propertly with -threaded
435Simon Marlow <simonmar@microsoft.com>**20060614144256]
436[Fix this test to work properly with -threaded
437Simon Marlow <simonmar@microsoft.com>**20060614144219]
438[test for NCG bug
439Simon Marlow <simonmar@microsoft.com>**20060606112614]
440[accept output
441Simon Marlow <simonmar@microsoft.com>**20060601123936
442 NOTE: I made a slight tweak to Alex to improve the lexical error messages,
443 to get correct output for these tests you need an updated Alex from darcs.
444]
445[disable ffi016 for GHCi
446Simon Marlow <simonmar@microsoft.com>**20060530095146]
447[first attempt at being boring
448Ashley Yakeley <ashley@semantic.org>**20060526070327]
449[Update expected output
450Don Stewart <dons@cse.unsw.edu.au>**20060525071135]
451[update expected output. tougher replicate test.
452Don Stewart <dons@cse.unsw.edu.au>**20060517020540]
453[accept output
454Simon Marlow <simonmar@microsoft.com>**20060508073357]
455[More QC tests. Update output
456Don Stewart <dons@cse.unsw.edu.au>**20060507042341]
457[More QC properties. Update output
458Don Stewart <dons@cse.unsw.edu.au>**20060506043305]
459[Add test for newtypes in FFI
460simonpj@microsoft.com**20060426183636
461 
462 The standard FFI says that newtypes are automatically unwrapped in
463 argument and result types.  This test checks that it also happens
464 for newtype-wrapping of the IO monad itself, a recent change to
465 GHC.
466 
467]
468[And add QC test for group/groupBy
469Don Stewart <dons@cse.unsw.edu.au>**20060501065658]
470[More QC properties, for fold{lr}1. Update expected output
471Don Stewart <dons@cse.unsw.edu.au>**20060430084252]
472[Import Data.ByteString regression tests
473Don Stewart <dons@cse.unsw.edu.au>**20060428122838]
474[avoid running out of stack
475Simon Marlow <simonmar@microsoft.com>**20060428083855]
476[test Bool arguments too
477Simon Marlow <simonmar@microsoft.com>**20060418144834]
478[Test for foralls to the right of =>
479simonpj@microsoft.com**20060418125116]
480[Test for error recovery in TH
481simonpj@microsoft.com**20060414120213]
482[forgot to add this file
483Simon Marlow <simonmar@microsoft.com>**20060413080300]
484[Add a test for SpecConstr + GADTs
485simonpj@microsoft.com**20060412153402]
486[Memo-function test
487simonpj@microsoft.com**20060410164304
488 
489 Checks that preInlineUnconditionally isn't to eager!
490 (If it is, this test goes exponential.)
491 
492]
493[add a test for a division bug in the NCG
494Simon Marlow <simonmar@microsoft.com>**20060412144627]
495[Add test for newtype deriving (thanks to Ross)
496simonpj@microsoft.com**20060402215709]
497[update for new source tree layout
498Simon Marlow <simonmar@microsoft.com>**20060410091202]
499[add a test for a blackhole GC bug
500Simon Marlow <simonmar@microsoft.com>**20060407101628]
501[the "threaded" way was renamed to "threaded1"/"threaded2"
502Simon Marlow <simonmar@microsoft.com>**20060407101619]
503[Track the GHC source tree reorganisation
504Simon Marlow <simonmar@microsoft.com>**20060407041720]
505[omit asm ways for this test on x86
506Simon Marlow <simonmar@microsoft.com>**20060407080546]
507[avoid running out of stack for non-optimised ways
508Simon Marlow <simonmar@microsoft.com>**20060407080032]
509[add test for ForeignPtrEnv
510Simon Marlow <simonmar@microsoft.com>**20060405160129]
511[omit ffi007 and ffi008 for GHCi (see comment for details)
512Simon Marlow <simonmar@microsoft.com>**20060405133421]
513[fix tests for Windows
514Simon Marlow <simonmar@microsoft.com>**20060404153133]
515[unnecessary mingw-specific output
516Simon Marlow <simonmar@microsoft.com>**20060404150047]
517[windows output
518Simon Marlow <simonmar@microsoft.com>**20060404145525]
519[crummy fix for Windows
520Simon Marlow <simonmar@microsoft.com>**20060404145128]
521[fix the expect_fail_if_windows macro
522Simon Marlow <simonmar@microsoft.com>**20060404144611]
523[Add scoped tyvar test
524simonpj@microsoft.com**20060327123134]
525[attempt to work around restrictions with fork() & pthreads
526Simon Marlow <simonmar@microsoft.com>**20060323134034
527 In the child process, call exec() directly instead of using
528 System.Cmd.system, which involves another fork()/exec() and a
529 non-blocking wait.  The problem is that in a forked child of a
530 threaded process, it isn't safe to do much except exec() according to
531 POSIX.  In fact calling pthread_create() in the child causes the
532 pthread library to fail with an error on FreeBSD.
533]
534[accept output (better error locations)
535Simon Marlow <simonmar@microsoft.com>**20060323102719]
536[fix to previous
537Simon Marlow <simonmar@microsoft.com>**20060323102523]
538[fcntl-FreeBSD
539stolz@i2.informatik.rwth-aachen.de**20060321165137
540 Expect failure of queryfdoption01 on FreeBSD (6/7): /dev/null                                                                                                   
541 can't be  switched to non-blocking i/o, so fcntl() will throw an error.
542 Unfortunately this went to the old CVS first.
543]
544[fix for GHCi tests that raise exceptions or exit
545Simon Marlow <simonmar@microsoft.com>**20060320124648
546 We need to call GHC.TopHandler.runIOFastExit instead of
547 GHC.TopHandler.runIO.  Recent fixes to the shutdown code have meant
548 that when a thread invokes shutdownHaskellAndExit(), other main
549 threads get a chance to exit (as they should), but this means that we
550 might have a race between the child thread trying to exit the program
551 and the main thread doing the same.  In the case of GHCi, if we're
552 running an interpreted computation that needs to exit (as some tests
553 do), then we really want this child thread to exit the program rather
554 than the main thread.
555]
556[sort the keys when outputting the summary
557Simon Marlow <simonmar@microsoft.com>**20060320114811]
558[fix a regex that was too slow
559Simon Marlow <simonmar@microsoft.com>**20060316163903]
560[ignore ".exe" in program output, for Windows
561Simon Marlow <simonmar@microsoft.com>**20060316155440]
562[fix for Win32
563Simon Marlow <simonmar@microsoft.com>**20060316154734]
564[remove some dead code
565Simon Marlow <simonmar@microsoft.com>**20060315114645]
566[Tidy up the testsuite output by combinding failures for multiple ways
567Simon Marlow <simonmar@microsoft.com>**20060315112501
568 
569 Before:
570    tc056(normal)
571    tc056(opt)
572    tc056(optasm)
573    tc056(prof)
574    tc056(profasm)
575    tc056(unreg)
576 
577 After:
578    tc056(normal,opt,optasm,prof,profasm,unreg)
579]
580[patch up this test again
581Simon Marlow <simonmar@microsoft.com>**20060314151844]
582[process003 doesn't work with GHCi, omit it
583Simon Marlow <simonmar@microsoft.com>**20060314151657]
584[fix clean target
585Simon Marlow <simonmar@microsoft.com>**20060314124525]
586[add test for #713
587Simon Marlow <simonmar@microsoft.com>**20060314121232]
588[Require -fallow-undecidable-instances
589simonpj@microsoft.com**20060223141727]
590[Test for deprecated constructors
591simonpj@microsoft.com**20060223141701]
592[Update output
593simonpj@microsoft.com**20060223135107]
594[Update output and add -fallow-undecidable-instances where necesssary
595simonpj@microsoft.com**20060223133629]
596[Add -fallow-undecidable-instances to reflect more accurate termination test in fundeps
597simonpj@microsoft.com**20060223133113]
598[Remove dependence on haskell98 package in expected output
599simonpj@microsoft.com**20060223130208]
600[Accept output
601simonpj@microsoft.com**20060223125845]
602[Add expected output for rn049
603simonpj@microsoft.com**20060223124018]
604[Accept (slightly mysterious) output formatting changes
605simonpj@microsoft.com**20060223123611]
606[Update output
607simonpj@microsoft.com**20060223123516]
608[Update output (TH no longer depends on haskell98 package)
609simonpj@microsoft.com**20060223123331]
610[Add a fundep loop test
611simonpj@microsoft.com**20060222101347]
612[add expected output for x86_64
613Simon Marlow <simonmar@microsoft.com>**20060223121322]
614[accept output
615Simon Marlow <simonmar@microsoft.com>**20060210151137]
616[remove smp way, replace threaded with threaded1/threaded2
617Simon Marlow <simonmar@microsoft.com>**20060210123325
618 
619 threaded1 = -threaded -debug
620 threaded2 = -O -threaded, and +RTS -N2 -RTS at runtime
621]
622[Add test for bug 685
623simonpj@microsoft.com**20060208160511]
624[Add test from Markus Lauer
625simonpj@microsoft.com**20060206084209]
626["s" is in GhcRTSWays now
627Simon Marlow <simonmar@microsoft.com>**20060208150646]
628[allow setting stage=N variable to select compiler in the testsuite
629Simon Marlow <simonmar@microsoft.com>**20060208140219]
630[Eta expand gzip test to match new higher-rank-type story
631simonpj@microsoft.com**20060202131654]
632[Fix GADT tests
633simonpj@microsoft.com**20060202130236]
634[New GADT desugaring test
635simonpj@microsoft.com**20060202124603]
636[Remove package lang reqt
637simonpj@microsoft.com**20060202102030]
638[Update to track improvements in typechecker
639simonpj@microsoft.com**20060201171451]
640[Update to track new scoped-tyvar story
641simonpj@microsoft.com**20060201171415]
642[Eta expansion and scoped type variables in generic code
643simonpj@microsoft.com**20060201171238
644 
645 The new story on higher-rank types requires a few functions to be
646 eta-expanded.  And the new scoped-type-variable story also forces
647 a few changes.
648 
649]
650[Add CPR test
651simonpj@microsoft.com**20060131164801]
652[remove old docs
653Simon Marlow <simonmar@microsoft.com>**20060201163734]
654[add test for bug #661
655Simon Marlow <simonmar@microsoft.com>**20060201130720]
656[fix recently-introduced breakage in 'make accept'
657Simon Marlow <simonmar@microsoft.com>**20060201115729]
658[Add a higher-kinded test
659simonpj@microsoft.com**20060131123016]
660[Add fundep test
661simonpj@microsoft.com**20060131115806]
662[Module import test
663simonpj@microsoft.com**20060131115404]
664[Wibble
665simonpj@microsoft.com**20060125140817]
666[Add test for bogus unusued-import message
667simonpj@microsoft.com**20060125090704]
668[[project @ 2006-01-19 09:47:11 by simonmar]
669simonmar**20060119094711
670 Test tryPutMVar on empty MVars too
671]
672[[project @ 2006-01-18 16:31:10 by simonmar]
673simonmar**20060118163112
674 Add a fast version of the testsuite
675 
676 The idea is to have a way to run as much of the testsuite as possible
677 in a short time, so that we'll run it more often (such as just before
678 checking in a change, for example).  'make fast' tries for good
679 coverage without using too many cycles.  Currently it takes about 4
680 minutes on a fast machine with an optimised GHC build; I think this
681 might still be a little on the slow side.
682 
683 When you say 'make fast' in testsuite/tests/ghc-regress, we run each
684 test only one way, and all of the long-running tests are omitted.
685 Also, to get the runtime down further, I arbitrarily omitted many of
686 the should_run tests (because these tend to take a lot longer than
687 should_compile or should_fail tests).  I tried to keep a
688 representative few in each category.
689]
690[[project @ 2006-01-18 15:25:45 by simonpj]
691simonpj**20060118152545
692 Add test for data con in class sig
693]
694[[project @ 2006-01-12 16:10:41 by simonmar]
695simonmar**20060112161041
696 Add test from ticket #488
697]
698[[project @ 2006-01-12 16:03:21 by simonmar]
699simonmar**20060112160321
700 add test from ticket #441
701]
702[[project @ 2006-01-10 14:39:50 by simonmar]
703simonmar**20060110143950
704 accept output
705]
706[[project @ 2006-01-10 14:11:53 by simonmar]
707simonmar**20060110141153
708 comment update
709]
710[[project @ 2006-01-10 14:11:24 by simonmar]
711simonmar**20060110141124
712 recode this file in UTF-8 from Latin-1
713]
714[[project @ 2006-01-10 13:41:48 by simonmar]
715simonmar**20060110134148
716 accept output (improved lexer error messages)
717]
718[[project @ 2006-01-09 12:49:28 by simonmar]
719simonmar**20060109124928
720 Add test case that causes a core-lint failure (cut down from
721 Encoding.hs in HEAD).
722]
723[[project @ 2006-01-09 10:29:44 by simonmar]
724simonmar**20060109102944
725 add a cmm lint failure
726]
727[[project @ 2006-01-09 10:27:33 by simonmar]
728simonmar**20060109102733
729 Add -dcmm-lint when compiling
730]
731[[project @ 2006-01-06 16:34:56 by simonmar]
732simonmar**20060106163456
733 Unicode source tests
734]
735[[project @ 2006-01-06 16:15:19 by simonpj]
736simonpj**20060106161519
737 Add another synonym-performance test (but comment it out of the test file; too slow!)
738]
739[[project @ 2006-01-06 16:14:45 by simonpj]
740simonpj**20060106161445
741 Better type signature for higher-rank
742]
743[[project @ 2006-01-06 16:12:42 by simonpj]
744simonpj**20060106161242
745 Add tests for boxy types
746]
747[[project @ 2006-01-06 16:08:57 by simonpj]
748simonpj**20060106160857
749 Add GADT tests
750]
751[[project @ 2006-01-06 16:03:25 by simonpj]
752simonpj**20060106160325
753 Cosmetic
754]
755[[project @ 2006-01-05 13:08:14 by simonpj]
756simonpj**20060105130814
757 Add a nasty multiple-instantiation test
758]
759[[project @ 2006-01-05 10:06:30 by simonpj]
760simonpj**20060105100630
761 Add test for newtype existential
762]
763[[project @ 2006-01-05 09:16:28 by simonmar]
764simonmar**20060105091628
765 Add test for "scavenge_stack" bug fixed in rev 1.16 of Exception.cmm
766]
767[[project @ 2006-01-04 11:50:44 by simonpj]
768simonpj**20060104115044
769 Add test for data con returning wrong type
770]
771[[project @ 2006-01-02 19:36:50 by jpbernardy]
772jpbernardy**20060102193650
773 minor cleanups
774]
775[[project @ 2006-01-01 21:46:31 by jpbernardy]
776jpbernardy**20060101214631
777 More tests for:
778   * Sets
779   * Non-structural equality
780   * Left-Bias
781   * Performance
782]
783[[project @ 2005-12-26 19:54:32 by jpbernardy]
784jpbernardy**20051226195432
785 Infrastructure for testing Data structures.
786  + some tests
787]
788[[project @ 2005-12-19 09:47:49 by simonpj]
789simonpj**20051219094749
790 Add test for trailing parens in GADT signatures
791]
792[[project @ 2005-12-16 16:03:02 by simonpj]
793simonpj**20051216160302
794 Add deriving for infix constructors
795]
796[[project @ 2005-12-16 14:56:50 by simonpj]
797simonpj**20051216145650
798 Add repeated-type-variable tests for instance constexts
799]
800[[project @ 2005-12-16 10:54:50 by simonmar]
801simonmar**20051216105450
802 TimeExts has gone away
803]
804[[project @ 2005-12-16 10:53:24 by simonmar]
805simonmar**20051216105324
806 update to not use hslibs
807]
808[[project @ 2005-12-16 10:50:31 by simonmar]
809simonmar**20051216105031
810 -package lang isn't required.
811]
812[[project @ 2005-12-16 10:46:05 by simonmar]
813simonmar**20051216104605
814 Now that we aren't building hslibs, keep the memo tests alive by
815 bringing Memo.hs into the testsuite.  These tests are a useful
816 shakedown for StableNames.
817]
818[[project @ 2005-12-13 16:04:25 by simonmar]
819simonmar**20051213160425
820 Add nested atomically test
821]
822[[project @ 2005-12-13 16:04:09 by simonmar]
823simonmar**20051213160409
824 fix comments
825]
826[[project @ 2005-12-09 19:17:57 by simonpj]
827simonpj**20051209191757
828 add output file
829]
830[[project @ 2005-12-09 19:16:58 by simonpj]
831simonpj**20051209191658
832 A minor, probably redundant, test
833]
834[[project @ 2005-12-05 11:43:51 by simonmar]
835simonmar**20051205114351
836 add newTVarIO test
837]
838[[project @ 2005-12-05 10:08:53 by simonpj]
839simonpj**20051205100853
840 Add an expected-failure test
841]
842[[project @ 2005-12-05 09:13:07 by simonpj]
843simonpj**20051205091307
844 Update expected output
845]
846[[project @ 2005-12-05 09:08:51 by simonpj]
847simonpj**20051205090851
848 Fix test
849]
850[[project @ 2005-12-02 10:56:34 by simonmar]
851simonmar**20051202105634
852 add this test that I had lying around
853]
854[[project @ 2005-12-02 10:54:05 by simonmar]
855simonmar**20051202105405
856 conc053 only works in threaded & smp ways at the moment.
857]
858[[project @ 2005-12-02 10:51:15 by simonmar]
859simonmar**20051202105115
860 accept output
861]
862[[project @ 2005-12-01 08:54:57 by simonpj]
863simonpj**20051201085457
864 Another GADT test
865]
866[[project @ 2005-11-30 14:17:35 by simonpj]
867simonpj**20051130141735
868 Add mkName test
869]
870[[project @ 2005-11-30 12:25:20 by simonmar]
871simonmar**20051130122520
872 Add test for Control.Concurrent.STM.registerDelay
873]
874[TAG Last rev before making ghc-6-4 branch
875John Goerzen <jgoerzen@complete.org>**20051128164635]
876[TAG Initial conversion from CVS complete
877John Goerzen <jgoerzen@complete.org>**20051128163910]
878Patch bundle hash:
879c5a49a58731de9f1a3b6c80c4a2982c9228054b0