ghc.git
7 years agoTH_scopedTvs succeeds now we have scoped type variables in TH
Simon Peyton Jones [Fri, 30 Mar 2012 12:35:31 +0000 (13:35 +0100)] 
TH_scopedTvs succeeds now we have scoped type variables in TH

7 years agoTest Trac #5955
Simon Peyton Jones [Wed, 28 Mar 2012 12:24:03 +0000 (13:24 +0100)] 
Test Trac #5955

7 years agoTest Trac #5971
Simon Peyton Jones [Wed, 28 Mar 2012 09:00:33 +0000 (10:00 +0100)] 
Test Trac #5971

7 years agoBump limits for T1969
Simon Peyton Jones [Tue, 27 Mar 2012 13:49:29 +0000 (14:49 +0100)] 
Bump limits for T1969

Figures for 7.4.1:
     464,957,840 bytes allocated in the heap
     118,407,504 bytes copied during GC
      11,893,160 bytes maximum residency (9 sample(s))
       1,211,360 bytes maximum slop
              32 MB total memory in use (0 MB lost due to fragmentation)

For a version before my recent refactoring of TyClDecl/HsTyDefn
     472,031,360 bytes allocated in the heap
     122,203,224 bytes copied during GC
      12,964,944 bytes maximum residency (9 sample(s))
       1,209,688 bytes maximum slop
              34 MB total memory in use (0 MB lost due to fragmentation)

For HEAD:
     469,342,912 bytes allocated in the heap
     125,998,504 bytes copied during GC
      13,880,872 bytes maximum residency (9 sample(s))
       1,191,216 bytes maximum slop
              33 MB total memory in use (0 MB lost due to fragmentation)

So residency is up a bit, and I don't really know why but I think it's acceptable.

7 years agoSlashes and backslashes in filenames
Simon Peyton Jones [Tue, 27 Mar 2012 13:46:32 +0000 (14:46 +0100)] 
Slashes and backslashes in filenames

7 years agoError message wibbles following TyClDecl/HsTyDefn refactoring
Simon Peyton Jones [Mon, 26 Mar 2012 20:00:02 +0000 (21:00 +0100)] 
Error message wibbles following TyClDecl/HsTyDefn refactoring

7 years agoMerge branch 'master' of http://darcs.haskell.org//testsuite
Simon Peyton Jones [Mon, 26 Mar 2012 08:16:52 +0000 (09:16 +0100)] 
Merge branch 'master' of darcs.haskell.org//testsuite

7 years agoUpdate test to reflect printing of imported/exported type operators.
Iavor S. Diatchki [Sun, 25 Mar 2012 03:39:46 +0000 (20:39 -0700)] 
Update test to reflect printing of imported/exported type operators.

7 years agoUpdate test to reflect the improved printing of data declarations.
Iavor S. Diatchki [Sun, 25 Mar 2012 03:39:03 +0000 (20:39 -0700)] 
Update test to reflect the improved printing of data declarations.

7 years agoAdd new extension to the list pf GHC-only extensions.
Iavor S. Diatchki [Sun, 25 Mar 2012 03:38:22 +0000 (20:38 -0700)] 
Add new extension to the list pf GHC-only extensions.

7 years agoMerge remote-tracking branch 'origin/type-nats'
Iavor S. Diatchki [Sun, 25 Mar 2012 00:27:27 +0000 (17:27 -0700)] 
Merge remote-tracking branch 'origin/type-nats'

7 years agoMerge branch 'master' of http://darcs.haskell.org//testsuite
Simon Peyton Jones [Sat, 24 Mar 2012 22:28:26 +0000 (22:28 +0000)] 
Merge branch 'master' of darcs.haskell.org//testsuite

7 years agoMerge branch 'master' of win:c:/m64/reg4/testsuite
Ian Lynagh [Sat, 24 Mar 2012 02:15:03 +0000 (02:15 +0000)] 
Merge branch 'master' of win:c:/m64/reg4/testsuite

7 years ago5250 is expected to pass on Win64
Ian Lynagh [Sat, 24 Mar 2012 01:54:05 +0000 (01:54 +0000)] 
5250 is expected to pass on Win64

7 years agoMerge branch 'master' of http://darcs.haskell.org//testsuite
Simon Peyton Jones [Thu, 22 Mar 2012 21:16:32 +0000 (21:16 +0000)] 
Merge branch 'master' of darcs.haskell.org//testsuite

7 years agoFix testcase for #4135.
Paolo Capriotti [Thu, 22 Mar 2012 18:26:57 +0000 (18:26 +0000)] 
Fix testcase for #4135.

7 years agoTest Trac #4135
Simon Peyton Jones [Tue, 20 Mar 2012 09:40:06 +0000 (09:40 +0000)] 
Test Trac #4135

7 years agoMerge remote-tracking branch 'origin/master' into type-nats
Iavor S. Diatchki [Sun, 18 Mar 2012 22:26:41 +0000 (15:26 -0700)] 
Merge remote-tracking branch 'origin/master' into type-nats

7 years agoThe example n this test is now valid, when TypeOperators are enabled.
Iavor S. Diatchki [Sun, 18 Mar 2012 22:01:12 +0000 (15:01 -0700)] 
The example n this test is now valid, when TypeOperators are enabled.

7 years agoUpdate error message for malformed sub-ordinates.
Iavor S. Diatchki [Sun, 18 Mar 2012 22:00:33 +0000 (15:00 -0700)] 
Update error message for malformed sub-ordinates.

To make the parsing task a bit simpler, we allow sub-ordinate names
on all imports/exports.  Because of this, malformed exports,
such as `map(..)`  are not reported as a parsing error but, rather,
they are detected in a later pass as an export of a missing type/class
`map`.

7 years agoUpdate error message: now 1 is a potentially valid type.
Iavor S. Diatchki [Sun, 18 Mar 2012 21:56:06 +0000 (14:56 -0700)] 
Update error message: now 1 is a potentially valid type.

7 years agoFixes to reflect changes in behavior of -XTypeOperators.
Iavor S. Diatchki [Sun, 18 Mar 2012 21:55:32 +0000 (14:55 -0700)] 
Fixes to reflect changes in behavior of -XTypeOperators.

With the new behavior of -XTypeOperators, all infix type operators
refer to type constants, and not type variables.   These changes
update the test-suite to reflect the new behavior (while trying to
preserve the "spirit" of the tests).

7 years agoMerge branch 'master' of http://darcs.haskell.org//testsuite
Simon Peyton Jones [Sat, 17 Mar 2012 00:59:37 +0000 (00:59 +0000)] 
Merge branch 'master' of darcs.haskell.org//testsuite

Conflicts:
tests/polykinds/all.T
tests/simplCore/should_run/T5915.stdout

7 years agoTest Trac #5886
Simon Peyton Jones [Fri, 16 Mar 2012 16:23:02 +0000 (16:23 +0000)] 
Test Trac #5886

7 years agoTest Trac #5882
Simon Peyton Jones [Fri, 16 Mar 2012 15:56:56 +0000 (15:56 +0000)] 
Test Trac #5882

7 years agoTest Trac #5935
Simon Peyton Jones [Fri, 16 Mar 2012 15:05:54 +0000 (15:05 +0000)] 
Test Trac #5935

7 years agoTest Trac #5833
Simon Peyton Jones [Fri, 16 Mar 2012 14:46:18 +0000 (14:46 +0000)] 
Test Trac #5833

7 years agoTest Trac #1541
Simon Peyton Jones [Fri, 16 Mar 2012 14:41:03 +0000 (14:41 +0000)] 
Test Trac #1541

7 years agoAdd KindSignatures flag to test
Simon Peyton Jones [Fri, 16 Mar 2012 13:54:02 +0000 (13:54 +0000)] 
Add KindSignatures flag to test

7 years agoTest Trac #5937
Simon Peyton Jones [Tue, 13 Mar 2012 23:43:51 +0000 (23:43 +0000)] 
Test Trac #5937

7 years agoTest Trac #5915
Simon Peyton Jones [Mon, 12 Mar 2012 09:01:49 +0000 (09:01 +0000)] 
Test Trac #5915

7 years agoMerge branch 'master' of http://darcs.haskell.org//testsuite
Simon Peyton Jones [Wed, 14 Mar 2012 17:42:20 +0000 (17:42 +0000)] 
Merge branch 'master' of darcs.haskell.org//testsuite

7 years agoTest Trac #5937
Simon Peyton Jones [Tue, 13 Mar 2012 23:43:51 +0000 (23:43 +0000)] 
Test Trac #5937

7 years agoUpdate gitignore
David Terei [Tue, 13 Mar 2012 23:23:46 +0000 (16:23 -0700)] 
Update gitignore

7 years agoUpdate .gitignore
David Terei [Mon, 12 Mar 2012 22:19:05 +0000 (15:19 -0700)] 
Update .gitignore

7 years agoTest Trac #5915
Simon Peyton Jones [Mon, 12 Mar 2012 09:01:49 +0000 (09:01 +0000)] 
Test Trac #5915

7 years agoBumping allocation limit for parsing001 a little
Simon Peyton Jones [Fri, 9 Mar 2012 15:06:47 +0000 (15:06 +0000)] 
Bumping allocation limit for parsing001 a little

I'm not sure why this one is allocating more since 7.4.1 but it is.

7 years agoTest Trac #5922
Simon Peyton Jones [Fri, 9 Mar 2012 15:05:04 +0000 (15:05 +0000)] 
Test Trac #5922

7 years agoTest Trac #5858
Simon Peyton Jones [Fri, 9 Mar 2012 13:35:41 +0000 (13:35 +0000)] 
Test Trac #5858

7 years agoMerge branch 'master' of http://darcs.haskell.org/testsuite
Simon Peyton Jones [Fri, 9 Mar 2012 13:32:58 +0000 (13:32 +0000)] 
Merge branch 'master' of darcs.haskell.org/testsuite

7 years agoRaft of wibbles after refactoring type-class constraint errors
Simon Peyton Jones [Fri, 9 Mar 2012 13:31:38 +0000 (13:31 +0000)] 
Raft of wibbles after refactoring type-class constraint errors

...in response to Trac #5858

7 years agoMove base and unix tests to respective packages; part of #1161.
Paolo Capriotti [Fri, 9 Mar 2012 13:11:08 +0000 (13:11 +0000)] 
Move base and unix tests to respective packages; part of #1161.

7 years agoUpdate perf bounds for i386.
Paolo Capriotti [Thu, 8 Mar 2012 11:29:47 +0000 (11:29 +0000)] 
Update perf bounds for i386.

7 years agoAccept changed debug output from Simon's changes to GHC
Max Bolingbroke [Wed, 7 Mar 2012 20:29:54 +0000 (20:29 +0000)] 
Accept changed debug output from Simon's changes to GHC

7 years agoUpdate .gitignore.
Paolo Capriotti [Tue, 6 Mar 2012 10:57:35 +0000 (10:57 +0000)] 
Update .gitignore.

7 years agoFix llvm check
David Terei [Tue, 6 Mar 2012 11:25:39 +0000 (03:25 -0800)] 
Fix llvm check

7 years agoDisable threads with python 2.7.2.
Paolo Capriotti [Tue, 6 Mar 2012 09:33:06 +0000 (09:33 +0000)] 
Disable threads with python 2.7.2.

7 years agoTest Trac #5716
Simon Peyton Jones [Mon, 5 Mar 2012 17:10:33 +0000 (17:10 +0000)] 
Test Trac #5716

7 years agoWibbles to testsuite/mk/boilerplate.mk
Simon Peyton Jones [Mon, 5 Mar 2012 10:28:12 +0000 (10:28 +0000)] 
Wibbles to testsuite/mk/boilerplate.mk

...after consulting with Simon M on a conflict

7 years agoTest Trac #5881
Simon Peyton Jones [Mon, 5 Mar 2012 09:51:35 +0000 (09:51 +0000)] 
Test Trac #5881

7 years agoTest Trac #5892
Simon Peyton Jones [Sun, 4 Mar 2012 09:38:28 +0000 (09:38 +0000)] 
Test Trac #5892

7 years agoTest Trac #5912
Simon Peyton Jones [Sun, 4 Mar 2012 09:04:05 +0000 (09:04 +0000)] 
Test Trac #5912

7 years agoTest Trac #5862
Simon Peyton Jones [Sun, 4 Mar 2012 08:26:35 +0000 (08:26 +0000)] 
Test Trac #5862

7 years agoMerge branch 'master' of http://darcs.haskell.org//testsuite
Simon Peyton Jones [Fri, 2 Mar 2012 20:06:35 +0000 (20:06 +0000)] 
Merge branch 'master' of darcs.haskell.org//testsuite

Conflicts:
mk/boilerplate.mk

7 years agoTest Trac #5717
Simon Peyton Jones [Fri, 2 Mar 2012 17:49:30 +0000 (17:49 +0000)] 
Test Trac #5717

7 years agoRemove unnecessary import
Simon Peyton Jones [Fri, 2 Mar 2012 17:13:47 +0000 (17:13 +0000)] 
Remove unnecessary import

7 years agoModified error output and new tests for PolyKinds commit
Simon Peyton Jones [Fri, 2 Mar 2012 16:35:42 +0000 (16:35 +0000)] 
Modified error output and new tests for PolyKinds commit

7 years agofix test for the new TASKS stats output
Simon Marlow [Fri, 2 Mar 2012 11:42:25 +0000 (11:42 +0000)] 
fix test for the new TASKS stats output

7 years agoadd missing file
Simon Marlow [Thu, 1 Mar 2012 14:03:41 +0000 (14:03 +0000)] 
add missing file

7 years agoaccept output
Simon Marlow [Thu, 1 Mar 2012 13:49:28 +0000 (13:49 +0000)] 
accept output

7 years agoupdate ghci024 following changes to :set
Simon Marlow [Wed, 29 Feb 2012 15:15:09 +0000 (15:15 +0000)] 
update ghci024 following changes to :set

7 years agoadd a test for :seti
Simon Marlow [Wed, 29 Feb 2012 15:14:48 +0000 (15:14 +0000)] 
add a test for :seti

7 years agoupdate 32-bit results
Simon Marlow [Wed, 29 Feb 2012 11:12:10 +0000 (11:12 +0000)] 
update 32-bit results

7 years agoWibbles to error messages
Simon Peyton Jones [Tue, 28 Feb 2012 10:03:37 +0000 (10:03 +0000)] 
Wibbles to error messages

7 years agoadd test for #5866
Simon Marlow [Mon, 27 Feb 2012 14:42:10 +0000 (14:42 +0000)] 
add test for #5866

7 years agoTest changing the -main-is function name, not just the module
Simon Marlow [Thu, 16 Feb 2012 12:17:35 +0000 (12:17 +0000)] 
Test changing the -main-is function name, not just the module

7 years agoMove test array01 into the array package
Ian Lynagh [Sun, 26 Feb 2012 18:43:11 +0000 (18:43 +0000)] 
Move test array01 into the array package

7 years agoAdd a test for a "value" FFI import with a function type
Ian Lynagh [Sun, 26 Feb 2012 12:49:48 +0000 (12:49 +0000)] 
Add a test for a "value" FFI import with a function type

7 years agoAdd a test that you can't import "value"s using ccall
Ian Lynagh [Sun, 26 Feb 2012 01:00:59 +0000 (01:00 +0000)] 
Add a test that you can't import "value"s using ccall

"value"s can only be imported using capi.

7 years agoAdd a test for CAPI value imports
Ian Lynagh [Sun, 26 Feb 2012 00:38:05 +0000 (00:38 +0000)] 
Add a test for CAPI value imports

7 years agoAdd a test for FFI decl parsing
Ian Lynagh [Sat, 25 Feb 2012 17:57:00 +0000 (17:57 +0000)] 
Add a test for FFI decl parsing

We were parsing "staticfoo" as "static foo".

7 years agoUse 64bit args in mul2
Ian Lynagh [Fri, 24 Feb 2012 01:54:58 +0000 (01:54 +0000)] 
Use 64bit args in mul2

7 years agoAdd 32bit output for mul2
Ian Lynagh [Fri, 24 Feb 2012 01:50:08 +0000 (01:50 +0000)] 
Add 32bit output for mul2

7 years agoAdd a test for 2-word-multiply
Ian Lynagh [Fri, 24 Feb 2012 00:34:11 +0000 (00:34 +0000)] 
Add a test for 2-word-multiply

7 years agoAdd 32-bit output for add2
Ian Lynagh [Thu, 23 Feb 2012 22:14:45 +0000 (22:14 +0000)] 
Add 32-bit output for add2

7 years agoAdd a test for add-with-carry
Ian Lynagh [Thu, 23 Feb 2012 22:10:27 +0000 (22:10 +0000)] 
Add a test for add-with-carry

7 years agoUpdate test outputs now the bytestring version number has changed
Ian Lynagh [Wed, 22 Feb 2012 20:38:34 +0000 (20:38 +0000)] 
Update test outputs now the bytestring version number has changed

These really ought to be normalised, but this gets them passing
again for now.

7 years agoUpdate output for rnfail055 again
Ian Lynagh [Wed, 22 Feb 2012 01:48:11 +0000 (01:48 +0000)] 
Update output for rnfail055 again

7 years agoRemove type synonym part of Capi_Ctype_001
Ian Lynagh [Wed, 22 Feb 2012 01:45:12 +0000 (01:45 +0000)] 
Remove type synonym part of Capi_Ctype_001

We no longer support CTYPE pragmas on type synonyms

7 years agoFollow more output changes
Ian Lynagh [Tue, 21 Feb 2012 21:59:48 +0000 (21:59 +0000)] 
Follow more output changes

7 years agoAccept output in ccfail004
Ian Lynagh [Tue, 21 Feb 2012 21:46:49 +0000 (21:46 +0000)] 
Accept output in ccfail004

Newtype handling in FFI decls is no longer relaxed

7 years agoAccept update
Ian Lynagh [Tue, 21 Feb 2012 21:39:17 +0000 (21:39 +0000)] 
Accept update

7 years agoFollow change in bindisttest install directory name
Ian Lynagh [Tue, 21 Feb 2012 21:38:57 +0000 (21:38 +0000)] 
Follow change in bindisttest install directory name

7 years agoFix Capi_Ctype_001 on case-sensitive filesystems
Ian Lynagh [Tue, 21 Feb 2012 15:46:03 +0000 (15:46 +0000)] 
Fix Capi_Ctype_001 on case-sensitive filesystems

7 years agoUpdate tests following OldException removal
Ian Lynagh [Sat, 18 Feb 2012 15:23:54 +0000 (15:23 +0000)] 
Update tests following OldException removal

Some redundant test have now been removed

7 years agoAdd another test for CAPI / CTYPE
Ian Lynagh [Fri, 17 Feb 2012 15:55:40 +0000 (15:55 +0000)] 
Add another test for CAPI / CTYPE

This tests that the header given in the CTYPE pragma is handled.

7 years agoRemove some out-of-date normalisation
Ian Lynagh [Thu, 16 Feb 2012 21:37:37 +0000 (21:37 +0000)] 
Remove some out-of-date normalisation

7 years agoAdd optllvm as allowed way in testsuite
David M Peixotto [Tue, 18 Oct 2011 16:58:34 +0000 (11:58 -0500)] 
Add optllvm as allowed way in testsuite

The hooks for the optllvm way were there in the ghc config
file, but there was no entry in config.other_ways so that a
`make WAY=optllvm` would fail with an "unknown way" error
message.

This patch simply adds optllvm to the other_ways list.

7 years agoAdd a CAPI / CTYPE test (Capi_Ctype_001)
Ian Lynagh [Wed, 15 Feb 2012 00:40:47 +0000 (00:40 +0000)] 
Add a CAPI / CTYPE test (Capi_Ctype_001)

7 years agoupdate output
Simon Marlow [Thu, 16 Feb 2012 11:59:56 +0000 (11:59 +0000)] 
update output

7 years agoadd req_smp
Simon Marlow [Thu, 16 Feb 2012 09:58:34 +0000 (09:58 +0000)] 
add req_smp

7 years agoupdate max_bytes_used for T1969
Simon Marlow [Thu, 16 Feb 2012 10:41:33 +0000 (10:41 +0000)] 
update max_bytes_used for T1969

7 years agofix failure in apirecomp001 (IIModule type changed)
Simon Marlow [Thu, 16 Feb 2012 09:50:10 +0000 (09:50 +0000)] 
fix failure in apirecomp001 (IIModule type changed)

7 years agoDisable -dcore-lint for compiler perf tests
Simon Marlow [Wed, 15 Feb 2012 14:36:08 +0000 (14:36 +0000)] 
Disable -dcore-lint for compiler perf tests

We aren't interested in the performance of Core Lint as much as the
performance of the compiler itself, and some of these tests spend more
than half of their time in Core Lint.

I've updated the 64-bit bounds for now, the 32-bit bounds still need to
be updated.

7 years agoAllow perf bounds to be specified as base + percentage deviation
Simon Marlow [Wed, 15 Feb 2012 14:33:36 +0000 (14:33 +0000)] 
Allow perf bounds to be specified as base + percentage deviation

This makes it much easier to update the bounds.  Instead of coming up
with a suitable (min,max) pair, you just give e.g. (base, 10) to allow
10% deviation from the base figure, which can be pasted from the
error.

e.g. previously:

-      # expected value: 458700632 (amd64/Linux):
-      if_wordsize(64,
-          compiler_stats_num_field('bytes allocated', 440000000,
-                                                      480000000)),

now:

+      if_wordsize(64, # sample from amd64/Linux 15/2/2012
+          compiler_stats_range_field('bytes allocated', 360243576, 10)),

Note: use stats_range_field rather than stats_num_field.  I left
support for the old way for now so that we can do a gradual migration.

(next I suppose we should make it so that 'make accept' works for perf
tests, but that's for another day)

7 years agoMake the compiler_always_flags modifiable on a per-test basis
Simon Marlow [Wed, 15 Feb 2012 14:29:53 +0000 (14:29 +0000)] 
Make the compiler_always_flags modifiable on a per-test basis

Motivation: we wanted to disable -dcore-lint for the perf tests

7 years agoFix up safe haskell test outputs
David Terei [Tue, 14 Feb 2012 20:25:05 +0000 (12:25 -0800)] 
Fix up safe haskell test outputs

7 years agotest #5836
Simon Marlow [Tue, 7 Feb 2012 13:30:47 +0000 (13:30 +0000)] 
test #5836

7 years agoAdd stdout for T5820
Ian Lynagh [Fri, 10 Feb 2012 21:54:21 +0000 (21:54 +0000)] 
Add stdout for T5820

7 years agoUpdate gitignore
David Terei [Fri, 10 Feb 2012 19:58:50 +0000 (11:58 -0800)] 
Update gitignore