summaryrefslogtreecommitdiff
path: root/testsuite/tests
Commit message (Collapse)AuthorAgeFilesLines
...
* Finally! Test Trac #6056Simon Peyton Jones2014-08-294-0/+37
|
* Give the worker for an INLINABLE function a suitably-phased ActivationSimon Peyton Jones2014-08-293-5/+6
| | | | | See Note [Activation for INLINABLE worker]. This was preventing Trac #6056 from working.
* Fix failing test on BINDIST=YESEdward Z. Yang2014-08-291-1/+1
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Change testsuite to not use old-style file package databasesDuncan Coutts2014-08-297-12/+13
| | | | Now uses ghc-pkg init. The file-style databases are no longer supported.
* Testsuite wibblesSimon Peyton Jones2014-08-291-1/+6
|
* Rename red-black test in indexed-types to red-black-deleteSimon Peyton Jones2014-08-292-1/+1
|
* Better compiler performance (30% less allocation) for T783!Simon Peyton Jones2014-08-291-1/+3
|
* White space onlySimon Peyton Jones2014-08-291-0/+1
|
* Fix syntax in perf/compiler/all.TSimon Peyton Jones2014-08-291-1/+0
|
* Improve trimming of auto-rulesSimon Peyton Jones2014-08-291-16/+0
| | | | | | | | | | | | | | I hadn't got the new function trimAutoRules quite right, so we had a left-over rule which mentioned a local variable whose binding had been discarded. (Result: crash when compiling Haddock.) This patch merges trimAutoRules into an expanded version of findExternalRules, gets it right, and adds lots of comments. See Note [Finding external rules]. And indeed in one regression test we get to trim off more rules (and hence code) than before.
* Add an interesting type-family/GADT example of deletion for red-black treesSimon Peyton Jones2014-08-282-0/+328
| | | | Due to Stephanie Weirich, Dan Licata, John Hughes, Matt Might
* testsuite: disable 'rdynamic' for 'ghci' waySergei Trofimovich2014-08-281-1/+5
| | | | | | | '-rdynamic' is currently only a link-time option. Does not make sense for ghci without major changes. Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* testsuite: disable T367_letnoescape on 'optllvm'Sergei Trofimovich2014-08-281-1/+1
| | | | | | Known Issue #7297 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* Testsuite wibblesSimon Peyton Jones2014-08-282-5/+4
|
* Performance changesSimon Peyton Jones2014-08-281-0/+6
| | | | | | | | * T1969 improves, perhaps because of better specialiation * T5642 (a bizarre case) worsens, because we get lots and lots of specialisations of imported functions for the lots and lots of data types T5642 declares
* Testsuite wibblesSimon Peyton Jones2014-08-283-2/+25
|
* Compiler performance increases -- yay!Simon Peyton Jones2014-08-281-8/+8
|
* More SPEC rules fireSimon Peyton Jones2014-08-282-4/+6
|
* Wibbles to "...plus N others" error message about instances in scopeSimon Peyton Jones2014-08-289-28/+20
| | | | I this this arises from my de-orphaning the Enum Word instance
* Refactor unfoldingsSimon Peyton Jones2014-08-2811-61/+57
| | | | | | | | | | | | | | | | | | | | There are two main refactorings here 1. Move the uf_arity field out of CoreUnfolding into UnfWhen It's a lot tidier there. If I've got this right, no behaviour should change. 2. Define specUnfolding and use it in DsBinds and Specialise a) commons-up some shared code b) makes sure that Specialise correctly specialises DFun unfoldings (which it didn't before) The two got put together because both ended up interacting in the specialiser. They cause zero difference to nofib.
* Two buglets in record wild-cards (Trac #9436 and #9437)Simon Peyton Jones2014-08-255-0/+24
| | | | | | | of named fields, whereas the code in RnPat.rnHsRecFields is much better set up to do so. Both easily fixed.
* Check for un-saturated type family applicationsSimon Peyton Jones2014-08-253-0/+21
| | | | | | | | | | | | | | | | | | | | This patch corrects an egregious error introduced by: commit 022f8750edf6f413fba31293435dcc62600eab77 Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Thu May 15 16:07:04 2014 +0100 Refactoring around TyCon.isSynTyCon * Document isSynTyCon better * Add isTypeSyonymTyCon for regular H98 type synonyms * Use isTypeSynonymTyCon rather than isSynTyCon where the former is really intended At this particular spot in TcValidity we really do mean isSynTyCon and not isTypeSynonymTyCon. Fixes Trac #9433
* testsuite: add 16-byte case for T9329Sergei Trofimovich2014-08-251-1/+7
| | | | | | Exposes Issue #9512 on amd64 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* testsuite: added 'bytes allocated' for T9339 wordsize(32)Sergei Trofimovich2014-08-241-1/+2
| | | | Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* testsuite: mark testwsdeque mark as faulty on NOSMP buildsSergei Trofimovich2014-08-231-0/+1
| | | | Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* testsuite: disable memcpy asm comparison tests on UNREGSergei Trofimovich2014-08-231-8/+9
| | | | Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* testsuite: T7815 requires SMP support from ghcSergei Trofimovich2014-08-231-0/+1
| | | | Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* Enable GHC API tests by default.Edward Z. Yang2014-08-223-5/+5
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Normalise GHC version number to make tests less fragile.Edward Z. Yang2014-08-224-13/+16
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Do not zero out version number when processing wired-in packages.Edward Z. Yang2014-08-2226-45/+58
| | | | | | | | | | | | | | | | | | | | | | | | | | Summary: Previously, GHC would look for instances of wired-in packages in the in-memory package database and null out the version number. This was necessary when the sourcePackageId was used to determine the linker symbols; however, we now use a package key, so only that needs to be updated. Long-term, we can remove this hack by ensuring that Cabal actually records the proper package key in the database. This will also fix an unrelated hack elsewhere. Keeping version numbers means that wired in packages get rendered differently when output by GHC. This is the source of all the test-case output changes. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> Test Plan: validate Reviewers: hvr, austin Subscribers: simonmar, ezyang, carter Differential Revision: https://phabricator.haskell.org/D170
* T8832: fix no newline at end of file warningKarel Gardas2014-08-211-1/+1
|
* Correct checkStrictBinds for generalised typearchblob2014-08-193-0/+20
| | | | | | | | See Trac #9140. Auditors: simonpj Signed-off-by: Austin Seipp <austin@well-typed.com>
* Add test case for #9046Vitaly Bragilevsky2014-08-193-0/+5
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Have the RTS linker search symbols in the originating windows binary.Facundo Domínguez2014-08-181-3/+1
| | | | | | | | | | | | | | | | Summary: In initLinker, this patch adds the handle of the module corresponding to the program binary to the list of DLL handles that lookupSymbol uses to search for symbols. Test Plan: validate Reviewers: simonmar, austin Reviewed By: simonmar, austin Subscribers: phaskell, simonmar, relrod, ezyang, carter Differential Revision: https://phabricator.haskell.org/D103 GHC Trac Issues: #9382
* Implement -rdynamic in Linux and Windows/MinGW32.Facundo Domínguez2014-08-183-0/+47
| | | | | | | | | | | | | | | | | | Summary: In Linux, it is a synonym for -optl -rdynamic. In Windows, it is a synonym for -optl -export-all-symbols. Test Plan: validate Reviewers: simonmar, austin Reviewed By: simonmar, austin Subscribers: mboes, phaskell, simonmar, relrod, ezyang, carter Differential Revision: https://phabricator.haskell.org/D102 GHC Trac Issues: #9381
* testsuite/T9379: Use GHC.Conc instead of Control.Concurrent.STMBen Gamari2014-08-181-1/+3
| | | | | | | | | | | | | | | | | | Summary: `GHC.Conc` provides almost everything we need. Signed-off-by: Ben Gamari <bgamari.foss@gmail.com> Test Plan: make test TEST=T9379 Reviewers: austin, simonmar Reviewed By: austin, simonmar Subscribers: phaskell, simonmar, relrod, ezyang, carter Differential Revision: https://phabricator.haskell.org/D152
* concurrent/should_run/throwto002: DoRec -> RecursiveDoBen Gamari2014-08-181-1/+1
| | | | | | | | | | | | | | Summary: Test case used old extension name; update it. Test Plan: validate Reviewers: austin Reviewed By: austin Subscribers: simonmar, relrod, ezyang, carter Differential Revision: https://phabricator.haskell.org/D161
* ghci/scripts/ghci016: Add implementation for negateBen Gamari2014-08-181-0/+1
| | | | | | | | | | | | | | Summary: This previously produced a warning Test Plan: validate Reviewers: austin Reviewed By: austin Subscribers: simonmar, relrod, ezyang, carter Differential Revision: https://phabricator.haskell.org/D162
* Make T8832 operative on 32-bit systems (#8832)Reid Barton2014-08-184-3/+16
| | | | (Also, the 'extra_clean' was unnecessary.)
* Implement new CLZ and CTZ primops (re #9340)Herbert Valerio Riedel2014-08-143-0/+98
| | | | | | | | | | | | | | | | | | | | | | | | This implements the new primops clz#, clz32#, clz64#, ctz#, ctz32#, ctz64# which provide efficient implementations of the popular count-leading-zero and count-trailing-zero respectively (see testcase for a pure Haskell reference implementation). On x86, NCG as well as LLVM generates code based on the BSF/BSR instructions (which need extra logic to make the 0-case well-defined). Test Plan: validate and succesful tests on i686 and amd64 Reviewers: rwbarton, simonmar, ezyang, austin Subscribers: simonmar, relrod, ezyang, carter Differential Revision: https://phabricator.haskell.org/D144 GHC Trac Issues: #9340
* Testsuite wibbles around #9200Richard Eisenberg2014-08-125-14/+6
|
* Change treatment of CUSKs for synonyms and families (#9200).Richard Eisenberg2014-08-121-1/+11
|
* Added more testing for #9200. (polykinds/T9200b)Richard Eisenberg2014-08-123-0/+17
|
* Test #9200. (polykinds/T9200)Richard Eisenberg2014-08-122-0/+20
|
* Test #9415 (typecheck/should_fail/T9415)Richard Eisenberg2014-08-123-0/+14
|
* Test #9371 (indexed-types/should_fail/T9371)Richard Eisenberg2014-08-123-0/+31
|
* x86: Always generate add instruction in MO_Add2 (#9013)Reid Barton2014-08-111-4/+1
| | | | | | | | | | | | | Test Plan: - ran validate - ran T9013 test with all ways - ran CarryOverflow test with all ways, for good measure Reviewers: austin, simonmar Reviewed By: simonmar Differential Revision: https://phabricator.haskell.org/D137
* fix T4981-V3 to avoid DOS line endingsKarel Gardas2014-08-101-44/+43
|
* fix T4981-V3 and T9208 tests for no newline at end of file warningKarel Gardas2014-08-102-2/+3
| | | | | | | | | | | | Test Plan: validated on Linux and tested on Solaris Reviewers: ezyang, austin Reviewed By: ezyang, austin Subscribers: phaskell, simonmar, relrod, ezyang, carter Differential Revision: https://phabricator.haskell.org/D134
* fix T4201 to avoid GNU grep specific -B option by usage of pure POSIX toolsKarel Gardas2014-08-101-2/+5
| | | | | | | | | | | | Test Plan: validated on Linux and tested on Solaris Reviewers: austin Reviewed By: austin Subscribers: phaskell, simonmar, relrod, ezyang, carter Differential Revision: https://phabricator.haskell.org/D135
View Lorry Controller Status