ghc.git
13 years agoMake it so that 'make boot' is optional in the testsuite
Simon Marlow [Sat, 16 Sep 2006 07:50:35 +0000 (07:50 +0000)] 
Make it so that 'make boot' is optional in the testsuite
mk/wordsize.mk and timeout/timeout get built automatically if necessary.

13 years agoadd boot to the all target
Simon Marlow [Sat, 16 Sep 2006 07:10:47 +0000 (07:10 +0000)] 
add boot to the all target

13 years agoadd 'make boot' to the instructions
Simon Marlow [Sat, 16 Sep 2006 07:10:26 +0000 (07:10 +0000)] 
add 'make boot' to the instructions

13 years agoAdd a test for impredicative polymorphism
simonpj [Mon, 18 Sep 2006 01:12:34 +0000 (01:12 +0000)] 
Add a test for impredicative polymorphism

13 years agoAdd test for Trac #900
simonpj [Sun, 17 Sep 2006 17:13:58 +0000 (17:13 +0000)] 
Add test for Trac #900

13 years agoTests for impredicative polymorphism
simonpj [Sun, 17 Sep 2006 15:33:47 +0000 (15:33 +0000)] 
Tests for impredicative polymorphism

13 years agoAdd another type checker test
simonpj [Sun, 17 Sep 2006 15:24:56 +0000 (15:24 +0000)] 
Add another type checker test

13 years agoAdd GADT test from Doaitse
simonpj [Sun, 17 Sep 2006 15:23:09 +0000 (15:23 +0000)] 
Add GADT test from Doaitse

13 years agoAdded test for ticket #902, deriving for GADTs which declare H98 types fails.
bjorn [Fri, 15 Sep 2006 22:38:11 +0000 (22:38 +0000)] 
Added test for ticket #902, deriving for GADTs which declare H98 types fails.

13 years agoFix up tests for unboxed tuples
simonpj [Fri, 8 Sep 2006 09:48:24 +0000 (09:48 +0000)] 
Fix up tests for unboxed tuples

13 years agoAccept output on sparc-sun-solaris2
Roman Leshchinskiy [Thu, 7 Sep 2006 08:33:10 +0000 (08:33 +0000)] 
Accept output on sparc-sun-solaris2

13 years agoAdd stdout for expfloat test
Ian Lynagh [Sun, 10 Sep 2006 15:03:53 +0000 (15:03 +0000)] 
Add stdout for expfloat test

13 years agoCatch exceptions while cleaning rather than checking for existence first
Ian Lynagh [Sun, 10 Sep 2006 14:59:57 +0000 (14:59 +0000)] 
Catch exceptions while cleaning rather than checking for existence first
As well as being generally a good idea, os.access('foo') seems to return
true if foo.exe exists on Windows.

13 years agoAdd cleaning for .exe files
Ian Lynagh [Sun, 10 Sep 2006 14:47:41 +0000 (14:47 +0000)] 
Add cleaning for .exe files

13 years agoTest expFloat# linking
Ian Lynagh [Sun, 10 Sep 2006 13:33:39 +0000 (13:33 +0000)] 
Test expFloat# linking

13 years agoMore cleaning tidyups
Ian Lynagh [Fri, 8 Sep 2006 21:51:02 +0000 (21:51 +0000)] 
More cleaning tidyups

13 years agoUpdate the testsuite cleaning
Ian Lynagh [Fri, 8 Sep 2006 13:02:10 +0000 (13:02 +0000)] 
Update the testsuite cleaning

13 years agoupdate bytestring tests
Don Stewart [Sat, 9 Sep 2006 11:18:06 +0000 (11:18 +0000)] 
update bytestring tests

13 years agoFix another use of result type signatures (this one was easy)
simonpj [Fri, 8 Sep 2006 08:42:57 +0000 (08:42 +0000)] 
Fix another use of result type signatures (this one was easy)

13 years agoAlter source code of test, now that result type signatures do not bind type variables
simonpj [Fri, 8 Sep 2006 08:37:19 +0000 (08:37 +0000)] 
Alter source code of test, now that result type signatures do not bind type variables

13 years agoImproved error locations
simonpj [Fri, 8 Sep 2006 08:03:02 +0000 (08:03 +0000)] 
Improved error locations

13 years agoAdd test for Trac 877
simonpj [Thu, 7 Sep 2006 14:16:24 +0000 (14:16 +0000)] 
Add test for Trac 877

13 years agoAccept output
simonpj [Thu, 7 Sep 2006 10:55:31 +0000 (10:55 +0000)] 
Accept output

13 years agoUse a python timeout for the testsuite when we don't have a threaded RTS
Ian Lynagh [Thu, 7 Sep 2006 11:30:01 +0000 (11:30 +0000)] 
Use a python timeout for the testsuite when we don't have a threaded RTS

13 years agoUse Data.Map instead of Data.FiniteMap
simonpj [Thu, 7 Sep 2006 10:52:56 +0000 (10:52 +0000)] 
Use Data.Map instead of Data.FiniteMap

13 years agoMore changes for scoped type variables
simonpj [Thu, 7 Sep 2006 10:41:06 +0000 (10:41 +0000)] 
More changes for scoped type variables

13 years agoRevise tc103, in the light of the story for result type signatures
simonpj [Thu, 7 Sep 2006 10:32:27 +0000 (10:32 +0000)] 
Revise tc103, in the light of the story for result type signatures

13 years agoAccept output for ! kind
simonpj [Thu, 7 Sep 2006 09:40:39 +0000 (09:40 +0000)] 
Accept output for ! kind

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

13 years agoFix this test on a fast machine
Simon Marlow [Thu, 7 Sep 2006 08:39:32 +0000 (08:39 +0000)] 
Fix this test on a fast machine
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.

13 years agoTickle a bug in impredicative polymorphism
simonpj [Thu, 7 Sep 2006 07:56:56 +0000 (07:56 +0000)] 
Tickle a bug in impredicative polymorphism

13 years agoUpdate output
simonpj [Thu, 7 Sep 2006 07:48:20 +0000 (07:48 +0000)] 
Update output

13 years agoAccept output
simonpj [Wed, 6 Sep 2006 21:19:38 +0000 (21:19 +0000)] 
Accept output

These error messages (to do with failure in higher-rank situations)
are different, but probably no worse than before.

13 years agoAdd renamer test (qualified name in binding position)
simonpj [Wed, 6 Sep 2006 20:45:17 +0000 (20:45 +0000)] 
Add renamer test (qualified name in binding position)

13 years agoaccept output
Simon Marlow [Tue, 5 Sep 2006 09:04:12 +0000 (09:04 +0000)] 
accept output

13 years agoAdd test for dependency analysis in type checking
simonpj [Tue, 5 Sep 2006 10:54:49 +0000 (10:54 +0000)] 
Add test for dependency analysis in type checking

13 years agoimprove conc039 a little bit, and omit it for threaded1
Simon Marlow [Tue, 5 Sep 2006 08:28:28 +0000 (08:28 +0000)] 
improve conc039 a little bit, and omit it for threaded1

13 years agoomit conc036(threaded2)
Simon Marlow [Mon, 4 Sep 2006 15:00:15 +0000 (15:00 +0000)] 
omit conc036(threaded2)

13 years agowin-specific output not needed
Simon Marlow [Fri, 1 Sep 2006 15:04:49 +0000 (15:04 +0000)] 
win-specific output not needed

13 years agoleave EXTRA_HC_OPTS for use on the command line
Simon Marlow [Fri, 1 Sep 2006 13:58:22 +0000 (13:58 +0000)] 
leave EXTRA_HC_OPTS for use on the command line

13 years agofix for Windows
Simon Marlow [Thu, 31 Aug 2006 13:23:32 +0000 (13:23 +0000)] 
fix for Windows

13 years agoadd conc059
Simon Marlow [Thu, 31 Aug 2006 09:03:49 +0000 (09:03 +0000)] 
add conc059

13 years agoaccept
Simon Marlow [Thu, 31 Aug 2006 08:50:57 +0000 (08:50 +0000)] 
accept

13 years agofix up tests for Windows
Simon Marlow [Wed, 30 Aug 2006 14:44:28 +0000 (14:44 +0000)] 
fix up tests for Windows
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.

13 years agoadapt these to work on Windows
Simon Marlow [Wed, 30 Aug 2006 12:11:58 +0000 (12:11 +0000)] 
adapt these to work on Windows

13 years agoadd skip_if_platform
Simon Marlow [Wed, 30 Aug 2006 12:11:21 +0000 (12:11 +0000)] 
add skip_if_platform

13 years agoskip conc053 on Windows (registerDelay not supported)
Simon Marlow [Wed, 30 Aug 2006 12:09:49 +0000 (12:09 +0000)] 
skip conc053 on Windows (registerDelay not supported)

13 years agoUSETHREADS=0 by default unless you set THREADS explicitly
Simon Marlow [Wed, 30 Aug 2006 12:23:06 +0000 (12:23 +0000)] 
USETHREADS=0 by default unless you set THREADS explicitly
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.

13 years agoAdd a test for length not causing a stack overflow (from #876)
Ian Lynagh [Tue, 29 Aug 2006 22:48:45 +0000 (22:48 +0000)] 
Add a test for length not causing a stack overflow (from #876)

13 years agoAdd list002 to tests - seems to have got lost during the testsuite revamp
Ian Lynagh [Tue, 29 Aug 2006 22:43:45 +0000 (22:43 +0000)] 
Add list002 to tests - seems to have got lost during the testsuite revamp

13 years agoAllow threading to be completely disabled with USETHREADS=0
Ian Lynagh [Tue, 29 Aug 2006 14:41:59 +0000 (14:41 +0000)] 
Allow threading to be completely disabled with USETHREADS=0
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.

13 years agoClean .hp files
Ian Lynagh [Tue, 29 Aug 2006 12:47:29 +0000 (12:47 +0000)] 
Clean .hp files

13 years agoAllow the timeout to be given as a Makefile argument
Ian Lynagh [Tue, 29 Aug 2006 12:43:59 +0000 (12:43 +0000)] 
Allow the timeout to be given as a Makefile argument

13 years agoomit conc023 the non-threaded ways on Windows (see comment)
Simon Marlow [Tue, 29 Aug 2006 13:58:21 +0000 (13:58 +0000)] 
omit conc023 the non-threaded ways on Windows (see comment)

13 years agoomit conc023 the non-threaded ways on Windows (see comment)
Simon Marlow [Tue, 29 Aug 2006 13:58:21 +0000 (13:58 +0000)] 
omit conc023 the non-threaded ways on Windows (see comment)

13 years agods052 not an expected failure any more
Simon Marlow [Fri, 25 Aug 2006 15:04:30 +0000 (15:04 +0000)] 
ds052 not an expected failure any more

13 years agoupdate FFI syntax
Simon Marlow [Fri, 25 Aug 2006 14:58:39 +0000 (14:58 +0000)] 
update FFI syntax

13 years agofix FFI syntax
Simon Marlow [Fri, 25 Aug 2006 13:42:27 +0000 (13:42 +0000)] 
fix FFI syntax

13 years agofix parse error
Simon Marlow [Fri, 25 Aug 2006 13:39:09 +0000 (13:39 +0000)] 
fix parse error

13 years agocg025 needs regex-compat
Simon Marlow [Fri, 25 Aug 2006 13:33:49 +0000 (13:33 +0000)] 
cg025 needs regex-compat

13 years agoDon't use the threaded2 way when we don't support SMP
Ian Lynagh [Fri, 25 Aug 2006 00:40:42 +0000 (00:40 +0000)] 
Don't use the threaded2 way when we don't support SMP

13 years agofix old regex test, add two new ones
Simon Marlow [Thu, 24 Aug 2006 14:06:22 +0000 (14:06 +0000)] 
fix old regex test, add two new ones

13 years agoFix typo
Esa Ilari Vuokko [Wed, 23 Aug 2006 20:20:55 +0000 (20:20 +0000)] 
Fix typo

13 years agoupdate tests
Don Stewart [Wed, 23 Aug 2006 15:51:47 +0000 (15:51 +0000)] 
update tests

13 years agoDriver: Add THREADS-support
Esa Ilari Vuokko [Tue, 22 Aug 2006 21:31:45 +0000 (21:31 +0000)] 
Driver: Add THREADS-support

13 years agoFix some THREADED-caused fails
Esa Ilari Vuokko [Mon, 21 Aug 2006 23:08:31 +0000 (23:08 +0000)] 
Fix some THREADED-caused fails

13 years agoFix driver not to normalise output when using platform specific output files
Esa Ilari Vuokko [Sun, 13 Aug 2006 12:46:49 +0000 (12:46 +0000)] 
Fix driver not to normalise output when using platform specific output files

13 years agoaccept output
Simon Marlow [Wed, 23 Aug 2006 09:22:24 +0000 (09:22 +0000)] 
accept output

13 years agoadd test for Data/Fixed module, in libraries folder
Ashley Yakeley [Wed, 23 Aug 2006 07:39:48 +0000 (07:39 +0000)] 
add test for Data/Fixed module, in libraries folder

13 years agoaccept output
Simon Marlow [Tue, 22 Aug 2006 10:28:11 +0000 (10:28 +0000)] 
accept output

13 years agoaccept output (improvements)
Simon Marlow [Tue, 22 Aug 2006 10:26:09 +0000 (10:26 +0000)] 
accept output (improvements)

13 years agoUpdate output (remove "In the call...")
simonpj [Fri, 18 Aug 2006 16:14:12 +0000 (16:14 +0000)] 
Update output (remove "In the call...")

13 years agoUpdate output
simonpj [Fri, 18 Aug 2006 15:56:40 +0000 (15:56 +0000)] 
Update output

13 years agoAdd test for tagToEnum#
simonpj [Wed, 16 Aug 2006 20:30:23 +0000 (20:30 +0000)] 
Add test for tagToEnum#

13 years agoTwo more tests
simonpj [Tue, 15 Aug 2006 08:06:06 +0000 (08:06 +0000)] 
Two more tests

13 years agoUpdate expected output
simonpj [Mon, 14 Aug 2006 09:03:54 +0000 (09:03 +0000)] 
Update expected output

13 years agoAdd flag to test
simonpj [Fri, 11 Aug 2006 14:27:44 +0000 (14:27 +0000)] 
Add flag to test

13 years agoMore upated output
simonpj [Fri, 11 Aug 2006 13:38:58 +0000 (13:38 +0000)] 
More upated output

13 years agoMore updated output
simonpj [Fri, 11 Aug 2006 13:32:33 +0000 (13:32 +0000)] 
More updated output

13 years agoUpdate test outpuot
simonpj [Fri, 11 Aug 2006 13:11:32 +0000 (13:11 +0000)] 
Update test outpuot

13 years agoRemove typecheck.testeq1.run.stdout
simonpj [Fri, 11 Aug 2006 12:50:01 +0000 (12:50 +0000)] 
Remove typecheck.testeq1.run.stdout

13 years agoComments in Makefile
simonpj [Fri, 11 Aug 2006 12:30:01 +0000 (12:30 +0000)] 
Comments in Makefile

13 years agoThis test now compiles without errors
Simon Marlow [Fri, 11 Aug 2006 10:23:54 +0000 (10:23 +0000)] 
This test now compiles without errors

13 years agoaccept output
Simon Marlow [Fri, 11 Aug 2006 10:19:31 +0000 (10:19 +0000)] 
accept output

13 years agobase-1.0 ==> base-2.0
Simon Marlow [Fri, 11 Aug 2006 10:19:25 +0000 (10:19 +0000)] 
base-1.0 ==> base-2.0

13 years agobase-1.0 ==> base-2.0
Simon Marlow [Fri, 11 Aug 2006 10:16:19 +0000 (10:16 +0000)] 
base-1.0 ==> base-2.0

13 years agoaccept output
Simon Marlow [Fri, 11 Aug 2006 10:14:28 +0000 (10:14 +0000)] 
accept output

13 years agoupdate FFI syntax
Simon Marlow [Fri, 11 Aug 2006 10:03:21 +0000 (10:03 +0000)] 
update FFI syntax

13 years agoexpect fail for threaded2 way, fork isn't supported in SMP mode (yet)
Simon Marlow [Fri, 11 Aug 2006 10:03:15 +0000 (10:03 +0000)] 
expect fail for threaded2 way, fork isn't supported in SMP mode (yet)

13 years agofix FFI syntax
Simon Marlow [Fri, 11 Aug 2006 09:59:18 +0000 (09:59 +0000)] 
fix FFI syntax

13 years agoaccept output
Simon Marlow [Fri, 11 Aug 2006 09:55:01 +0000 (09:55 +0000)] 
accept output

13 years agoFix some Array.bounds calls to Array.getBounds
Esa Ilari Vuokko [Wed, 9 Aug 2006 22:06:53 +0000 (22:06 +0000)] 
Fix some Array.bounds calls to Array.getBounds

13 years agoAdd tests for incomplete-pattern warnings
simonpj [Tue, 8 Aug 2006 14:40:17 +0000 (14:40 +0000)] 
Add tests for incomplete-pattern warnings

13 years agoLazy patterns can't be unboxed (Trac 845)
simonpj [Tue, 8 Aug 2006 13:58:21 +0000 (13:58 +0000)] 
Lazy patterns can't be unboxed (Trac 845)

13 years agoTest error message (Trac 844)
simonpj [Tue, 8 Aug 2006 13:39:27 +0000 (13:39 +0000)] 
Test error message (Trac 844)

13 years agoAdd tc206; edit a couple of others
simonpj [Tue, 8 Aug 2006 09:15:17 +0000 (09:15 +0000)] 
Add tc206; edit a couple of others

13 years agoAdd test for overlapping pattern warnings for lazy patterns
simonpj [Thu, 27 Jul 2006 15:49:26 +0000 (15:49 +0000)] 
Add test for overlapping pattern warnings for lazy patterns

13 years agoAdd a test for infix type constructors
simonpj [Thu, 27 Jul 2006 15:42:47 +0000 (15:42 +0000)] 
Add a test for infix type constructors

13 years agoAdd test for unboxed fields in GADT record selectors
kevind [Wed, 2 Aug 2006 12:51:21 +0000 (12:51 +0000)] 
Add test for unboxed fields in GADT record selectors

13 years agoadd new cabal test
Simon Marlow [Thu, 27 Jul 2006 14:06:57 +0000 (14:06 +0000)] 
add new cabal test

13 years agotest fixes and new tests for package support
Simon Marlow [Thu, 27 Jul 2006 14:04:36 +0000 (14:04 +0000)] 
test fixes and new tests for package support