Ticket #1005: bits_test.patch

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