summaryrefslogtreecommitdiff
path: root/testsuite/tests
Commit message (Collapse)AuthorAgeFilesLines
* Make Applicative a superclass of MonadAustin Seipp2014-09-0934-64/+164
| | | | | | | | | | | | | | | | | | | | | Summary: This includes pretty much all the changes needed to make `Applicative` a superclass of `Monad` finally. There's mostly reshuffling in the interests of avoid orphans and boot files, but luckily we can resolve all of them, pretty much. The only catch was that Alternative/MonadPlus also had to go into Prelude to avoid this. As a result, we must update the hsc2hs and haddock submodules. Signed-off-by: Austin Seipp <austin@well-typed.com> Test Plan: Build things, they might not explode horribly. Reviewers: hvr, simonmar Subscribers: simonmar Differential Revision: https://phabricator.haskell.org/D13
* TyposGabor Greif2014-09-072-2/+2
|
* Update T4801 perf numbersJoachim Breitner2014-09-061-1/+2
| | | | | no individual cause indentified, but small improvements happened in 1719c42, 9d6fbcc, 949ad67 (or it is noise...)
* PostTcType replaced with TypeAnnotAlan Zimmerman2014-09-069-0/+206
| | | | | | | | | | | | | | | | | | | | | Summary: This is a first step toward allowing generic traversals of the AST without 'landmines', by removing the `panic`s located throughout `placeHolderType`, `placeHolderKind` & co. See more on the discussion at https://www.mail-archive.com/ghc-devs@haskell.org/msg05564.html (This also makes a corresponding update to the `haddock` submodule.) Test Plan: `sh validate` and new tests pass. Reviewers: austin, simonpj, goldfire Reviewed By: austin, simonpj, goldfire Subscribers: edsko, Fuuzetsu, thomasw, holzensp, goldfire, simonmar, relrod, ezyang, carter Projects: #ghc Differential Revision: https://phabricator.haskell.org/D157
* Do not use max_bytes_used for haddock testJoachim Breitner2014-09-061-109/+4
| | | | | | | | | | | | | | Summary: as they are unreliable and hard to re-run. Test Plan: Run the testsuite Reviewers: austin Subscribers: simonmar, ezyang, carter Differential Revision: https://phabricator.haskell.org/D200 GHC Trac Issues: #9556
* Revert "Do not test max_bytes_used et. al for haddock tests"Joachim Breitner2014-09-051-4/+109
| | | | | | This reverts commit 498d7dd2dc731a92eda2210e4ab0a04366511627. Again sorry for the noise. This is the last reverstion. I will fix this for good at around 12:13 CEST tomorrow :-)
* Small improvement to unsaturated-type-function error messageSimon Peyton Jones2014-09-041-1/+1
|
* Another test for type function saturationSimon Peyton Jones2014-09-045-0/+119
| | | | Came up on GHC users list
* Update performance numbers (mostly improved)Simon Peyton Jones2014-09-042-7/+16
|
* Do not test max_bytes_used et. al for haddock testsJoachim Breitner2014-09-041-109/+4
| | | | | | | | | | | | | | Summary: as these are unreliable, and it is hard to re-run haddock with other RTS flags. Test Plan: run validate Reviewers: austin Subscribers: simonmar, ezyang, carter Differential Revision: https://phabricator.haskell.org/D196 GHC Trac Issues: #9551
* Revert "Remove max_bytes_used test from haddock test cases"Joachim Breitner2014-09-041-4/+109
| | | | | | | This reverts commit 8c427ebe9c34b9bcecd41fb0584d24989c00ffe6. Sorry for the noise, but I need to practice my HIW talk, which will involve some live development...
* Remove max_bytes_used test from haddock test casesJoachim Breitner2014-09-021-109/+4
| | | | | | | | | | | | | | | | | | | | Summary: as these are not very reliable, and the advice to make them reliable is hard to apply to them. (This is just my practicing phab...) Test Plan: validate Reviewers: austin Reviewed By: austin Subscribers: carter, ezyang, simonmar Differential Revision: https://phabricator.haskell.org/D188 GHC Trac Issues: #9535
* Revert "Fix a couple test failures encountered when building on Windows"Austin Seipp2014-09-015-20/+10
| | | | | This reverts commit 9711f78f790d10d914e08851544c6fc96f9a030a, as it's causing build phailures in phabricator.
* Fix a couple test failures encountered when building on WindowsAustin Seipp2014-09-015-13/+23
| | | | | | | | | | | | | | Summary: * Adjusts performance tests * Change ghcpkg05.stderr-mingw32 to match ghcpkg05.stderr Test Plan: Ran 'sh validate' and observed fewer test failures afterwards Reviewers: austin Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D191
* StringBuffer should not contain initial byte-order mark (BOM)Thomas Miedema2014-09-012-0/+35
| | | | | | | | | | | | | | | | | | | | Summary: Just skipping over a BOM, but leaving it in the Stringbuffer, is not sufficient. The Lexer calls prevChar when a regular expression starts with '^' (which is a shorthand for '\n^'). It would never match on the first line, since instead of '\n', prevChar would still return '\xfeff'. Test Plan: validate Reviewers: austin, ezyang Reviewed By: austin, ezyang Subscribers: simonmar, ezyang, carter Differential Revision: https://phabricator.haskell.org/D176 GHC Trac Issues: #6016
* testsuite: update T6056 rule firing orderSergei Trofimovich2014-09-011-2/+2
| | | | | | | | | | | | | | | | Fixes testsuite failure. Summary: Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> Test Plan: validate --slow Reviewers: simonpj, austin Reviewed By: austin Subscribers: simonmar, ezyang, carter Differential Revision: https://phabricator.haskell.org/D184
* Make ghc-api cleaning less aggressive.Edward Z. Yang2014-09-011-3/+6
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Re-export Word from Prelude (re #9531)Herbert Valerio Riedel2014-08-313-3/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The original proposal text can be found at http://www.haskell.org/pipermail/libraries/2014-August/023491.html The proposal passed with a clear majority, and was additionally confirmed by the core libraries committee. *Compatibility Note* Only code that imports `Data.Word` for the sole purpose of using `Word` *and* requires to be `-Werror`-clean (due to `-fwarn-unused-imports`) is affected by this change. In order to write warning-free forward/backward compatible against `base`, a variant of the following CPP-based snippet can be used: -- Starting with base>4.7.0 or GHC>7.8 Prelude re-exports 'Word' -- The following is needed, if 'Word' is the *only* entity needed from Data.Word #ifdef MIN_VERSION_base # if !MIN_VERSION_base(4,7,1) import Data.Word (Word) # endif -- no cabal_macros.h -- fallback to __GLASGOW_HASKELL__ #elif __GLASGOW_HASKELL__ < 709 import Data.Word (Word) #endif This also updates the haddock submodule in order to avoid a compile warning
* Some typosGabor Greif2014-08-301-1/+1
|
* testsuite: normalise integer library name for T8958Sergei Trofimovich2014-08-302-2/+2
| | | | Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* Do not say we cannot when we clearly canGabor Greif2014-08-291-15/+3
|
* Performance improvement of the compiler itselfSimon Peyton Jones2014-08-292-5/+12
| | | | | | | | | | | | | | | | This is a result of one of these, or a combination 002b7a2b * Give the worker for an INLINABLE function a suitably-phased Activation ca666b8b * When finding loop breakers, distinguish INLINE from INLINEABLE a98c9c5e * Fix a bug in CSE, for INLINE/INLNEABLE things Some changes are quite big: for bytes_allocated we have T6048: 13% below expected T5837: 15% below expected T3064: 5% below expected Of course, these might have already been close to their lower threshold, so perhaps not all the improvement is from here. But it is good news all the same.
* 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>
View Lorry Controller Status