New patches: [Update do notation tests Pepe Iborra **20071013224427 rebindable5 needs additional functional dependencies to typecheck now. Previously it typechecked because ghc was doing unreasonable assumptions when checking do notation rebindable6 cannot have an inferable type and is expected to fail. ] { hunk ./tests/ghc-regress/rebindable/all.T 15 -test('rebindable6', normal, compile_and_run, ['']) +test('rebindable6', should_fail, compile_and_run, ['']) hunk ./tests/ghc-regress/rebindable/all.T 17 -test('rebindable8', expect_broken(1537), compile, ['']) +test('rebindable8', normal, compile, ['']) hunk ./tests/ghc-regress/rebindable/rebindable5.hs 24 - class HasBind m n mn | m n -> mn where + class HasBind m n mn | m n -> mn, m mn -> n, n mn -> m where hunk ./tests/ghc-regress/rebindable/rebindable5.hs 29 - class HasSeq m n mn | m n -> mn where + class HasSeq m n mn | m n -> mn, m mn -> n, n mn -> m where hunk ./tests/ghc-regress/rebindable/rebindable5.hs 110 - + test_do :: IO a -> IO (Maybe b) -> IO b; } Context: [Test case for #1537 Pepe Iborra **20071013224351] [ccfail002: line number in error message changed Manuel M T Chakravarty **20071012003526] [Test for Trac #1680 simonpj@microsoft.com**20071011123331] [Update output simonpj@microsoft.com**20071011094241] [simpl019 now passes Manuel M T Chakravarty **20071011021815] [Test for Trac #1759 simonpj@microsoft.com**20071010165228] [Add test for Trac #1678, and update output for TH_exn2 simonpj@microsoft.com**20071010150147] [break025 now works (also, the test itself was broken) Simon Marlow **20071010085913] [break026 now works (#1743) Simon Marlow **20071009142739] [add tests for #1748 Simon Marlow **20071008131420] [I committed simpl019 too early; it's expected broken until I commit the patch simonpj@microsoft.com**20071005060837] [test case for #1743 Simon Marlow **20070927145830] [TypeFamilies: should_compile/GADT3 fixed Manuel M T Chakravarty **20071001154709] [TypeFamilies: should_compile/Simple20 Manuel M T Chakravarty **20070929140208] [TypeFamilies: should_compile/Simple19 (from #1729) Manuel M T Chakravarty **20070929122457] [Test for Trac #1746 simonpj@microsoft.com**20070929102000] [TypeFamilies: test boxy splitters Manuel M T Chakravarty **20070928225409] [updates to hReady001 (see comments in all.T) Simon Marlow **20070926161540] [driver027/driver028 need to use -fvia-C to expose a bug in -stubdir Simon Marlow **20070926134607] [Pass -ignore-dot-ghci to GHCi Simon Marlow **20070926115751] [GADT3: expect failure on the HEAD too (and add a ticket) Simon Marlow **20070926115138] [getTestDir() is slightly better than in_testdir('') Simon Marlow **20070926110920] [add expect_fail_ways_if_compiler_lt() Simon Marlow **20070926105327 somehow I forgot to add this yesterday, I'm mystified about where it went.. ] [fix framework failures Simon Marlow **20070926104206] [add test for #1734 Simon Marlow **20070926100425] [expect failure when using the NCG on x86 due to floating point differences Simon Marlow **20070926093642] [Add a test (pragma001) for #1736 Ian Lynagh **20070925224226] [ind2: expect fail for profc/profasm on the 6.8 branch Simon Marlow **20070925140351] [Simple12: expect failure on the 6.8 branch Simon Marlow **20070925140241] [GADT3: expect success for profc/profasm on the 6.8 branch Simon Marlow **20070925140111] [GMapAssoc, GMapTop: expect failures on the 6.8 branch Simon Marlow **20070925135758] [FIX #1254: avoid calling truncate when the result does not fit in the target type Simon Marlow **20070925123540] [expect success for arith008(profasm) on x86 Simon Marlow **20070925120429] [Add a test for changes to C files causing relinking Ian Lynagh **20070923181558] [tc236 fails for 6.8 Ian Lynagh **20070923162522] [Fix ffi018(ghci) when running from a different directory to the test Ian Lynagh **20070923122027] [Various testsuite helper functions like expect_broken_if_compiler_ge Ian Lynagh **20070921005354] [Failing tyfam test Roman Leshchinskiy **20070921041204 This one actually generates completely bogus Core which doesn't pass CoreLint. ] [Tests for Trac #1627 and #1718 simonpj@microsoft.com**20070920122829] [Add comment simonpj@microsoft.com**20070920065617] [Add test for exponential behaviour of type synonyms simonpj@microsoft.com**20070920065553] [Rename flag simonpj@microsoft.com**20070919171423] [Enhance tc236 slightly simonpj@microsoft.com**20070919143759] [Typechecker: tc237 (#1688) Manuel M T Chakravarty **20070919150347] [TyepFamilies: should_compile/Simple16 (#1713) Manuel M T Chakravarty **20070919121905] [Yet another failing TypeFamilies test Roman Leshchinskiy **20070919050412 This is actually a regression introduced by one of the recent patches. It used to work! ] [some expected outputs on openbsd Don Stewart **20070917002956] [Different output expected for this test on x86_64-unknown-openbsd Don Stewart **20070916233735] [TypeFamilies: fixed Simple12 Manuel M T Chakravarty **20070916130308] [Changed error message Manuel M T Chakravarty **20070915132236] [InstEqContext2 fails now Manuel M T Chakravarty **20070915075117 - This test fails with the overhauled rewrite rules. This is (judging from -ddump-tc-trace) not because the new rules implementation goes wrong, but because the old implementation left out some improvement and hence passed this test by accident. ] [Test nested forall types (thanks to Claus) simonpj@microsoft.com**20070914120121] [Test display of types in GHCi simonpj@microsoft.com**20070914092550] [eliminate ordering constraints Simon Marlow **20070913102520] [remove one more ordering dependency Simon Marlow **20070913095146] [remove ordering dependencies (see bug #158) Simon Marlow **20070913092236] [Allow files-to-cleanup to be attached to a test using extra_clean(files) Simon Marlow **20070913090215 This is better than a top-level clean() when using threads ] [remove ordering dependency Simon Marlow **20070913090120] [remove read001 -fglasgow-extss, it messed up THREADS=N and -fglasgow-exts is deprecated anyway Simon Marlow **20070913083621] [remove ordering dependency for ffi018 Simon Marlow **20070913082740] [i386/Linux output Simon Marlow **20070913080642] [Add failing TypeFamilies test Roman Leshchinskiy **20070914001844] [Accept output due to :print not using Show instances anymore Pepe Iborra **20070913104048] [GHCi debugger: add a test exercising -fprint-evld-with-show Pepe Iborra **20070913104044] [in test case for #1689, close files, just in case Tim Chevalier **20070913070713] [Test case for #1689 (openTempFile naming) Tim Chevalier **20070913065837] [a test to show that multiple calls correctly share a return address Norman Ramsey **20070911214518 to see the optimization at work, compile cps027.cmm with -fconvert-to-zipper-and-back -frun-cps ] [comments Simon Marlow **20070911115943] [TypeFamilies: added test exercising skolemOccurs Manuel M T Chakravarty **20070911024751] [add test for #1677 Simon Marlow **20070911090101] [TypeFamilies: change of error messages due to changed traversal order Manuel M T Chakravarty **20070910105621 - Just the usual indeterminism in HM. The messages are neither better nor worse. ] [Only run the tests from libraries that we have built Ian Lynagh **20070907182043 Fixes failures when you have unbuilt libraries in your validate tree. ] [accept output Simon Marlow **20070910124502] [Avoid Dyn exceptions in break024 Pepe Iborra **20070912094254 This ensures predictable output (when using :print) in any case ] [Accept output for break024 Pepe Iborra **20070911151531 :print no longer shows the contents of TypeRep values ] [Accept output Pepe Iborra **20070911103139] [Simplified break025 to better illustrate the problem, Pepe Iborra **20070911103039 and marked it as failing under ticket #1681 ] [#1669, these tests work now Pepe Iborra **20070910145827] [And another failing tyfam test Roman Leshchinskiy **20070910064951] [Yet another failing type families test Roman Leshchinskiy **20070910054249 Can't let Tom and Manuel catch up! ] [Two more failing type families tests Roman Leshchinskiy **20070907170232] [Accept improved error messages for some tcfail tests Manuel M T Chakravarty **20070907125223] [Simple9 is fixed Tom Schrijvers **20070906171931] [TypeFamilies: fixed Simple14 and added Simple15 Manuel M T Chakravarty **20070907101616] [this test should unregister the test packages afterward (fixes driver063) Simon Marlow **20070907151611] [Added tests break024 and break025 Pepe Iborra **20070907103330 for -fbreak-on-error and -fbreak-on-exception ] [break020 and break021 underline things in the wrong place; trac #1669 Ian Lynagh **20070906183806] [Accept some output Ian Lynagh **20070906180831] [Fixup bytestring tests to work with current QuickCheck and bytestring Duncan Coutts **20070906224533 Sadly requires that the internal Fusion module be exported from the bytestring package which is bad because that's not supposed to be part of the public api as we're just about to replace all the fusion internals. ] [Set os.environ['TERM'] = 'vt100' before running tests Ian Lynagh **20070906111420 Readline sometimes spews out ANSI escapes for some values of TERM, which result in test failures. ] [TypeFamilies: GADT8 is fixed Manuel M T Chakravarty **20070906115917] [accept output Simon Marlow **20070906104635] [test for bug #1465 (12 files, phew) Simon Marlow **20070906093345] [add test for qualified name printing Simon Marlow **20070906092814] [this test works now Simon Marlow **20070905102055] [Test now works Simon Marlow **20070905095825] [conc057 and conc068 have moved to the parallel package Simon Marlow **20070904112622] [omit tcrun022(ghci), since it relies on optimisation Simon Marlow **20070904111350] [make config.top an absolute path Simon Marlow **20070904111018] [Adapt test to new restrictions on type families Roman Leshchinskiy **20070906031023] [Track changes in deriving simonpj@microsoft.com**20070905170000] [A further failing type families test Roman Leshchinskiy **20070905140657] [And another failing type families test Roman Leshchinskiy **20070905094548] [Yet another failing type families test Roman Leshchinskiy **20070905072057] [Another failing type families test Roman Leshchinskiy **20070905053953] [Add dummy stderr file for panic test Roman Leshchinskiy **20070905014627] [tests for type family completion algorithm and higher order types Tom Schrijvers **20070904123638] [recursive equational class context Tom Schrijvers **20070904082041] [equational class context Tom Schrijvers **20070904075739 expect_fail is now normal because of bug fix ] [Add a test num014 for #1658: CSE [of Doubles] changes semantics Ian Lynagh **20070904134026] [add missing file Simon Marlow **20070904081814] [equality constraint encoding of functional dependency Tom Schrijvers **20070903100053 where the FD's LHS is empty: class C a | -> a The direct solution InstEqContext does not compile, but it probably should. There's an indirect solution InstEqContext2 which does work. ] [arrowcase1 is now fixed Ian Lynagh **20070903202148 By: Mon Sep 3 07:10:44 PDT 2007 Ross Paterson * FIX for #1080 Arrow desugaring now uses a private version of collectPatBinders and friends, in order to include dictionary bindings from ConPatOut. ] [add test for #1648 Simon Marlow **20070903143046] [don't try to run hp2ps if the program failed with exit(>127) Simon Marlow **20070903135513] [add 64-bit output Simon Marlow **20070903115437] [Test for type families related panic Roman Leshchinskiy **20070903054450 The test program should be rejected but not with a panic. I haven't added a .stderr file because I don't know what the error message should be. ] [Failing type families/GADT test Roman Leshchinskiy **20070903053249] [Add a failing type families test Roman Leshchinskiy **20070903052641] [Tom Schrijvers' type family tests Manuel M T Chakravarty **20070831120431] [TypeFamilies: Numerals test Manuel M T Chakravarty **20070831065628] [Fix outofmem on MacOS Roman Leshchinskiy **20070903030211 The error message is different ] [add test for out-of-memory Simon Marlow **20070831084445] [skip readwrite002 on Windows, it now hangs following fix to inputReady.c Simon Marlow **20070830131300] [TypeFamilies: accept some slightly improved error messages Manuel M T Chakravarty **20070830223035] [TypeFamilies: test for decidable tyfam instances Manuel M T Chakravarty **20070830144724] [Adapting some breakXYZ tests to sorted output Manuel M T Chakravarty **20070830011021] [Add a test for #1375 (ByteString’s “lines” eats empty lines) Ian Lynagh **20070829174618] [Marked as expected failures for now Pepe Iborra **20070830102439] [Add two new tests for the debuggger involving .boot modules Pepe Iborra **20070830093423] [Add a new RTTI test Pepe Iborra **20070829182100] [Accept slightly different output in some breakXYZ tests Manuel M T Chakravarty **20070829072143] [fix this test on Windows Simon Marlow **20070829090202] [add test for #1593 Simon Marlow **20070828102508] [cc013 works now Simon Marlow **20070828102433] [TypeFamilies: check arity of type instances Manuel M T Chakravarty **20070828065551] [Changes necessary for type family patch Manuel M T Chakravarty **20070828055140 - Mostly changed error messages - 'while' needs another type annotation due to changed rules as to what annotations are required for GADTs. ] [Revert a hack now that the buildds will make a gcc-lib directory on Windows Ian Lynagh **20070826133900] [tcrun021 needs -package containers Ian Lynagh **20070826125805] [dynamic002 needs -package packedstring now Ian Lynagh **20070826124918] [conc068 needs parallel Ian Lynagh **20070826123041] [conc057 needs the parallel library Ian Lynagh **20070826122117] [Update array test output Ian Lynagh **20070826120644 Unfortunately safeIndex is too polymorphic to be able to show the index or the bounds when we have a bad index. ] [Update tests now that #1384 is fixed Ian Lynagh **20070826013926 #1384 = Exporting a module that isn't imported doesn't fail ] [Fix the expected output for derefnull and divbyzero on Windows Ian Lynagh **20070824215351] [add test for part of #1372 Simon Marlow **20070801153944] [fix syntax errors Simon Marlow **20070823143236] [count a syntax error in a .T file as a framework failure Simon Marlow **20070823142714] [Windows-specific output no longer required Simon Marlow **20070823111653] [getDirContents001 needs -fno-gen-manifest Simon Marlow **20070822075924] [Stop the timeout calibration ever returning 0 Ian Lynagh **20070821135055] [A couple more GADT/type families tests Roman Leshchinskiy **20070821020029] [Another type families/gadt test Roman Leshchinskiy **20070820034301] [Type families: adapt to improved error messages Manuel M T Chakravarty **20070820022251] [Type families: Infix works now Manuel M T Chakravarty **20070819114220] [Another type families test Roman Leshchinskiy **20070820020658] [Type families: "Kind" is now working Manuel M T Chakravarty **20070819072814] [Add a test ghci021 for trac #1565 Ian Lynagh **20070818152229] [Add a test ghci020 for trac #1587 Ian Lynagh **20070818151943] [Two more indexed types tests Roman Leshchinskiy **20070817070131] [Types families: Refl suceeds without tyfam patch Manuel M T Chakravarty **20070816102443] [Synonym family problem with higher-kinded families Manuel M T Chakravarty **20070816101137] [Another indexed types testcase Roman Leshchinskiy **20070814025630 It exhibits a regression in the type functions patch. ] [Document and fix expected failure code for derefnull and divbyzero Ian Lynagh **20070812133550] [Follow the base split Ian Lynagh **20070803180545] [Update the bytestring tests for the bytestring package Ian Lynagh **20070728221246] [Update standalone deriving test, and add a failure test Ian Lynagh **20070810223439] [Accept changes (mostly paren removal) Ian Lynagh **20070810194402] [adjust some tests Pepe Iborra **20070829085735] [Remove an old readme-like file Pepe Iborra **20070829085712] [Added tests for :steplocal and :stepmodule Pepe Iborra **20070828115403] [Accept output Pepe Iborra **20070828103240] [Aad test break020 for :stepover Pepe Iborra *-20070814164406] [Accept output due to changes in :history Pepe Iborra **20070814164438] [Aad test break020 for :stepover Pepe Iborra **20070814164406] [Test Trac #1606 simonpj@microsoft.com**20070810090346] [Another indexed type families test Roman Leshchinskiy **20070810042859 As before, this is against a patch which isn't in the HEAD yet. ] [Tests for indexed type synonyms Roman Leshchinskiy **20070810034436 The tests expose bugs in an implementation of indexed type families which hasn't been pushed to the HEAD yet. They are all marked as expect_fail. ] [FIX ghci019 Roman Leshchinskiy **20070810014947 Wrong line numbers in expected output ] [Trac #736 is fixed simonpj@microsoft.com**20070809115038] [Test for Trac #1037 simonpj@microsoft.com**20070804174231 ] [Test for Trac #1581 simonpj@microsoft.com**20070804173506] [Use -XGADTs rather than -X=GADTs Ian Lynagh **20070804211442] [Follow flag changes Ian Lynagh **20070804202839] [Add tests for catching exceptions on Windows Ian Lynagh **20070803183530] [Add exit_code_if_platform functions to the testlib Ian Lynagh **20070803183449] [Docs have moved to the wiki Ian Lynagh **20070803123118] [cabal01: we need --with-ld=$(LD) for Windows Simon Marlow **20070803075231] [Define and use rawSystem in the testsuite driver and the driver tests Ian Lynagh **20070802223037 spawnlp doesn't exist in Windows, so this avoids using it. ] [Add "composes" to the driver docs Ian Lynagh **20070802170508] [Testsuite driver doc updates Ian Lynagh **20070802170343] [Add test for record wildcards simonpj@microsoft.com**20070802112227] [Update (previously buggy) output simonpj@microsoft.com**20070802111053] [Update expected output simonpj@microsoft.com**20070802102954] [Add test for Trac #1564 simonpj@microsoft.com**20070801132235] [The galois_raytrace test requires the parsec package Ian Lynagh **20070727145721] [skip read023 (see #1215 and comment in all.T) Simon Marlow **20070724130810] [Add a test for copyFile Ian Lynagh **20070722133715] [Tell the testsuite what exeext is Ian Lynagh **20070721224708] [Fix cabal01 to work on Windows Ian Lynagh **20070721215854] [Share the pwd program between tests Ian Lynagh **20070721215816] [Make a non-profiling version of test cabal01 Ian Lynagh **20070721133457] [Add a test for trac #1322 (ghc --make recompiles hs-boot files unnecessarily) Ian Lynagh **20070719112628] [Fix the haddock tests when going via C Ian Lynagh **20070719000840 We need to have a header which claims the foreign imports we do are for entities that actually exist. Otherwise the C compiler complains. ] [maessen_hashtab is broken (trac #1546) Ian Lynagh **20070718125422] [Skip the GHCi debugger tests when unregisterised (trac #1545) Ian Lynagh **20070718122042] [Adding compile_and_run_with_prefix and multimod_compile_and_run_with_prefix as test-fns. andy@galois.com**20070718045107] [Update drvfail008 output (flag name change) Ian Lynagh **20070717014132] [Skip the concio tests when fast, as we don't really want to hang around for 2s Ian Lynagh **20070717013425] [Bump the delay for concio from 0.45 to 1s Ian Lynagh **20070717013241 It wasn't long enough on thorkil's Mac. Should really do something based on the calibration value or something, I guess. ] [Skip break017 if fast (bit of a hack; just to make the validate script work) Ian Lynagh **20070714224728] [Add a test for bug 1533 (currently broken) Ian Lynagh **20070713131013] [concio001: give the process a tiny little bit more time in the Makefile Manuel M T Chakravarty **20070713042705 - Although the test passed when run by itself, it did sometimes fail with validate as the timing just didn't work out on a loaded machine. ] [ffi012: stdcall doesn't work on MacOS #1524 Manuel M T Chakravarty **20070711101641] [concio001: account for constant overhead of threadDelay on MacOS Manuel M T Chakravarty **20070711092149 - See also #1523 ] [Really remove an obsolete test (print015) Pepe Iborra **20070720070312] [Accept output Pepe Iborra **20070714155344] [dynbrk005: update with expected output Pepe Iborra **20070713110121 The test is still expected to fail, as there is some implementation work to be done here ] [break014: accept output and unfail Pepe Iborra **20070713103724] [Added a new :print test Pepe Iborra **20070712135224] [remove an obsolete test Pepe Iborra **20070712100713 The script was using Data.Set to test handling of unboxed fields by :print, but some change in Data.Set or in ghc has made fromList more strict and the :print pprinter never gets to show the unboxed fields itself. Moreover, print022 is a much better test for unboxed fields than this one ] [Accept output Pepe Iborra **20070712085231] [Unfail some :print tests Pepe Iborra **20070711102423] [Follow error message changes Ian Lynagh **20070710152155] [Remove tcfail111; duplicate of tcfail098 Ian Lynagh **20070709215509] [Tweak tcfail098; we aren't interested in the undecidability error Ian Lynagh **20070709215427] [Add a test for -XPartiallyAppliedClosedTypeSynonyms Ian Lynagh **20070709181508] [add test for #1505 Simon Marlow **20070709210632] [Fix this test to work with shells that don't have {..} globbing Simon Marlow **20070709200946 e.g. the /bin/sh on my Ubuntu 7.04 system ] [Accept output (more flag name changes) Ian Lynagh **20070709165029] [Add tests for -XPolymorphicComponents Ian Lynagh **20070709120331] [readwrite002 is expect_broken_if_platform(1198,'i386-unknown-mingw32') Simon Marlow **20070709113801] [reqlib now uses subprocess (when it's available) Ian Lynagh **20070709105014 Fixes a problem where /dev/null doesn't exist on mingw. ] [Accept output (following error message changes) Ian Lynagh **20070708193947] [Tests for -XFunctionalDependencies Ian Lynagh **20070708153251] [Add tests for -XRecursiveDo Ian Lynagh **20070708150546] [Tests for -XGeneralizedNewtypeDeriving Ian Lynagh **20070708144456] [Add tests for -XParallelListComp Ian Lynagh **20070708134210] [Add tests for -XMultiParamTypeClasses Ian Lynagh **20070708122732] [Tests for KindSignatures Ian Lynagh **20070708120837] [Tests for EmptyDataDecls extension Ian Lynagh **20070708112938] [Add tests for magic hashes (trac #1297) Ian Lynagh **20070708110956] [Fix calibrate python script for non-UNIX machines Ian Lynagh **20070707213542] [Fall back to os.spawnv is we don't have the subprocess module Ian Lynagh **20070707212648] [add prof_hb way Simon Marlow **20070627090524] [clean up the extra_ways machinery Simon Marlow **20070627090515] [add the profiling ways to config.other_ways Simon Marlow **20070627084700] [make prof001 and prof002 into compile_and_run tests, to test #1472 Simon Marlow **20070707191638] [Add a test for -fdisambiguate-record-fields (trac #1401) Ian Lynagh **20070707183413] [tcfail093 now succeeds, so has no stderr Ian Lynagh **20070707102012] [tc232 requires mtl Ian Lynagh **20070707101215] [Use subprocess.call rather than os.spawnv in the testsuite driver Ian Lynagh **20070706121450 os.spawnv is broken on non-cygwin Windows (looks like it goes via a shell). ] [drv015 should fial simonpj@microsoft.com**20070706095331] [tcfail093 should succeed simonpj@microsoft.com**20070706094731] [Added tests for Cmm and CPS (they are currently skipped) Michael D. Adams **20070706092548 Also the test driver doesn't understand 'cmm' files so something will have to be written before these tests can even run. ] [tcfail140 is expect_broken(451) Simon Marlow **20070706081157] [ffi-deriv1 is broken(736) Simon Marlow **20070705140311] [Add test for Trac #1494 simonpj@microsoft.com**20070704215436] [fix testblockalloc for THREADS=2 Simon Marlow **20070704154139] [accept output Simon Marlow **20070704135029] [gadt23: $MAKE needs --no-print-directory Simon Marlow **20070704134516] [add test for #1131 Simon Marlow **20070704104931] [Test for Trac #1456 simonpj@microsoft.com**20070703161621] [don't reset MAKEFLAGS in recursive make in 'make fast' Simon Marlow **20070703123426 It breaks some tests on Windows, because the stage=2 setting is lost in the recursive call. I don't understand why these variables are passed in MAKEFLAGS on Windows (cygwin) but not on Unix, something to do with environment variables presumably. ] [accept output Simon Marlow **20070703105758] [accept output Simon Marlow **20070703103912] [Update output simonpj@microsoft.com**20070629161308] [Add test for Trac #1465 simonpj@microsoft.com**20070629115325] [Type families: more overlap checks Manuel M T Chakravarty **20070629071438] [Type families: test type family with higher kinded parameters Manuel M T Chakravarty **20070629065523] [Type families: tests excluding type families in left hand sides Manuel M T Chakravarty **20070629064019] [Type families: test for tau typeness of rhs of type instances Manuel M T Chakravarty **20070629052042] [Type families: tests for overlap check of type families Manuel M T Chakravarty **20070629043820] [Add test for Trac #1445 simonpj@microsoft.com**20070628083059] [Types families: test that the right coercion names go into ifaces Manuel M T Chakravarty **20070627104656] [Type families: add test case for deriving of assoc data families Manuel M T Chakravarty **20070627055147] [make this test a bit more robust (hopefully) Simon Marlow **20070626092843] [Add a test (tc229) for trac #1406 Ian Lynagh **20070624191431] [Add a test for trac #1287: SPECIALIZE causes panic Ian Lynagh **20070624172733] [Allow the "< /dev/null" when running tests to be disabled Ian Lynagh **20070623205213 The user001 test in the unix package can fail when stdin comes from a file. ] [Accept output (tcfail145) Ian Lynagh **20070623195449] [Accept output (read008) Ian Lynagh **20070623194707] [getC now works (trac 1430 is fixed) Ian Lynagh **20070623192346] [Mark ghci debugger tests broken Ian Lynagh **20070623175217] [Test for Trac #1402 simonpj@microsoft.com**20070621165221] [Fix flaggery simonpj@microsoft.com**20070621163321] [Test for Trac #1386 simonpj@microsoft.com**20070621163308] [Update expected output (mostly concerning deriving) simonpj@microsoft.com**20070620102719] [tcrun032 was using an un-documented (and now not implemented) feature of 'deriving' simonpj@microsoft.com**20070620102522] [Remove tcfail105.stderr; tcfail105 is now an expected pass! simonpj@microsoft.com**20070620102303] [no .bat scripts any more Simon Marlow **20070621102024] [Test for Trac #1430 simonpj@microsoft.com**20070619163127] [Output reordering in debugger tests Ian Lynagh **20070618103251] [Update ghci debugger output order Ian Lynagh **20070617215040] [tcfail046,tcfail169,tcfail118 are broken; trac #1432 Ian Lynagh **20070617001116] [rnfail028 is currently broken; trac #1384 Ian Lynagh **20070616223140] [We expect getC to be broken: trac #1430 Ian Lynagh **20070616221450] [tcfail177 is expected to fail; trac #1176 Ian Lynagh **20070616211731] [Accept prog003 output Ian Lynagh **20070616204139 Also added some extra prints to make it clearer what's happening ] [ghci debugger output reordering Ian Lynagh **20070616200222] [Accept output reorderings in ghci debugger tests Ian Lynagh **20070616195730] [Accept output for TH_exn2 Ian Lynagh **20070616194758] [accept output Simon Marlow **20070614111147] [move par tests to the parallel package Simon Marlow **20070614092328] [add 32-bit output for num012 Simon Marlow **20070614091546] [Test 11 double arguments instead of 6 (see #1424) Simon Marlow **20070613144542] [test various kinds of heap profile Simon Marlow **20070613124435] [add extra_ways, for adding running a test in more ways Simon Marlow **20070613124318] [add more profiling ways, to test different kinds of heap profile Simon Marlow **20070613121954] [fix this test Simon Marlow **20070608104457] [expect more failures for ffi009 on x86 Simon Marlow **20070608104150] [Split newtype deriving test from other deriving tests Manuel M T Chakravarty **20070608044250] [fix this test Simon Marlow **20070607095334] [more expected failures for arith012 Simon Marlow **20070607094022] [accept output Simon Marlow **20070607093924] [arith008 fails for some more ways now that the NCG is used by default Simon Marlow **20070607093505] [Add test for #1385 simonpj@microsoft.com**20070606131053] [Add comments about runCmd simonpj@microsoft.com**20070606094820] [Test for Trac #1396 Michael D. Adams **20070531154432] [Test for Trac #1382 simonpj@microsoft.com**20070530082341] [add negative-prim-literal tests Isaac Dupree **20070526224405 the first for behavior common between their new and old parsings (passes both), the second to test the new behavior (fails before, passes after) ] [#1318: pre-emptively add test for Haskell98 treatment of operator "-" Isaac Dupree **20070526143814] [Add parser/should_run Isaac Dupree **20070526143151] [Update (incorrect) test output with '....'s Ian Lynagh **20070527213056] [Accept output (missing-main error changed) Ian Lynagh **20070527212624] [1332 is now fixed, so tc224 is passing again Ian Lynagh **20070527211601] [Use -v0 in TH tests to avoid package versions getting into stderr Ian Lynagh **20070527210126] [Use -v0 when doing test rnfail043 Ian Lynagh **20070527203004 This avoids version numbers of packages being in the output. ] [Accept output (missing-main error has changed) Ian Lynagh **20070527202508] [Accept output (missing-main error has changed) Ian Lynagh **20070527202333] [par001 requires the parallel library Ian Lynagh **20070527200931] [Accept output (source spans) Ian Lynagh **20070527184303] [remove unreg "way"; unreg is now all-or-nothing Simon Marlow **20070525081742] [Accept output (source spans) Ian Lynagh **20070519104909] [Accept output (... doesn't replace a constructor any more) Ian Lynagh **20070519103641] [Two tests for newtypes & :print added Pepe Iborra **20070618080252] [Accept output Pepe Iborra **20070519215040] [ignore the .ghci file if present in the ghci debugger tests Pepe Iborra **20070519211700] [add a test for printing unboxed fields Simon Marlow **20070518141526] [arith011 is no longer broken on x86-64 Linux Simon Marlow **20070518115502] [Accept output (src span) Ian Lynagh **20070517164019] [bio001 needs profiling Ian Lynagh **20070517163214] [Accept output (source spans) Ian Lynagh **20070517162651] [move dynbk tests into scripts/ and update them Simon Marlow **20070517092220] [move STM-specific tests to the stm package Simon Marlow **20070517085909] [make this test work a bit more reliably Simon Marlow **20070517085853] [add missing files Simon Marlow **20070517082938] [add another exception test Simon Marlow **20070516133922] [move the break* tests into scripts/, and update as necessary Simon Marlow **20070516095924] [move break1 to scripts/break012 Simon Marlow **20070516090710] [add missing source file Simon Marlow **20070516083636] [add missing source files for tests Simon Marlow **20070516082958] [accept output and add a few more tests Simon Marlow **20070515132532] [-findexed-types -> -ftype-families Manuel M T Chakravarty **20070514115132] [add test for #1277 Simon Marlow **20070511145720] [Adapt indexed type tests to removal of newtype families Manuel M T Chakravarty **20070511113521] [Various indexed types tests fail due to trac #1331 Ian Lynagh *-20070505155605] [Add tests for -fwarn-implicit-prelude (and -fwarn-unused-imports along with it) (trac #1317) Isaac Dupree **20070508221238] [add a couple more tests Simon Marlow **20070509133022] [add test for unicode constructor names in :print Simon Marlow **20070509104517] [Add test for full laziness simonpj@microsoft.com**20070509113038] [accept output Simon Marlow **20070508144310] [FIX #1159: This test needs to run in a subthread (see comments) Simon Marlow **20070508130950] [add test for #1227 Simon Marlow **20070508105325] [add test for #1253 Simon Marlow **20070507132429] [add test for #1091 Simon Marlow **20070507113903] [add basic concurrency/IO test: tests that stdin is non-blocking Simon Marlow **20070507124521] [platform-specific output no longer required Simon Marlow **20070417080859] [Add a test that 'ghc -e "return ()"' returns successfully Ian Lynagh **20070506113229] [Arrow tests are failing core lint; trac #1333 Ian Lynagh **20070505190414] [sed-o in the testsuite driver Ian Lynagh **20070505190353] [dsrun014 is broken (trac #1257, Bytecode generator can't handle unboxed tuples) Ian Lynagh **20070505172037] [tc224 (overloaded strings) is broken; trac #1332 Ian Lynagh **20070505161813] [Various indexed types tests fail due to trac #1331 Ian Lynagh **20070505155605] [Accept output (mdofail004) Ian Lynagh **20070505153527] [Church2 is broken; trac #1330 Ian Lynagh **20070505152441] [Accept output Ian Lynagh **20070505150128] [Accept output Ian Lynagh **20070505123344] [Accept output Ian Lynagh **20070505120131] [Add output Ian Lynagh **20070505115657] [Accept output Ian Lynagh **20070505114604] [Partially accept output Ian Lynagh **20070505113746] [Accept output Ian Lynagh **20070505113048] [Accept output for tcfail004 Ian Lynagh **20070505105852] [Track ... pretty-printer changes Ian Lynagh **20070505105355] [stm is no longer a corelib, so needs to be reqlib'ed now Ian Lynagh **20070505004835] [Don't dump stderr/stdout before we've split the ghci output Ian Lynagh **20070505004802 Fixes some framework failures. ] [Fix spec001 test Ian Lynagh **20070505001103] [Accept output Ian Lynagh **20070505000818] [Accept output Ian Lynagh **20070504235810] [maessen_hashtab needs QuickCheck Ian Lynagh **20070504235518] [regex tests need regex-posix, which is no longer a corelib Ian Lynagh **20070504232505] [Fix comment Ian Lynagh **20070504230405] [skip cabal02 (cabal-setup isn't in the GHC tree any more) Ian Lynagh **20070504220048] [Don't hardcode the version of base in the tests Ian Lynagh **20070504215708] [Accept output for tcfail005 Ian Lynagh **20070504092957] [cg025 requires regex-compat, which is now an extralib Ian Lynagh **20070503225622] [Test for Trac #1251 simonpj@microsoft.com**20070504111134] [Add test for Trac #1323 simonpj@microsoft.com**20070504075616] [Revert mistaken change to all.T simonpj@microsoft.com**20070504073843] [Use letters to allow output to be matched up with the code more easily Ian Lynagh **20070503192604] [Remove redundant arch-specific test files Ian Lynagh **20070503192139] [Accept output Ian Lynagh **20070503191615] [update: we give a diagnostic for an incorrect number in :delete now Simon Marlow **20070503151724] [add a history test Simon Marlow **20070503151700] [add a :list test Simon Marlow **20070503150446] [add a test to demonstrate a new bug Simon Marlow **20070503131223] [accept output Simon Marlow **20070503094206] [add correct output now this test is fixed Simon Marlow **20070430110058] [Add test for Trac #1255 simonpj@microsoft.com**20070503075022] [Add test for records and type families simonpj@microsoft.com**20070503073838] [Accept output Pepe Iborra **20070430171655] [Adapt some breakpoint tests to the new command syntax Pepe Iborra **20070430171643] [add test for a new assertion failure Simon Marlow **20070427144739] [modify test to reproduce a new bug Simon Marlow **20070426153744] [add another test, and accept some output Simon Marlow **20070426152639] [Fix the test I just added Pepe Iborra **20070426101615 :break qsort sets a breakpoint in the outer expression, before any variable has been bound. Once you :step the things are bound ] [Added a :break test Pepe Iborra **20070426085538] [Disable the monomorphism restriction warnings in all tests Pepe Iborra **20070426084918] [Accept output Pepe Iborra **20070425175248] [add some :show bindings Simon Marlow **20070425130058] [add test for a new bug Simon Marlow **20070425130031] [this test requires an extra :step now Simon Marlow **20070425125920] [New test covering bug discovered by Nicolas Frisby in TcUnify.boxySplitTyConApp simonpj@microsoft.com**20070424124702] [move some dynbrk tests into the scripts/ directory Simon Marlow **20070423152829] [add dynbrk tests, and a few more breakpoint tests Simon Marlow **20070423152031] [Add test suggested by Doaitse Swierestra simonpj@microsoft.com**20070418145918] [Adapt commands to the new ghci debugger command-set Pepe Iborra **20070420170414] [Accept output Pepe Iborra **20070420170311] [Update output Ian Lynagh **20070417151616] [Add a test for use of fail for trac #1265 Tyson Whitehead **20070410140653] [Differentiate between use of fail and failure of code (i.e., an exception is thrown) Tyson Whitehead **20070410140308] [Use $(PYTHON) rather than assuming python will find it Ian Lynagh **20070417130516] [Generate conc068 input in a more portable manner Thorkil Naur **20070417063754 The earlier method with 'yes .. | head ..' does not work on PPC Mac OS X. ] [TAG 2007-04-17 Ian Lynagh **20070417125057] [Close 2 files that we open so we know that the writes have actually happened Ian Lynagh **20070416225010] [cabal01 needs profiling Ian Lynagh **20070416221129] [MERGE: Make conc056 independent of the network package Simon Marlow **20070416101202 Should make the test more robust, we were seeing failures in the nightly builds. ] [conc063 should exit(0) now Simon Marlow **20070416100847] [TAG 2007-04-14 Ian Lynagh **20070414110652] [Set some esc tests to skip_unless_tag('esc') Ian Lynagh **20070413234046] [Allow tests to be skipped based on whether or not the compiler has a tag Ian Lynagh **20070413233859 When working on a new foo extension, you can now put your tests in the testsuite, set ProjectTags=-foo in mk/build.mk and skip_unless_tag('foo') in the tests. ] [break1 and break4 are broken due to trac #1275 Ian Lynagh **20070413213209] [add one more example nx200@cam.ac.uk**20070413172149] [added a few more examples nx200@cam.ac.uk**20070413164522] [Except some output changes Ian Lynagh **20070413183008] [Give an ASCII representation of the PPM output Ian Lynagh **20070408180814 We will need to do some sort of similarity test to cope with FP differences, but this will at least let us see what differences we need to accommodate. ] [Give more output while running conc068 Ian Lynagh **20070413180859] [Print stdout/stderr when we get a bad result Ian Lynagh **20070413180412] [Add tests for OPTIONS pragmas applying to the wrong files Ian Lynagh **20070411222135] [added TestList TestImport nx200@cam.ac.uk**20070405173814] [More ppr tests Ian Lynagh **20070407122412 The name +_0 is a bit dubious. ] [Increase the FP fudge factor (0.000001 -> 0.00001) Ian Lynagh **20070407113910] [Calibrate == calibrate on Windows... Ian Lynagh **20070406001033] [Use $(PYTHON) to run calibrate, rather than relying on it finding python itself Ian Lynagh **20070405193027] [Avoid FP differences with cholewo-eval Ian Lynagh **20070405153241] [Remove redundant Main.hs (there's a Main.lhs too) Ian Lynagh **20070405151602] [barton-mangler-bug shouldn't have FP difference problems any more Ian Lynagh **20070405144929] [Check float values are within a small tolerance inside barton-mangler Ian Lynagh **20070405142508 Saves the test from failing due to small FP differences. ] [Calibrate the testsuite timeout if a value of -1 is given Ian Lynagh **20070405133331] [Add a test that checks pretty-printed TH output looks right Ian Lynagh **20070405114005] [MERGE: Another attempt to make mod{144,146,158,160,165} generate consistent output Simon Marlow **20070404103634 On some platforms $MAKE == "gmake", so the error messages still didn't match. I made it so that these tests now don't fail in make, but the exit code from GHC is emitted to stderr so we can test it. ] [ghci015 should ignore output (see comment) Simon Marlow **20070403112228] [Accept test output Ian Lynagh **20070401211751] [IsString and fromString are in Data.String now Ian Lynagh **20070401211027] [tc217/220/223 need mtl Ian Lynagh **20070401210909] [Remove generated file Ian Lynagh **20070401210528] [Update rnfail040 output Ian Lynagh **20070401210413] [Update output with new, friendlier error Ian Lynagh **20070401205626] [Consistent output for tests Ian Lynagh **20070401205455] [Add some -v0s to cabal01; cabal still isn't being quiet enough, though Ian Lynagh **20070401203313] [Accept output Ian Lynagh **20070401202323] [Check stderr output before stdout output Ian Lynagh **20070401202156] [On failure, diff the normalised test outputs Ian Lynagh **20070401202024] [Time how long is spent on each .T file Ian Lynagh **20070331115228] [Make our own pwd, so we don't get confused by paths on cygwin Ian Lynagh **20070330184246] [Update test output Ian Lynagh **20070401190122] [Test for RULES type-matching simonpj@microsoft.com**20070330140952] [There is no opt way any more simonpj@microsoft.com**20070330140914 Use optc, optasm instead. ] [Add rnfail047, test for trac #924 Ian Lynagh **20070331123429] [Use unified, rather than context, diffs Ian Lynagh **20070330134203] [added more examples nx200@cam.ac.uk**20070327135214] [add test for #1219 Simon Marlow **20070327103851] [TH_dataD1/1193 is no longer broken, but is meant to fail Ian Lynagh **20070324003644] [Test for Trac #1031 simonpj@microsoft.com**20070316151633] [Add test for Trac #1221 simonpj@microsoft.com**20070314122854] [Add another renamer test nhc98 used to fail Ian Lynagh **20070315001153] [Another renamer test that nhc98 used to fail on Ian Lynagh **20070314190837] [Add a renamer test (nhc98 used to fail it) Ian Lynagh **20070314185736] [Fix gadt23 test Ian Lynagh **20070311214714] [Add a test gadt23 from Christophe Poucet Ian Lynagh **20070311195336] [Don't hide the Makefile commands Ian Lynagh **20070311195207 The testsuite uses -s to hide them, and this way we can see what's happening when running make by hand. ] [added contract synonym test case again nx200@cam.ac.uk**20070309173451] [added contract synonym test case nx200@cam.ac.uk**20070309172201] [on Windows, use the .bat versions of the inplace scripts Simon Marlow **20070308131540 This will help the Cabal tests to work (although there are still more issues to fix). ] [add test for #986 Simon Marlow **20070306155450] [Add a test (TH_reifyDecl2) for trac #1199 Ian Lynagh **20070306130708] [Test ghci018 for ghci running splices multiple times (trac #1201) Ian Lynagh **20070306125155] [Don't hide what the Makefile is doing in prog006 Ian Lynagh **20070305195516] [newtype, prof001, prof002 require profiling Ian Lynagh **20070305184129] [ghci014 needs QuickCheck Ian Lynagh **20070305174521] [cabal02 is broken on Windows; trac #1196 Ian Lynagh **20070305171757] [cabal01 is broken on Windows; trac #1196 Ian Lynagh **20070305171411] [TH_spliceE5_prof needs profiling Ian Lynagh **20070305155703] [MERGED: Add req_profiling to the driver Ian Lynagh **20070305160444] [Posix tests moved to the unix package Simon Marlow **20070305145343] [tree requires mtl Ian Lynagh **20070304215516] [tcfail126 requires mtl Ian Lynagh **20070304214547] [tc183 depends on mtl Ian Lynagh **20070304213805] [Print something to stderr when a timeout happens Ian Lynagh **20070304212955 Also fixes whitespace. ] [reify requires mtl Ian Lynagh **20070304210343] [pkg02_b requires network Ian Lynagh **20070304195629] [Decouple more tests from each other so CLEANUP mode works Ian Lynagh **20070304194218] [More tweaks Ian Lynagh **20070304193526] [Tweaks Ian Lynagh **20070304192457] [Decouple mod158 from mod157 so it works in CLEANUP mode Ian Lynagh **20070304192411] [Make mod144/mod146 work in CLEANUP mode Ian Lynagh **20070304191539] [mod133 needs mtl Ian Lynagh **20070304184609] [Make ghcpkg03 not depend on haskell-src Ian Lynagh **20070304174635] [Make ghcpkg01 not depend on haskell-src Ian Lynagh **20070304174511] [drvfail006 and drvfail008 need mtl Ian Lynagh **20070304172853] [Increase the stack size for conc030 as the profiling way was failing Ian Lynagh **20070304171748] [TH_dataD1 is currently broken Ian Lynagh **20070304165220] [Add pretty-print test simonpj@microsoft.com**20070301114342] [Add tests for -keep-s-file with and without --make Simon Marlow **20070301095725 One of these fails with 6.6 ] [prof001 & prof002 are not broken now Simon Marlow **20070228155129] [Windows: the .ps file is .exe.ps Simon Marlow **20070228120254] [Add testcase from trac #1171 as cg059 Ian Lynagh **20070226232635] [Test for derivign simonpj@microsoft.com**20070221170740] [Tests for Trac #1154 simonpj@microsoft.com**20070221170642] [Add a test for :quit and breakpoints in code with exception handlers Pepe Iborra **20070221161548] [remove network tests, they're moving to the network package Simon Marlow **20070221142519] [Look for .T files in packages too Simon Marlow **20070221140708 This means we can put package-specific tests in the repository for the package, rather than putting them in the testsuite. There should be a .T file to go with the tests, in the same way as for other tests in the testsuite (but this could be in addition to a standalone test driver that works with Cabal's 'setup test'). ] [temp: omit conc063 on Windows to avoid hanging the build Simon Marlow **20070221091925] [make this test deterministic on a multiprocessor Simon Marlow **20070220142305] [conc058 is not an expected failure any more on Windows Simon Marlow **20070220140410] [use HsInt64 instead of int64_t, fixes this test on Windows (and is more correct) Simon Marlow **20070220140137] [Test for Trac #1128 simonpj@microsoft.com**20070220174634] [Add test for Trac #1153 simonpj@microsoft.com**20070219175015] [minor change nx200@cam.ac.uk**20070220165110] [modified all.T nx200@cam.ac.uk**20070220153016] [added new tests to esc nx200@cam.a.cuk[3~d**20070220151847] [add Windows output Simon Marlow **20070220095533] [we should really exit(0) at the end of main() Simon Marlow **20070220095402] [make this test slightly more robust (fix occasional failure with threaded2) Simon Marlow **20070220093206] [rename GHC_PKG -> LOCAL_GHC_PKG to avoid clash with mk/test.mk Simon Marlow **20070220092011] [Add test for type refinement with :print in GHCi Pepe Iborra **20070218200426] [Update test dynbk001 due to new functionality in :break add Pepe Iborra **20070216202112] [Accept output Pepe Iborra **20070216201850] [accept output Simon Marlow **20070215093749] [only do win32002 on Windows Simon Marlow **20070215092806 ] [add test for bug #1010 Simon Marlow **20070214122124] [update way names (fix breakage in previous patch to this file) Simon Marlow **20070209123135] [Accept output Pepe Iborra **20070206191610] [Add tests for impredicativity simonpj@microsoft.com**20070206174555] [Add test for Trac #1128 simonpj@microsoft.com**20070206165846] [Expect tests to fail if we don't have libraries that they use Ian Lynagh **20070206142600] [Option to skip ways when running the testsuite Ian Lynagh **20070206012212] [Add tests for the Haddock extension davve@dtek.chalmers.se**20070203171220] [Don't put double-quotes around the command when passing it to timeout Simon Marlow **20070202170026 Fixes the testsuite on Cygwin/MSYS using Cygwin Python. I hope it hasn't broken it using the native Python... if it has, we'll need to revisit. I can't see a good reason for the quotes, anyway. ] [Accept output Pepe Iborra **20070202113202] [Add a test from #418 Ian Lynagh **20070131134818] [Ignore output when told to in the ghci way Ian Lynagh **20070131134800] [Test for debugging code with unlifted values around Pepe Iborra **20070131104727] [Add test for infix type constructor simonpj@microsoft.com**20070130161053] [add test for bug #036 Simon Marlow **20070130101059] [accept output Simon Marlow **20070130100659] [add a test for #896 Simon Marlow **20070129125049] [Add a hugs import bug to the testsuite Ian Lynagh **20070128220946 From http://www.haskell.org/pipermail/hugs-bugs/2007-January/001686.html ] [Add a test for trac #1012: Problems with TH and recursive module imports Ian Lynagh **20070124172850] [Check flags in OPTIONS_GHC pragma only apply to the module they're in Ian Lynagh **20070123143755] [now that -O implies -fasm, not -fvia-C, we must explicitly test -fvia-C Simon Marlow **20070123115104] [Add the overloaded string test case to the list. lennart@augustsson.net**20070120174619] [Add a test case for overloaded strings. lennart@augustsson.net**20070120163645] [Remove an obsolete test Pepe Iborra **20070120160816 Breakpoint coalescing is disabled for now ] [Accept output Pepe Iborra **20070119112219] [fixes to the ignore-output patch Simon Marlow **20070116093510] [Remove unused import Ian Lynagh **20070115142215] [Add a test for trac #1042 Ian Lynagh **20070115141941] [Add test for Trac #1092 simonpj@microsoft.com**20070113220518] [Test for tabs warning Ian Lynagh **20070112164823] [Add a test for associated types and interface files simonpj@microsoft.com**20070111084226] [Add another GADT test simonpj@microsoft.com**20070109134628] [Add GADT terminating-lambda test (due to Jim Apple) simonpj@microsoft.com**20070108121107] [oops, fix bogosity in "ignore_output should be a test option" Simon Marlow **20070108141423] [tests for #1047 Simon Marlow **20070105135621] [ignore_output should be a test option Simon Marlow **20070105135600] [add test for #1067 Simon Marlow **20070105123546] [indexed types, should_fail: added missing .stderrs and adapted to new error messages Manuel M T Chakravarty **20070105011706] [indexed types: fixed expected fails for should_compile Manuel M T Chakravarty **20070105010317] [indexed types: extend Deriving to cover standalone derive Manuel M T Chakravarty **20070104013049] [Add a fundep test, due to Yitzchak Gale simonpj@microsoft.com**20070103160336] [Add test for floating strict bindings simonpj@microsoft.com**20070103150833] [Fixed TH problem simonpj@microsoft.com**20070103121341] [Add more GADT tests, this time concerning contexts in data constructors simonpj@microsoft.com**20070103113657] [No pattern matching on GADTs except if type is rigid simonpj@microsoft.com**20070103101715 GHC currnently will only pattern-match on a GADT if the scrutinee type is rigid. It's kind-of possible to mactch a wobbly scrutinee if all the case alternatives can be made compatible, but that seems a rare case. So for now, I'm just making it illegal. ] [More test-suite updates simonpj@microsoft.com**20070103095506] [Fix sundry test failures (some of Trac #1054) simonpj@microsoft.com**20070103094207] [Update expected output simonpj@microsoft.com**20070102162011] [Add stand-alone deriving test simonpj@microsoft.com**20070102161944] [Add test for deriving Typeable simonpj@microsoft.com**20070102151607] [Add test for trac #1051 Ian Lynagh **20061224125949] [Add test TH_dataD1 for trac #1065 Ian Lynagh **20061223172536] [Add a test for returning Int64s through the FFI Ian Lynagh **20061222141536] [Fix conc063 tharris@microsoft.com**20061221151529] [Add test for trac #455 Ian Lynagh **20061221024356] [fail -> broken Ian Lynagh **20061219235527] [fail -> broken Ian Lynagh **20061219234644] [whitespace change only Ian Lynagh **20061219231544] [fail -> broken Ian Lynagh **20061219231503] [fail -> broken Ian Lynagh **20061219215850] [indexed type: deriving indexed newtypes Manuel M T Chakravarty **20061219212552] [fail -> broken Ian Lynagh **20061219203622] [Stop skipping tests that work Ian Lynagh **20061219195406] [Remove skip of ffi003 on alpha-dec-osf3 (no reason given) Ian Lynagh **20061216164552] [indexed types: deriving test Manuel M T Chakravarty **20061218210544] [Update a readme file Pepe Iborra **20061217004749] [Fix a ghci.debugger test Pepe Iborra **20061217004617] [Go back to using $(PYTHON) rather than hardcoding python2.5 Ian Lynagh **20061216154727] [Fix mdo test pepeiborra@gmail.com**20061208175837] [Accept output pepeiborra@gmail.com**20061208174426] [Improved a test pepeiborra@gmail.com**20061208171701] [Added more tests with newtypes pepeiborra@gmail.com**20061208171620] [More tests for the closure viewer pepeiborra@gmail.com**20061201143348] [Accept output pepeiborra@gmail.com**20061130122221] [Test type reconstruction in presence of newtypes pepeiborra@gmail.com**20061130122145] [Accepted output pepeiborra@gmail.com**20061128222435] [accept output pepeiborra@gmail.com**20061121100425] [Advances in the test suite pepeiborra@gmail.com**20061117150137] [Some more tests for the ghci.debugger Pepe Iborra **20060827115413] [GHCi.debugger tests Pepe Iborra **20060824180602] [indexed types: adding missing files Manuel M T Chakravarty **20061215160008] [cg057 broken: trac #948. Also fix whitespace. Ian Lynagh **20061215155212] [Add a composes function to the driver Ian Lynagh **20061215155106] [Mark tests in trac #1054 as broken Ian Lynagh **20061215130656] [Simple2 randomly passes or fails; mark broken so we know which bug it is Ian Lynagh **20061215121729] [tc215 is broken: trac #366 Ian Lynagh **20061215013527] [Accept output Ian Lynagh **20061215013411] [simplrun006 is broken: trac #149 Ian Lynagh **20061215013213] [read032 is broken: trac #314 Ian Lynagh **20061215013159] [prof001 and prof002 are broken (trac #249) Ian Lynagh **20061215011151] [More infrastructure for 'broken' Ian Lynagh **20061215011040] [Accept output Ian Lynagh **20061215005910] [mod174/mod175 are broken: trac bugs #414 and #437 Ian Lynagh **20061215005846] [Fix braino Ian Lynagh **20061215005024] [tc175 / trac #179 fixed Ian Lynagh **20061215004506] [ghci016 is broken: trac #552 Ian Lynagh **20061215004246] [Accept output; we now get info for both type and constructor Ian Lynagh **20061215003935] [Accept output Ian Lynagh **20061215003128] [ds060 and ds061 are broken: trac #322, #851 Ian Lynagh **20061215002315] [accept output Ian Lynagh **20061215002009] [countReaders001 is broken - trac #629 Ian Lynagh **20061215001419] [Set MAKEFLAGS= in recursive make call on make fast Ian Lynagh **20061215000533 base0 was failing because of the extra noise make was generating. ] [Accept output Ian Lynagh **20061214235120] [arith011 is broken on amd64 Linux; trac #1052 Ian Lynagh **20061214234903] [add 'broken' variant of expect_broken_if_platform Ian Lynagh **20061214234836] [Accept output Ian Lynagh **20061214183402] [Mark TH_recompile as broken Ian Lynagh **20061214183349] [Start ok 'broken' infrastructure Ian Lynagh **20061214183323] [testblockalloc: run the threaded way with -I0, so it doesn't try to GC Simon Marlow **20061214155927] [add test for the block allocator Simon Marlow **20061214155419] [add support for tests consisting of a C source file Simon Marlow **20061214155406] [Accept output simonpj@microsoft.com**20061213164601] [You can now have an MVar with a polymorphic contents simonpj@microsoft.com**20061213164538] [Add tc222, tests for Trac 981 simonpj@microsoft.com**20061213164500] [Add kind-error test inspired by a message from David Roundy simonpj@microsoft.com**20061211163639] [Add test for Trac #1033 simonpj@microsoft.com**20061211162749] [Add bang-pattern test simonpj@microsoft.com**20061211161900 Fixes Trac #1041 ] [Check running ghci with -hide-package haskell98 works. Tests trac #1001. Ian Lynagh **20061209190118] [indexed types: type instance indexes my all be type variables Manuel M T Chakravarty **20061207224216] [add test for #1013 Simon Marlow **20061207151459] [indexed types: adapted two tests to omitted sigs in ATs Manuel M T Chakravarty **20061206222005] [indexed types: kind sigs can be omitted from ATs Manuel M T Chakravarty **20061206203025] [Accept output for tc040 simonpj@microsoft.com**20061129110642] [Add test for typechecking lazy pattern matching simonpj@microsoft.com**20061129104518] [Add test ThreadDelay001: check threadDelay sleeps as long as it is asked to Ian Lynagh **20061128204457] [Tests for implicit parameters, and for a specialisation bug simonpj@microsoft.com**20061124122028] [Remove control-Ms simonpj@microsoft.com**20061124102054] [Skip out lots of the middle numbers in cg058 as the test was taking too long Ian Lynagh **20061124001809 The test still shows up the problem in hugs. ] [Test that deriving Data does not get confused with z-encoding simonpj@microsoft.com**20061123084805] [Add tcfail171 simonpj@microsoft.com**20061122173629] [Tests for Trac #289 simonpj@microsoft.com**20061110150517] [Add two GADT tests for Trac #301, fixed by implication constraints simonpj@microsoft.com**20061110145707] [New GADT tests, looking at interaction with type classes simonpj@microsoft.com**20061110140407] [Accept output simonpj@microsoft.com**20061110140251] [Add the Faxen test for completeness of type inference simonpj@microsoft.com**20061110140209] [Two new typechecker tests that exploit implication constraints simonpj@microsoft.com**20061110135942] [Add 64-bit stdout for simplrun007 Ian Lynagh **20061120141304] [Add tests for bitshift PrelRules Samuel Bronson **20061116142723] [getDirContents001 hp2ps testing fix Ravi Nanavati **20060928205710 This tweaks the getDirContents001 testcase to ignore the .ps and .aux files that might be generated by hp2ps if testing of hp2ps via GhostScript is enabled. Please include in the 6.6 branch as well as HEAD. ] [add tests for heap profiles and hp2ps ravi@bluespec.com**20060918210845] [Add test for trac #953: panic in ghci for lseek ffi import statement Ian Lynagh **20061112162606] [Remove "Arbitrary (Maybe a)" instances to track changes in QuickCheck Ian Lynagh **20061112141944] [Add tests for Data.List.intercalate (ticket #971) Josef Svenningsson **20061102122958] [test rotates larger than the wordsize Simon Marlow **20061107094606] [Add test for unused imports simonpj@microsoft.com**20061106161323] [Added tests for Data.List.intercalate and split Josef Svenningsson *-20061022135817] [Add test for unused imports simonpj@microsoft.com**20061102121702] [Add test for Trac #963 simonpj@microsoft.com**20061101173907] [Add a simple coverage-condition test simonpj@microsoft.com**20061101123555] [Add test for Trac 958 simonpj@microsoft.com**20061101122052] [Added tests for Data.List.intercalate and split Josef Svenningsson **20061022135817] [removing .tix files before running tests andy@galois.com**20061025202427] [Adding a new way for hpc andy@galois.com**20061025201846] [indexed types: small tests covering important cases Manuel M T Chakravarty **20061023005347] [indexed types: GMap tests Manuel M T Chakravarty **20061022203334] [indexed types: import/export test Manuel M T Chakravarty **20061022182045] [indexed types: multi-module overlap check Manuel M T Chakravarty **20061022180131] [Partitioned indexed-types tests into fail/compile/run dirs Manuel M T Chakravarty **20061022174019] [Add test ds061 for trac #851 (incomplete pattern warnings wrong with n+k pats) Ian Lynagh **20061021153928] [Add test tc216 for trac #816 (fundep undecidable-instances typechecking loop) Ian Lynagh **20061021120628] [Add test gadt20 for trac #810 (GHC fails to find GADT instances) Ian Lynagh **20061021020142] [Add test getEnvironment01 for trac #781 (check getEnvironment doesn't break) Ian Lynagh **20061020215050] [Add test tcfail168 for trac #719 (error messages are too long sometimes) Ian Lynagh **20061020191818] [Add test countReaders001 for trac #629 (file locking doesn't count readers) Ian Lynagh **20061020165449] [Add test ghci016 for trac #552 (ghci doesn't handle defaults correctly). Ian Lynagh **20061020153239] [Add test TH_recompile for trac #481 (Recompilation check fails for TH) Ian Lynagh **20061020145617] [Add test mod175 for trac 437 (Recompilation check should include flags) Ian Lynagh **20061020140355] [Add test mod174 for trac #414 (GHC does not enforce that Main exports main) Ian Lynagh **20061020131224] [Tests for trac #366 (incomplete pattern warnings and GADTs) Ian Lynagh **20061019182440] [Add test ds060 for trac #322 (bogus overlapping patterns warnings) Ian Lynagh **20061019163244] [Update comments in test tcfail132 Ian Lynagh **20061019155000] [Add a test for trac #314 (#line pragmas not respected inside nested comments) Ian Lynagh **20061019154907] [Update module tests slightly simonpj@microsoft.com**20061018122727] [Test for Trac #940 simonpj@microsoft.com**20061018095608] [Add tests for trac#249 and #931 Ian Lynagh **20061013151233] [Add test for correct unlitting. Tests trac #210. Ian Lynagh **20061013131602] [Allow literate tests Ian Lynagh **20061013131542] [Update bug reference for test tc175 Ian Lynagh **20061013123021] [Test for #149 (missed CSE opportunity) Ian Lynagh **20061012200213] [Test for trac #921 Ian Lynagh **20061011135910] [Fix test base01 Ian Lynagh **20061010102524] [STM invariants tharris@microsoft.com**20061007123151] [Add a test for 'module M' in export lists simonpj@microsoft.com**20061006143248] [Test for scoped type variables simonpj@microsoft.com**20061005132851] [Test separate compilation with indexed types Roman Leshchinskiy **20061005081706] [Two new tricky deriving tests simonpj@microsoft.com**20061003082615] [Add test for Trac #919 simonpj@microsoft.com**20061003081555] [Need -fglasgow-exts for gadt18 Ian Lynagh **20060924171441] [Allow testsuite to run under MSYS/MinGW using native Python (not Cygwin Python). brianlsmith@gmail.com**20060917010602 This patch is based on a similar one "Enable timeout in Windows and don't require cygwin python" by Esa Ilari Vuokko. It seems like timeout is always built on Windows so I rearranged the logic there to make the code clearer, Esa's patch required the user to uncomment the MinGW-specific logic in order for it to work; this patch does not have the MinGW-specific logic commented out. I tested this on the trunk in Ubuntu 6.06 on i686 (VMWare). I tested this on the trunk and ghc-6.6 branch on Windows i686. ] [accept output Simon Marlow **20060929101912] [add test for #906 Simon Marlow **20060928145539] [add test for #830 Simon Marlow **20060928145442] [Add a test for trac #867 Ian Lynagh **20060927225225] [A new GADT test, which killed FC temporarily simonpj@microsoft.com**20060927125644] [Test for problem with compiling the base package with --make Ian Lynagh **20060926205447] [Added drv020, a test for newtype deriving of multi-parameter type classes which currently makes HEAD panic. bjorn@bringert.net**20060924195626 It is called drv020 in order not to clash with some yet to be pushed test cases for stand-alone deriving. ] [Add another GADT test simonpj@microsoft.com**20060923080543] [Accept typechecker output simonpj@microsoft.com**20060923080424] [Add new sub-directory indexed-types to the GHC testsuite simonpj@microsoft.com**20060923080330] [Add test for Hugs #37 simonpj@microsoft.com**20060922175854] [Make it so that 'make boot' is optional in the testsuite Simon Marlow **20060916075035 mk/wordsize.mk and timeout/timeout get built automatically if necessary. ] [add boot to the all target Simon Marlow **20060916071047] [add 'make boot' to the instructions Simon Marlow **20060916071026] [Add a test for impredicative polymorphism simonpj@microsoft.com**20060918011234] [Add test for Trac #900 simonpj@microsoft.com**20060917171358] [Tests for impredicative polymorphism simonpj@microsoft.com**20060917153347] [Add another type checker test simonpj@microsoft.com**20060917152456] [Add GADT test from Doaitse simonpj@microsoft.com**20060917152309] [Added test for ticket #902, deriving for GADTs which declare H98 types fails. bjorn@bringert.net**20060915223811] [Fix up tests for unboxed tuples simonpj@microsoft.com**20060908094824] [Accept output on sparc-sun-solaris2 Roman Leshchinskiy **20060907083310] [Add stdout for expfloat test Ian Lynagh **20060910150353] [Catch exceptions while cleaning rather than checking for existence first Ian Lynagh **20060910145957 As well as being generally a good idea, os.access('foo') seems to return true if foo.exe exists on Windows. ] [Add cleaning for .exe files Ian Lynagh **20060910144741] [Test expFloat# linking Ian Lynagh **20060910133339] [More cleaning tidyups Ian Lynagh **20060908215102] [Update the testsuite cleaning Ian Lynagh **20060908130210] [update bytestring tests Don Stewart **20060909111806] [Fix another use of result type signatures (this one was easy) simonpj@microsoft.com**20060908084257] [Alter source code of test, now that result type signatures do not bind type variables simonpj@microsoft.com**20060908083719] [Improved error locations simonpj@microsoft.com**20060908080302] [Add test for Trac 877 simonpj@microsoft.com**20060907141624] [Accept output simonpj@microsoft.com**20060907105531] [Use a python timeout for the testsuite when we don't have a threaded RTS Ian Lynagh **20060907113001] [Use Data.Map instead of Data.FiniteMap simonpj@microsoft.com**20060907105256] [More changes for scoped type variables simonpj@microsoft.com**20060907104106] [Revise tc103, in the light of the story for result type signatures simonpj@microsoft.com**20060907103227] [Accept output for ! kind simonpj@microsoft.com**20060907094039 I'm not entirely sure of this bang-kind stuff, but in so far as it works at all, this test is fine. I guess I should look at the bang-kind stuff again, as soon as the FC branch becomes the HEAD ] [Fix this test on a fast machine Simon Marlow **20060907083932 The artificial loop wasn't running for long enough for a context switch to happen, so the finalizer wasn't getting to run early enough. ] [Tickle a bug in impredicative polymorphism simonpj@microsoft.com**20060907075656] [Update output simonpj@microsoft.com**20060907074820] [Accept output simonpj@microsoft.com**20060906211938 These error messages (to do with failure in higher-rank situations) are different, but probably no worse than before. ] [Add renamer test (qualified name in binding position) simonpj@microsoft.com**20060906204517] [accept output Simon Marlow **20060905090412] [Add test for dependency analysis in type checking simonpj@microsoft.com**20060905105449] [improve conc039 a little bit, and omit it for threaded1 Simon Marlow **20060905082828] [omit conc036(threaded2) Simon Marlow **20060904150015] [win-specific output not needed Simon Marlow **20060901150449] [leave EXTRA_HC_OPTS for use on the command line Simon Marlow **20060901135822] [fix for Windows Simon Marlow **20060831132332] [add conc059 Simon Marlow **20060831090349] [accept Simon Marlow **20060831085057] [fix up tests for Windows Simon Marlow **20060830144428 threadDelay is not interruptible on Windows with the threaded RTS. Work around it in conc014, conc015 and conc017, and add a new test for this specific failure, and mark it as an expected failure for the relevant cases. ] [adapt these to work on Windows Simon Marlow **20060830121158] [add skip_if_platform Simon Marlow **20060830121121] [skip conc053 on Windows (registerDelay not supported) Simon Marlow **20060830120949] [USETHREADS=0 by default unless you set THREADS explicitly Simon Marlow **20060830122306 This means the testsuite works by default even if you have Python 2.2, but will fail with Python 2.2 if you set THREADS. ] [Add a test for length not causing a stack overflow (from #876) Ian Lynagh **20060829224845] [Add list002 to tests - seems to have got lost during the testsuite revamp Ian Lynagh **20060829224345] [Allow threading to be completely disabled with USETHREADS=0 Ian Lynagh **20060829144159 I had to pull the global classes and instances out into their own module as there was a catch-22: testlib needed to know if threading was enabled, but we don't know that until we have gone through the argument, but going through the arguments required changing things like config in testlib. ] [Clean .hp files Ian Lynagh **20060829124729] [Allow the timeout to be given as a Makefile argument Ian Lynagh **20060829124359] [omit conc023 the non-threaded ways on Windows (see comment) Simon Marlow *-20060829135821] [omit conc023 the non-threaded ways on Windows (see comment) Simon Marlow **20060829135821] [ds052 not an expected failure any more Simon Marlow **20060825150430] [update FFI syntax Simon Marlow **20060825145839] [fix FFI syntax Simon Marlow **20060825134227] [fix parse error Simon Marlow **20060825133909] [cg025 needs regex-compat Simon Marlow **20060825133349] [Don't use the threaded2 way when we don't support SMP Ian Lynagh **20060825004042] [fix old regex test, add two new ones Simon Marlow **20060824140622] [Fix typo Esa Ilari Vuokko **20060823202055] [update tests Don Stewart **20060823155147] [Driver: Add THREADS-support Esa Ilari Vuokko **20060822213145] [Fix some THREADED-caused fails Esa Ilari Vuokko **20060821230831] [Fix driver not to normalise output when using platform specific output files Esa Ilari Vuokko **20060813124649] [accept output Simon Marlow **20060823092224] [add test for Data/Fixed module, in libraries folder Ashley Yakeley **20060823073948] [accept output Simon Marlow **20060822102811] [accept output (improvements) Simon Marlow **20060822102609] [Update output (remove "In the call...") simonpj@microsoft.com**20060818161412] [Update output simonpj@microsoft.com**20060818155640] [Add test for tagToEnum# simonpj@microsoft.com**20060816203023] [Two more tests simonpj@microsoft.com**20060815080606] [Update expected output simonpj@microsoft.com**20060814090354] [Add flag to test simonpj@microsoft.com**20060811142744] [More upated output simonpj@microsoft.com**20060811133858] [More updated output simonpj@microsoft.com**20060811133233] [Update test outpuot simonpj@microsoft.com**20060811131132] [Remove typecheck.testeq1.run.stdout simonpj@microsoft.com**20060811125001] [Comments in Makefile simonpj@microsoft.com**20060811123001] [This test now compiles without errors Simon Marlow **20060811102354] [accept output Simon Marlow **20060811101931] [base-1.0 ==> base-2.0 Simon Marlow **20060811101925] [base-1.0 ==> base-2.0 Simon Marlow **20060811101619] [accept output Simon Marlow **20060811101428] [update FFI syntax Simon Marlow **20060811100321] [expect fail for threaded2 way, fork isn't supported in SMP mode (yet) Simon Marlow **20060811100315] [fix FFI syntax Simon Marlow **20060811095918] [accept output Simon Marlow **20060811095501] [Fix some Array.bounds calls to Array.getBounds Esa Ilari Vuokko **20060809220653] [Add tests for incomplete-pattern warnings simonpj@microsoft.com**20060808144017] [Lazy patterns can't be unboxed (Trac 845) simonpj@microsoft.com**20060808135821] [Test error message (Trac 844) simonpj@microsoft.com**20060808133927] [Add tc206; edit a couple of others simonpj@microsoft.com**20060808091517] [Add test for overlapping pattern warnings for lazy patterns simonpj@microsoft.com**20060727154926] [Add a test for infix type constructors simonpj@microsoft.com**20060727154247] [Add test for unboxed fields in GADT record selectors kevind@bu.edu**20060802125121] [add new cabal test Simon Marlow **20060727140657] [test fixes and new tests for package support Simon Marlow **20060727140436] [accept output (improved error messages due to PrintUnqual changes) Simon Marlow **20060727140124] [accept output Simon Marlow **20060727134921] [add test for Ix bug Simon Marlow **20060721100303] [document stage=2, and clean up a little. Simon Marlow **20060710153547] [remove unused imports Simon Marlow **20060616105302] [Test Trac bug #795 simonpj@microsoft.com**20060703151859] [encorporate rest of property checks for Data.ByteString Don Stewart **20060702093816] [Add regress tests for fusion rules. Makes sure they fire, and rewrite to correct result Don Stewart **20060702090703] [Add model-based tests for ByteString.Lazy<=>ByteString<=>Data.list Don Stewart **20060702055523] [Accept output change simonpj@microsoft.com**20060626111936] [Add test for infix function definitions simonpj@microsoft.com**20060519103259] [Test for pattern type sigs in do-notation simonpj@microsoft.com**20060504142058] [add test from #799 Simon Marlow **20060623094712] [omit conc039 for threaded2 Simon Marlow **20060622092716] [robustify the test a little Simon Marlow **20060622092148] [omit conc036 for GHCi Simon Marlow **20060622091811] [add a prof/TH test Simon Marlow **20060622090109] [accept output Simon Marlow **20060622085217] [re-enable various tests with -threaded that now work Simon Marlow **20060614144922] [fix this test to work propertly with -threaded Simon Marlow **20060614144256] [Fix this test to work properly with -threaded Simon Marlow **20060614144219] [test for NCG bug Simon Marlow **20060606112614] [accept output Simon Marlow **20060601123936 NOTE: I made a slight tweak to Alex to improve the lexical error messages, to get correct output for these tests you need an updated Alex from darcs. ] [disable ffi016 for GHCi Simon Marlow **20060530095146] [first attempt at being boring Ashley Yakeley **20060526070327] [Update expected output Don Stewart **20060525071135] [update expected output. tougher replicate test. Don Stewart **20060517020540] [accept output Simon Marlow **20060508073357] [More QC tests. Update output Don Stewart **20060507042341] [More QC properties. Update output Don Stewart **20060506043305] [Add test for newtypes in FFI simonpj@microsoft.com**20060426183636 The standard FFI says that newtypes are automatically unwrapped in argument and result types. This test checks that it also happens for newtype-wrapping of the IO monad itself, a recent change to GHC. ] [And add QC test for group/groupBy Don Stewart **20060501065658] [More QC properties, for fold{lr}1. Update expected output Don Stewart **20060430084252] [Import Data.ByteString regression tests Don Stewart **20060428122838] [avoid running out of stack Simon Marlow **20060428083855] [test Bool arguments too Simon Marlow **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 **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 **20060412144627] [Add test for newtype deriving (thanks to Ross) simonpj@microsoft.com**20060402215709] [update for new source tree layout Simon Marlow **20060410091202] [add a test for a blackhole GC bug Simon Marlow **20060407101628] [the "threaded" way was renamed to "threaded1"/"threaded2" Simon Marlow **20060407101619] [Track the GHC source tree reorganisation Simon Marlow **20060407041720] [omit asm ways for this test on x86 Simon Marlow **20060407080546] [avoid running out of stack for non-optimised ways Simon Marlow **20060407080032] [add test for ForeignPtrEnv Simon Marlow **20060405160129] [omit ffi007 and ffi008 for GHCi (see comment for details) Simon Marlow **20060405133421] [fix tests for Windows Simon Marlow **20060404153133] [unnecessary mingw-specific output Simon Marlow **20060404150047] [windows output Simon Marlow **20060404145525] [crummy fix for Windows Simon Marlow **20060404145128] [fix the expect_fail_if_windows macro Simon Marlow **20060404144611] [Add scoped tyvar test simonpj@microsoft.com**20060327123134] [attempt to work around restrictions with fork() & pthreads Simon Marlow **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 **20060323102719] [fix to previous Simon Marlow **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 **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 **20060320114811] [fix a regex that was too slow Simon Marlow **20060316163903] [ignore ".exe" in program output, for Windows Simon Marlow **20060316155440] [fix for Win32 Simon Marlow **20060316154734] [remove some dead code Simon Marlow **20060315114645] [Tidy up the testsuite output by combinding failures for multiple ways Simon Marlow **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 **20060314151844] [process003 doesn't work with GHCi, omit it Simon Marlow **20060314151657] [fix clean target Simon Marlow **20060314124525] [add test for #713 Simon Marlow **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 **20060223121322] [accept output Simon Marlow **20060210151137] [remove smp way, replace threaded with threaded1/threaded2 Simon Marlow **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 **20060208150646] [allow setting stage=N variable to select compiler in the testsuite Simon Marlow **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 **20060201163734] [add test for bug #661 Simon Marlow **20060201130720] [fix recently-introduced breakage in 'make accept' Simon Marlow **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 **20051128164635] [TAG Initial conversion from CVS complete John Goerzen **20051128163910] Patch bundle hash: 3c4ed7c447be2697f4dffdaee74c70b44c4078c1