ghc.git
5 years agoDifferent quotes in error messages following lexer clean-up
Simon Peyton Jones [Thu, 5 Dec 2013 08:30:53 +0000 (08:30 +0000)] 
Different quotes in error messages following lexer clean-up

5 years agoAdd new ghc-e/should_fail test suite
Austin Seipp [Thu, 5 Dec 2013 04:33:19 +0000 (22:33 -0600)] 
Add new ghc-e/should_fail test suite

Also add a basic test for #7962.

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoUpdate output: More elaborate GND error messages
Joachim Breitner [Wed, 4 Dec 2013 09:02:50 +0000 (09:02 +0000)] 
Update output: More elaborate GND error messages

5 years agoUpdate output: New error messages as per #8576
Joachim Breitner [Tue, 3 Dec 2013 10:42:19 +0000 (10:42 +0000)] 
Update output: New error messages as per #8576

5 years agoWibbles to output caused by change in checking role annotations
Richard Eisenberg [Mon, 2 Dec 2013 18:12:36 +0000 (13:12 -0500)] 
Wibbles to output caused by change in checking role annotations

5 years agoTest case about HyperStr and UseDemand
Joachim Breitner [Mon, 2 Dec 2013 18:02:10 +0000 (18:02 +0000)] 
Test case about HyperStr and UseDemand

which was used by SPJ to reduce my ignorance, so I want to ensure I do
not break it.

5 years agoLooks like plugin06 really only works with dynamic libraries enabled
Joachim Breitner [Mon, 2 Dec 2013 15:43:23 +0000 (15:43 +0000)] 
Looks like plugin06 really only works with dynamic libraries enabled

Otherwise we get
ghc-stage2: panic! (the 'impossible' happened)
  (GHC version 7.7.20131202 for x86_64-unknown-linux):
Static flags have not been initialised!
        Please call GHC.parseStaticFlags early enough.

5 years agoTH_import_loops fails for GHCi again
Joachim Breitner [Mon, 2 Dec 2013 13:38:11 +0000 (13:38 +0000)] 
TH_import_loops fails for GHCi again

This reverts commit c0e50e9214b5ecb21435d7da70986d30d6128402 and is related to
ticket #1012.

5 years agoTry to set flags for some tests involving TH right
Joachim Breitner [Mon, 2 Dec 2013 13:31:22 +0000 (13:31 +0000)] 
Try to set flags for some tests involving TH right

this tries to imporve upon 435c5955359d6e46a2fb905231678ac37ac0e71a.

5 years agoMark type-rep as broken until #5869 is fixed
Joachim Breitner [Mon, 2 Dec 2013 13:06:29 +0000 (13:06 +0000)] 
Mark type-rep as broken until #5869 is fixed

5 years agoUpdate apirecomp001 output
Joachim Breitner [Mon, 2 Dec 2013 13:04:55 +0000 (13:04 +0000)] 
Update apirecomp001 output

5 years agoBump T3064 perf values
Joachim Breitner [Mon, 2 Dec 2013 11:36:03 +0000 (11:36 +0000)] 
Bump T3064 perf values

5 years agoUpdate testsuite for nicer Coercible message
Joachim Breitner [Mon, 2 Dec 2013 10:02:16 +0000 (10:02 +0000)] 
Update testsuite for nicer Coercible message

5 years agoAdd test case for #8569
Joachim Breitner [Fri, 29 Nov 2013 19:08:55 +0000 (19:08 +0000)] 
Add test case for #8569

5 years agoTest the strictness analyzer using annotations
Joachim Breitner [Fri, 29 Nov 2013 18:58:55 +0000 (18:58 +0000)] 
Test the strictness analyzer using annotations

This adds a new directory, tests/stranal/sigs. Tests therein are
expected to use the StrAnalAnnotation GHC plugin (also therein) to
annotate (some of) their top level functions like this:

    foo x = x
    {-# ANN foo (StrAnal "<S,1*U>") #-}

Then the test will fail if the strictness analyzer finds a different
strictness signature.

5 years agoTest Trac #8570
Simon Peyton Jones [Fri, 29 Nov 2013 07:30:09 +0000 (07:30 +0000)] 
Test Trac #8570

5 years agoWibbles when fixing Trac #8570
Simon Peyton Jones [Fri, 29 Nov 2013 07:26:56 +0000 (07:26 +0000)] 
Wibbles when fixing Trac #8570

5 years agoTest Trac #8557
Simon Peyton Jones [Thu, 28 Nov 2013 16:06:39 +0000 (16:06 +0000)] 
Test Trac #8557

5 years agoFixed Trac #8540
Simon Peyton Jones [Thu, 28 Nov 2013 16:01:45 +0000 (16:01 +0000)] 
Fixed Trac #8540

5 years agoError message wibbles
Simon Peyton Jones [Mon, 25 Nov 2013 15:09:22 +0000 (15:09 +0000)] 
Error message wibbles

5 years agoExplain skipping compiler-perf tests when debugging is on
Joachim Breitner [Thu, 28 Nov 2013 15:56:16 +0000 (15:56 +0000)] 
Explain skipping compiler-perf tests when debugging is on

5 years agoSummarily skip compiler_perf tests when DEBUG is on
Joachim Breitner [Thu, 28 Nov 2013 14:17:35 +0000 (14:17 +0000)] 
Summarily skip compiler_perf tests when DEBUG is on

by ensuring this in the test runner.

5 years agoUndo my wrong bumps to T6048
Joachim Breitner [Thu, 28 Nov 2013 13:50:53 +0000 (13:50 +0000)] 
Undo my wrong bumps to T6048

which were obtained when running with -DDEBUG. Sorry about that.

5 years agoAdd test for T6084
Simon Marlow [Thu, 28 Nov 2013 11:32:52 +0000 (11:32 +0000)] 
Add test for T6084

5 years agoadd Note about residency tests
Simon Marlow [Thu, 28 Nov 2013 07:52:32 +0000 (07:52 +0000)] 
add Note about residency tests

5 years agoUpdate some perf results for master
Joachim Breitner [Thu, 28 Nov 2013 12:36:15 +0000 (12:36 +0000)] 
Update some perf results for master

5 years agoOutput of T7861 has changed
Joachim Breitner [Thu, 28 Nov 2013 11:50:40 +0000 (11:50 +0000)] 
Output of T7861 has changed

5 years ago#3103 no longer broken, it seems
Joachim Breitner [Thu, 28 Nov 2013 11:49:44 +0000 (11:49 +0000)] 
#3103 no longer broken, it seems

5 years agoEnsure nested CPR does not break havoc with repeat
Joachim Breitner [Thu, 28 Nov 2013 09:46:24 +0000 (09:46 +0000)] 
Ensure nested CPR does not break havoc with repeat

...not that we do have nested CPR right now, but when we do, this should
better not break.

5 years agoTestcase #8565 no longer broken
Joachim Breitner [Wed, 27 Nov 2013 17:20:28 +0000 (17:20 +0000)] 
Testcase #8565 no longer broken

at least with ImpredicativeTypes enabled in this module.

5 years agoBump haddock.compiler perf data
Joachim Breitner [Wed, 27 Nov 2013 15:02:23 +0000 (15:02 +0000)] 
Bump haddock.compiler perf data

5 years agoAdd testcase for #8565
Joachim Breitner [Tue, 26 Nov 2013 11:26:01 +0000 (11:26 +0000)] 
Add testcase for #8565

5 years agoMark #8562 as fixed
Joachim Breitner [Mon, 25 Nov 2013 18:44:23 +0000 (18:44 +0000)] 
Mark #8562 as fixed

5 years agoAdd testcase for #8563
Joachim Breitner [Mon, 25 Nov 2013 17:54:23 +0000 (17:54 +0000)] 
Add testcase for #8563

5 years agoError message wibbles
Simon Peyton Jones [Mon, 25 Nov 2013 16:59:17 +0000 (16:59 +0000)] 
Error message wibbles

5 years agoMark break006 break003 print019 as broken by #8540
Joachim Breitner [Sun, 24 Nov 2013 18:21:35 +0000 (18:21 +0000)] 
Mark break006 break003 print019 as broken by #8540

...when debugging is on, to keep builds reports clean.

5 years agoT5246 and T7474 back working with -DDEBUG
Joachim Breitner [Fri, 22 Nov 2013 20:10:05 +0000 (20:10 +0000)] 
T5246 and T7474 back working with -DDEBUG

thanks to SPJ'S fixes for #8553 in 985663ea47487a9e567814ba000e81d65358bf02

5 years agoUpdates perf numbers after #8503 implementation
Joachim Breitner [Fri, 22 Nov 2013 17:50:38 +0000 (17:50 +0000)] 
Updates perf numbers after #8503 implementation

5 years agoUpdate test output of print018
Joachim Breitner [Fri, 22 Nov 2013 13:42:54 +0000 (13:42 +0000)] 
Update test output of print018

It seems that “Use bindLocalNamesFV in rn_inst_info” makes some names
nicer in the debugger output.

5 years agoCoercible-base GND: update error messages
Joachim Breitner [Thu, 21 Nov 2013 09:13:06 +0000 (09:13 +0000)] 
Coercible-base GND: update error messages

(unfortunately, not to the better, these might need some more
massaging.)

5 years agoTestcase for Coercible and newtype families (#8548)
Joachim Breitner [Fri, 22 Nov 2013 10:21:36 +0000 (10:21 +0000)] 
Testcase for Coercible and newtype families (#8548)

5 years agoAdd test cases for Coercing recursive newtypes (#8503)
Joachim Breitner [Wed, 20 Nov 2013 10:37:43 +0000 (10:37 +0000)] 
Add test cases for Coercing recursive newtypes (#8503)

5 years agoType function application has its own depth counter now
Joachim Breitner [Wed, 20 Nov 2013 10:23:46 +0000 (10:23 +0000)] 
Type function application has its own depth counter now

5 years agoTest Trac #8540
Simon Peyton Jones [Fri, 22 Nov 2013 16:47:44 +0000 (16:47 +0000)] 
Test Trac #8540

5 years agoHigher residency in Haddock
Simon Peyton Jones [Fri, 22 Nov 2013 16:42:43 +0000 (16:42 +0000)] 
Higher residency in Haddock

I think there really is a slight worsening in the situation here, but
it needs someone to build a profiled compiler and take a proper look.
There isn't anything obvious in what I've done, which mainly concerns
Template Haskell and hence should not affect Haddock.

Strange, annoying, but I'm going to live with it.

5 years agoError message wibbles
Simon Peyton Jones [Fri, 22 Nov 2013 16:41:10 +0000 (16:41 +0000)] 
Error message wibbles

5 years agoError message improvements
Simon Peyton Jones [Fri, 22 Nov 2013 16:40:36 +0000 (16:40 +0000)] 
Error message improvements

5 years agogadt6 is fine now, even with DEBUG
Simon Peyton Jones [Fri, 22 Nov 2013 16:06:07 +0000 (16:06 +0000)] 
gadt6 is fine now, even with DEBUG

5 years agoImproved error messages
Simon Peyton Jones [Fri, 22 Nov 2013 15:29:29 +0000 (15:29 +0000)] 
Improved error messages

5 years agoTest Trac #8537
Simon Peyton Jones [Fri, 22 Nov 2013 15:29:05 +0000 (15:29 +0000)] 
Test Trac #8537

5 years agoTest #8542
Krzysztof Gogolewski [Tue, 19 Nov 2013 15:08:16 +0000 (16:08 +0100)] 
Test #8542

5 years agoTest Trac #8526
Patrick Palka [Thu, 14 Nov 2013 02:28:56 +0000 (21:28 -0500)] 
Test Trac #8526

5 years agoMark tests as expect_broken when borken with -DDEBUG
Joachim Breitner [Fri, 22 Nov 2013 09:40:02 +0000 (09:40 +0000)] 
Mark tests as expect_broken when borken with -DDEBUG

The related bugs are #8553 and #8525.

5 years agoUpdate linker_unload to cope with CAFs
Simon Marlow [Thu, 21 Nov 2013 12:20:13 +0000 (12:20 +0000)] 
Update linker_unload to cope with CAFs

5 years agoTest cases for context stack overflow
Joachim Breitner [Wed, 20 Nov 2013 09:38:53 +0000 (09:38 +0000)] 
Test cases for context stack overflow

one for constraints, one for type families

5 years agoTest coercing under under-saturated newtypes
Joachim Breitner [Tue, 19 Nov 2013 12:15:30 +0000 (12:15 +0000)] 
Test coercing under under-saturated newtypes

5 years agoTest case for undersaturated newtype in Coercions
Joachim Breitner [Tue, 19 Nov 2013 12:01:27 +0000 (12:01 +0000)] 
Test case for undersaturated newtype in Coercions

This is related to #8541.

5 years agoAdd examples from #8541 to testsuite
Joachim Breitner [Tue, 19 Nov 2013 11:48:59 +0000 (11:48 +0000)] 
Add examples from #8541 to testsuite

5 years agoInclude pairs in this test
Jose Pedro Magalhaes [Tue, 19 Nov 2013 09:04:48 +0000 (09:04 +0000)] 
Include pairs in this test

5 years agoWibbles to deriving error messages
Simon Peyton Jones [Tue, 19 Nov 2013 07:55:54 +0000 (07:55 +0000)] 
Wibbles to deriving error messages

5 years agoAdd DeriveDataTypeable (omitted wrongly before)
Simon Peyton Jones [Tue, 19 Nov 2013 07:55:36 +0000 (07:55 +0000)] 
Add DeriveDataTypeable (omitted wrongly before)

5 years agoTest Trac #8534
Simon Peyton Jones [Tue, 19 Nov 2013 07:54:44 +0000 (07:54 +0000)] 
Test Trac #8534

5 years agoUpdate output for generics
Nicolas Frisby [Sun, 10 Nov 2013 06:06:27 +0000 (00:06 -0600)] 
Update output for generics

5 years agoWibble after typofix
Krzysztof Gogolewski [Mon, 18 Nov 2013 12:55:45 +0000 (13:55 +0100)] 
Wibble after typofix

5 years agoTest Trac #8535
Simon Peyton Jones [Mon, 18 Nov 2013 10:50:08 +0000 (10:50 +0000)] 
Test Trac #8535

5 years agoWibble
Krzysztof Gogolewski [Sun, 17 Nov 2013 13:00:43 +0000 (14:00 +0100)] 
Wibble

5 years agoIncrease coverage of #4175
Patrick Palka [Thu, 14 Nov 2013 23:14:15 +0000 (18:14 -0500)] 
Increase coverage of #4175

5 years agoTest Trac #5996
Simon Peyton Jones [Tue, 12 Nov 2013 23:42:10 +0000 (23:42 +0000)] 
Test Trac #5996

5 years agoDetect msys2 via uname (different to msys)
Simon Peyton Jones [Tue, 12 Nov 2013 23:41:45 +0000 (23:41 +0000)] 
Detect msys2 via uname (different to msys)

uname -s
  msys gives "MINGW32"
  msys2 gives "MINGW_NT-6.2"

5 years agoActually increase the perf number!
Simon Peyton Jones [Tue, 12 Nov 2013 18:10:25 +0000 (18:10 +0000)] 
Actually increase the perf number!

5 years agoWibbles
Simon Peyton Jones [Tue, 12 Nov 2013 18:10:16 +0000 (18:10 +0000)] 
Wibbles

5 years agoTest Trac #8514
Simon Peyton Jones [Tue, 12 Nov 2013 15:29:37 +0000 (15:29 +0000)] 
Test Trac #8514

5 years agoMuch better perf on 5030, higher peak on 3064
Simon Peyton Jones [Tue, 12 Nov 2013 15:06:56 +0000 (15:06 +0000)] 
Much better perf on 5030, higher peak on 3064

The peak-megabytes is vulnerable to when GC runs, but
the bytes-allocated on 5030 shows a big reduction from
466Mbytes to 367Mbytes.

This follows the arity improvement and CSE patches

5 years agoTest Trac #8518
Simon Peyton Jones [Mon, 11 Nov 2013 08:40:31 +0000 (08:40 +0000)] 
Test Trac #8518

5 years agoTest Trac #8507
Simon Peyton Jones [Thu, 7 Nov 2013 13:29:28 +0000 (13:29 +0000)] 
Test Trac #8507

5 years agoTypo in test definition
Joachim Breitner [Tue, 12 Nov 2013 11:33:18 +0000 (12:33 +0100)] 
Typo in test definition

5 years agoRun T7478, plugins06, T7918 only when dynamic libraries are available
Joachim Breitner [Tue, 12 Nov 2013 10:08:36 +0000 (11:08 +0100)] 
Run T7478, plugins06, T7918 only when dynamic libraries are available

as they fail in a non-helpful way otherwise. This should help the
testsuite pass on travis.

5 years agoTest Trac #8037
Simon Peyton Jones [Fri, 8 Nov 2013 10:52:14 +0000 (10:52 +0000)] 
Test Trac #8037

5 years agoAdd tests for new import/export GMP primitives
Herbert Valerio Riedel [Thu, 7 Nov 2013 22:49:44 +0000 (23:49 +0100)] 
Add tests for new import/export GMP primitives

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
5 years agoError message wibbles
Simon Peyton Jones [Thu, 7 Nov 2013 13:27:02 +0000 (13:27 +0000)] 
Error message wibbles

5 years agoWibbles following fix to Trac #8278
Simon Peyton Jones [Wed, 6 Nov 2013 16:55:54 +0000 (16:55 +0000)] 
Wibbles following fix to Trac #8278

The error message for ghci052 and ghci053 are (still)
terrible, because there is shadowing going on in the
interactive context.  But that's a separate matter.

5 years agoError message wibbles
Simon Peyton Jones [Wed, 6 Nov 2013 10:40:05 +0000 (10:40 +0000)] 
Error message wibbles

5 years agoTest for Trac #4135, comment 2
Simon Peyton Jones [Wed, 6 Nov 2013 09:56:54 +0000 (09:56 +0000)] 
Test for Trac #4135, comment 2

5 years agoTest Trac #8506
Simon Peyton Jones [Wed, 6 Nov 2013 09:36:28 +0000 (09:36 +0000)] 
Test Trac #8506

5 years agoTest Trac #7477
Simon Peyton Jones [Wed, 6 Nov 2013 09:34:03 +0000 (09:34 +0000)] 
Test Trac #7477

5 years agoTest Trac #8450
Simon Peyton Jones [Wed, 6 Nov 2013 09:46:44 +0000 (09:46 +0000)] 
Test Trac #8450

5 years agoPeak megabytes for T1969 varies from run to run
Simon Peyton Jones [Wed, 6 Nov 2013 09:40:47 +0000 (09:40 +0000)] 
Peak megabytes for T1969 varies from run to run

5 years agoError messsage wibbles
Simon Peyton Jones [Tue, 5 Nov 2013 13:53:03 +0000 (13:53 +0000)] 
Error messsage wibbles

5 years agoTest Trac #8499
Simon Peyton Jones [Wed, 6 Nov 2013 08:33:25 +0000 (08:33 +0000)] 
Test Trac #8499

5 years agoTest Trac #8500
Simon Peyton Jones [Wed, 6 Nov 2013 08:32:50 +0000 (08:32 +0000)] 
Test Trac #8500

5 years agoUpdate tcfail082 output (#8322 fallout)
Austin Seipp [Sat, 2 Nov 2013 07:26:32 +0000 (02:26 -0500)] 
Update tcfail082 output (#8322 fallout)

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoTest #8492
Krzysztof Gogolewski [Fri, 1 Nov 2013 11:34:48 +0000 (12:34 +0100)] 
Test #8492

5 years agoAdd test for #8485.
Richard Eisenberg [Tue, 29 Oct 2013 15:20:31 +0000 (11:20 -0400)] 
Add test for #8485.

5 years agoDon't include malloc.h in linker_unload test.
Austin Seipp [Mon, 28 Oct 2013 21:33:12 +0000 (16:33 -0500)] 
Don't include malloc.h in linker_unload test.

It's not standard and fails to build on Darwin due to this.

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoAdd tests for new internal GMP primitives
Herbert Valerio Riedel [Mon, 28 Oct 2013 20:46:16 +0000 (21:46 +0100)] 
Add tests for new internal GMP primitives

This adds some simple tests for the primitives introduced
in [4d7cd68b/integer-gmp] and [d466dfc8/integer-gmp].

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
5 years agoFollow version bump of `pretty`
Herbert Valerio Riedel [Sun, 27 Oct 2013 21:49:04 +0000 (22:49 +0100)] 
Follow version bump of `pretty`

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
5 years agoTest Trac #3333
Takano Akio [Sun, 13 Jan 2013 05:37:16 +0000 (14:37 +0900)] 
Test Trac #3333

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoFix dangling pointer reference in T8242
Takano Akio [Thu, 24 Oct 2013 12:44:36 +0000 (21:44 +0900)] 
Fix dangling pointer reference in T8242

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoT8242 now passes on Windows
Takano Akio [Thu, 24 Oct 2013 12:43:28 +0000 (21:43 +0900)] 
T8242 now passes on Windows

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoTest Trac #8474
Simon Peyton Jones [Fri, 25 Oct 2013 13:46:04 +0000 (14:46 +0100)] 
Test Trac #8474