ghc.git
5 years agoTest Trac #8579
Simon Peyton Jones [Fri, 3 Jan 2014 16:50:12 +0000 (16:50 +0000)] 
Test Trac #8579

5 years agoTest Trac #8628
Simon Peyton Jones [Fri, 3 Jan 2014 16:33:59 +0000 (16:33 +0000)] 
Test Trac #8628

5 years agoTest Trac #8640
Simon Peyton Jones [Fri, 3 Jan 2014 16:22:01 +0000 (16:22 +0000)] 
Test Trac #8640

5 years agoDo hFlush in the T8639_api test
Simon Peyton Jones [Fri, 3 Jan 2014 16:10:27 +0000 (16:10 +0000)] 
Do hFlush in the T8639_api test

5 years agoUpdate T7594 as a result of fixing #8644
Simon Peyton Jones [Fri, 3 Jan 2014 16:09:47 +0000 (16:09 +0000)] 
Update T7594 as a result of fixing #8644

The fix to #8644 makes the original T7594 pass (rightly).
I've added a variant that shouuld and does fail

5 years agoWhite space only
Simon Peyton Jones [Fri, 3 Jan 2014 16:07:17 +0000 (16:07 +0000)] 
White space only

5 years agoTest Trac #8644
Simon Peyton Jones [Fri, 3 Jan 2014 16:06:04 +0000 (16:06 +0000)] 
Test Trac #8644

5 years agoImproved out-of-scope error for qualified names in GHCi
Simon Peyton Jones [Thu, 2 Jan 2014 15:18:45 +0000 (15:18 +0000)] 
Improved out-of-scope error for qualified names in GHCi

5 years agoTest Trac #8639
Simon Peyton Jones [Thu, 2 Jan 2014 15:18:10 +0000 (15:18 +0000)] 
Test Trac #8639

5 years agoTest Trac #8639 (just the GHCi version)
Simon Peyton Jones [Tue, 31 Dec 2013 17:07:31 +0000 (17:07 +0000)] 
Test Trac #8639 (just the GHCi version)

5 years agoTest Trac #8625
Simon Peyton Jones [Tue, 31 Dec 2013 21:28:51 +0000 (21:28 +0000)] 
Test Trac #8625

5 years agoFix number literal syntax mistake
Joachim Breitner [Mon, 30 Dec 2013 21:14:19 +0000 (22:14 +0100)] 
Fix number literal syntax mistake

introduced in c2e88b34cd3cb48d4bb203b6f0e7de1980e9c570.

5 years agoError message wibbles
Simon Peyton Jones [Sat, 28 Dec 2013 12:51:19 +0000 (12:51 +0000)] 
Error message wibbles

5 years agoTest Trac #8603
Simon Peyton Jones [Sat, 28 Dec 2013 12:45:35 +0000 (12:45 +0000)] 
Test Trac #8603

5 years agoTest Trac #8633
Simon Peyton Jones [Sat, 28 Dec 2013 12:45:06 +0000 (12:45 +0000)] 
Test Trac #8633

5 years agoUpdate perf numbers for 32-bit This has not been done for ages
Simon Peyton Jones [Fri, 22 Nov 2013 22:53:50 +0000 (22:53 +0000)] 
Update perf numbers for 32-bit This has not been done for ages

5 years agoError wibbles while fixing #8607.
Richard Eisenberg [Fri, 27 Dec 2013 03:32:56 +0000 (22:32 -0500)] 
Error wibbles while fixing #8607.

5 years agoUpdate compiler performance values
Joachim Breitner [Thu, 12 Dec 2013 14:22:35 +0000 (14:22 +0000)] 
Update compiler performance values

5 years agolazy-bs-alloc improved from oneshotness stuff
Joachim Breitner [Thu, 12 Dec 2013 12:01:04 +0000 (12:01 +0000)] 
lazy-bs-alloc improved from oneshotness stuff

5 years agoAdjust output to new oneshotness
Joachim Breitner [Thu, 12 Dec 2013 11:59:33 +0000 (11:59 +0000)] 
Adjust output to new oneshotness

5 years agoTest Trac #8566
Simon Peyton Jones [Tue, 10 Dec 2013 17:53:46 +0000 (17:53 +0000)] 
Test Trac #8566

5 years agoSort the output of -dump-strsigs
Joachim Breitner [Mon, 9 Dec 2013 20:06:21 +0000 (20:06 +0000)] 
Sort the output of -dump-strsigs

5 years agoDemand Analyser testcase: Unsaturated functions
Joachim Breitner [Mon, 9 Dec 2013 17:45:48 +0000 (17:45 +0000)] 
Demand Analyser testcase: Unsaturated functions

5 years agoAdd nested CPR testcase
Joachim Breitner [Mon, 9 Dec 2013 16:35:28 +0000 (16:35 +0000)] 
Add nested CPR testcase

5 years agoMark testcase for #8598 as not broken
Joachim Breitner [Mon, 9 Dec 2013 15:50:00 +0000 (15:50 +0000)] 
Mark testcase for #8598 as not broken

5 years agoUse -ddump-strsigs in tests/stranal/sigs
Joachim Breitner [Mon, 9 Dec 2013 15:40:20 +0000 (15:40 +0000)] 
Use -ddump-strsigs in tests/stranal/sigs

because it is more reliable than the previous GHC plugin (no need to
support annotations etc.), plus it works nicely with "make accept".

5 years agoAdd testcase for #8598
Joachim Breitner [Mon, 9 Dec 2013 10:14:00 +0000 (10:14 +0000)] 
Add testcase for #8598

5 years agoMore different quotes in error messages following lexer clean-up
Joachim Breitner [Thu, 5 Dec 2013 13:06:35 +0000 (13:06 +0000)] 
More different quotes in error messages following lexer clean-up

5 years agoTest Trac #8577
Simon Peyton Jones [Thu, 5 Dec 2013 08:34:22 +0000 (08:34 +0000)] 
Test Trac #8577

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

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

6 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"

6 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!

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