summaryrefslogtreecommitdiff
path: root/testsuite
Commit message (Collapse)AuthorAgeFilesLines
* Clarify confusing notice from `make maintainer-clean`Jan Stolarek2014-11-061-1/+1
|
* Fix typo in testsuite MakefileHerbert Valerio Riedel2014-11-051-1/+1
| | | | | This is introduced in aa4799534225e3fc6bbde0d5e5eeab8868cc3111 and would cause indeterministic testsuite failures in `sigof02dmt`
* Remove redundant contexts from Foldable methodsDavid Feuer2014-11-051-2/+1
| | | | | | | | | | | New `Foldable` methods accidentally had `Foldable` contexts, which led to type roles being assigned incorrectly and preventing GND from deriving `Foldable` instances. Removing those fixes #9761. Moreover, this patch takes advantage of this fix by deriving `Foldable` (and `Eq`) for `UniqFM`. Differential Revision: https://phabricator.haskell.org/D425
* Temporarily disable T3064 (see #9771)Herbert Valerio Riedel2014-11-051-1/+2
| | | | | This disables T3064 temporarily as it puts a strain on buildbots during validation exhausting all available memory.
* Re-center perf-numbers for T5631Herbert Valerio Riedel2014-11-041-1/+2
|
* Test Trac #9750Simon Peyton Jones2014-11-042-0/+35
|
* Test Trac #9081Simon Peyton Jones2014-11-042-0/+11
|
* Updates to safePkg01 under Edward's guidanceSimon Peyton Jones2014-11-043-20/+17
|
* Compiler performance is much worse in for loopy givensSimon Peyton Jones2014-11-042-6/+38
| | | | | | | | | | | This is a deliberate choice, to simplify code, invariants, and I think performance in typical cases. The "loopy givens" case is situations like [G] a ~ TF (a, Int) where TF is a type function with TF (a,b) = (TF a, TF b). See Note [An alternative story for the inert substitution] in TcFlatten.
* Make this test a bit simplerSimon Peyton Jones2014-11-042-11/+2
| | | | | | There were two unrelated functions, and the `-ddump-rule-firings` output was coming in a non-deterministic order as a result. So now there is just one function.
* Testsuite error message changesSimon Peyton Jones2014-11-04121-1063/+1358
|
* Fix the superclass-cycle detection code (Trac #9739)Simon Peyton Jones2014-11-042-8/+11
| | | | | | | We were falling into an infinite loop when doing the ambiguity check on a class method, even though we had previously detected a superclass cycle. There was code to deal with this, but it wasn't right.
* Test Trac #9739Simon Peyton Jones2014-11-043-0/+17
|
* Test Trac #9747Simon Peyton Jones2014-11-042-0/+40
|
* Improve error message for a handwritten Typeable instanceSimon Peyton Jones2014-11-044-0/+11
|
* Test Trac #9708Simon Peyton Jones2014-11-043-0/+28
|
* Test Trac #9211Simon Peyton Jones2014-11-042-0/+11
|
* Further relax T1969’s max_bytes rangeJoachim Breitner2014-11-041-2/+3
|
* Update expected profiling output for scc001Joachim Breitner2014-11-031-18/+23
|
* Add GHC.Prim.oneShotJoachim Breitner2014-11-027-0/+78
| | | | | | | | | | | to allow the programer to explictitly set the oneShot flag. This helps with #7994 and will be used in left folds. Also see https://ghc.haskell.org/trac/ghc/wiki/OneShot This commit touches libraries/base/GHC/Event/Manager.hs (which used to have a local definition of the name oneShot) to avoid a shadowing error. Differential Revision: https://phabricator.haskell.org/D392
* Tweak the error message for pattern synonym methods,Dr. ERDI Gergo2014-11-026-5/+16
| | | | since they are disallowed both in class and instance declarations
* Test #9738 in th/T9738Richard Eisenberg2014-11-013-0/+18
|
* Fix testsuite output from #9084.Richard Eisenberg2014-11-012-1/+4
|
* Test #9084 in th/T9084.Richard Eisenberg2014-11-013-0/+13
| | | | | | The patch includes errors for a whole host of pragmas. But, these are generated one at a time, and it doesn't seem like a good idea to add gobs of test-cases here.
* Testsuite wibbles from fixing #8953Richard Eisenberg2014-11-017-30/+35
|
* Annotate poly-kinded type patterns in instance reification.Richard Eisenberg2014-11-011-1/+1
| | | | This should fix #8953.
* Test #8953 in th/T8953Richard Eisenberg2014-11-013-0/+59
|
* Test #9262 in th/T9262, and update other tests.Richard Eisenberg2014-11-015-20/+21
|
* Fixed T5435_dyn_asm on Windows. The test code was not in sync with the ↵Gintautas Miliauskas2014-11-011-0/+2
| | | | | | | | | | | | | | expected output. Reviewers: austin Reviewed By: austin Subscribers: thomie, carter, simonmar Differential Revision: https://phabricator.haskell.org/D403 GHC Trac Issues: #5435
* rnMethodBind: reject pattern synonyms in instance definitions (fixes #9705)Dr. ERDI Gergo2014-11-013-0/+8
|
* Split off stat (benchmark) test failures into a separate section in the test ↵Gintautas Miliauskas2014-10-312-8/+22
| | | | | | | | | | | | | | | | | runner summary. Stat tests are generally less reliable than other types of tests, so it's nice to have them in a separate section rather than interspersed with potential... Summary: ...correctness issues. Reviewers: austin Reviewed By: austin Subscribers: thomie, carter, simonmar Differential Revision: https://phabricator.haskell.org/D406
* Updated testsuite/.gitignore to exclude some test artifacts on Windows.Gintautas Miliauskas2014-10-301-1/+3
| | | | | | | | | | Reviewers: austin Reviewed By: austin Subscribers: thomie, carter, simonmar Differential Revision: https://phabricator.haskell.org/D404
* Fix test driver python3 compatibility issuesMateusz Lenik2014-10-301-5/+5
| | | | | | | | | | | | | | | | | Summary: Fixes python3 compatibility issues by replacing filter with a list comperhension and a potential issue with python2 when override_flags would be an empty list. Reviewers: austin, thomie Reviewed By: austin, thomie Subscribers: thomie, carter, simonmar, mlen Differential Revision: https://phabricator.haskell.org/D399 GHC Trac Issues: #9230
* Added mingw32-specific expected stdout files for tests/driver/sigof{01,02,03}Gintautas Miliauskas2014-10-293-0/+24
| | | | | | | | | | Reviewers: austin Reviewed By: austin Subscribers: thomie, carter, simonmar Differential Revision: https://phabricator.haskell.org/D398
* Do not use a relative path for echo in tests/ghci/prog013.Gintautas Miliauskas2014-10-291-1/+1
| | | | | | | | | | | | | | | | | | Trying to run /usr/bin/echo fails when running tests on Windows, but using plain "echo" works fine. I think it's fine to assume the environment is not doing anything particularly funny... Summary: ...with echo... Reviewers: austin Reviewed By: austin Subscribers: thomie, carter, simonmar, #ghc_windows_task_force Differential Revision: https://phabricator.haskell.org/D384
* Updated stale ghcpkg05.stderr-mingw32.Gintautas Miliauskas2014-10-291-1/+1
| | | | | | | | | | | | | Looks like the mingw32-specific test was accidentally forgotten after changing the code and the expected outputs for non OS-specific tests. Reviewers: austin Reviewed By: austin Subscribers: #ghc_windows_task_force, thomie, carter, simonmar Differential Revision: https://phabricator.haskell.org/D383
* Extra CRs are now filtered out from the source file for :list.Gintautas Miliauskas2014-10-295-0/+21
| | | | | | | | | | | | | | Fixes #9367. Reviewers: austin Reviewed By: austin Subscribers: #ghc_windows_task_force, thomie, carter, simonmar Differential Revision: https://phabricator.haskell.org/D382 GHC Trac Issues: #9367
* base: Refactor/clean-up *List modulesDavid Feuer2014-10-283-18/+17
| | | | | | | | | | | | | | | | This gets rid of all hand-unboxing in `GHC.List` and moves `Foldable` requirements from `Data.OldList` into `GHC.List` (preparatory work for addressing #9716). Specifically, this moves the definition of `maximum`, `minimum`, `foldl'`, `foldl1`, `foldl1'`, `sum`, and `product` into `GHC.List` (which now needs to import `GHC.Num`) Make `take`, `drop`, `length`, and `!!` generally saner (see also #9510) Performance overall seems minimally affected. Some things go up; some things go down; nothing moves horribly much. The code is much easier to read. Differential Revision: https://phabricator.haskell.org/D380
* testlib: Get rid of two_normalisersJoachim Breitner2014-10-283-28/+34
| | | | | And make normalise_fun polyvariadic. After all, this is untyped code, so lets make use of it :-)
* Add n-ary version of `two_normalisers` to testsuite libHerbert Valerio Riedel2014-10-282-6/+33
| | | | This is more readable than nesting `two_normalisers()`-invocations
* Normalise package key hash to make tests less fragile.Edward Z. Yang2014-10-274-8/+19
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Deactivate T3064 `max_bytes_used`-checkHerbert Valerio Riedel2014-10-271-21/+24
| | | | | | | | | | | | | | Summary: T3064 is deactivated for now because it's currently too volatile and causes too much noise in Phabricator's CI C.f. 4805abf413c02a2ed1af4fbeca2476590e984e37 Reviewers: austin Subscribers: thomie, carter, ezyang, simonmar Differential Revision: https://phabricator.haskell.org/D381
* testsuite: Fix outdated output for T5979/safePkg01Austin Seipp2014-10-262-6/+6
| | | | | | Looks like it was broken in aa4799534225. Signed-off-by: Austin Seipp <austin@well-typed.com>
* Implementation of hsig (module signatures), per #9252Edward Z. Yang2014-10-2451-6/+568
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Summary: Module signatures, like hs-boot files, are Haskell modules which omit value definitions and contain only signatures. This patchset implements one particular aspect of module signature, namely compiling them against a concrete implementation. It works like this: when we compile an hsig file, we must be told (via the -sig-of flag) what module this signature is implementing. The signature is compiled into an interface file which reexports precisely the entities mentioned in the signature file. We also verify that the interface is compatible with the implementation. This feature is useful in a few situations: 1. Like explicit import lists, signatures can be used to reduce sensitivity to upstream changes. However, a signature can be defined once and then reused by many modules. 2. Signatures can be used to quickly check if a new upstream version is compatible, by typechecking just the signatures and not the actual modules. 3. A signature can be used to mediate separate modular development, where the signature is used as a placeholder for functionality which is loaded in later. (This is only half useful at the moment, since typechecking against signatures without implementations is not implemented in this patchset.) Unlike hs-boot files, hsig files impose no performance overhead. This patchset punts on the type class instances (and type families) problem: instances simply leak from the implementation to the signature. You can explicitly specify what instances you expect to have, and those will be checked, but you may get more instances than you asked for. Our eventual plan is to allow hiding instances, but to consider all transitively reachable instances when considering overlap and soundness. ToDo: signature merging: when a module is provided by multiple signatures for the same base implementation, we should not consider this ambiguous. ToDo: at the moment, signatures do not constitute use-sites, so if you write a signature for a deprecated function, you won't get a warning when you compile the signature. Future work: The ability to feed in shaping information so that we can take advantage of more type equalities than might be immediately evident. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> Test Plan: validate and new tests Reviewers: simonpj, simonmar, hvr, austin Subscribers: simonmar, relrod, ezyang, carter, goldfire Differential Revision: https://phabricator.haskell.org/D130 GHC Trac Issues: #9252
* Add forgotten import to T9692Joachim Breitner2014-10-221-0/+1
| | | | (sorry)
* Flush stdout in T9692Joachim Breitner2014-10-221-0/+1
|
* Enabled warn on tabs by default (fixes #9230)Mateusz Lenik2014-10-218-12/+76
| | | | | | | | | | | | | | | | | | | | | | Summary: This revision enables -fwarn-tabs by default and add a suppression flag, so that GHC compilation won't fail when some files contain tab characters. Test Plan: Additional test case, T9230, was added to cover that change. Reviewers: austin Reviewed By: austin Subscribers: simonmar, ezyang, carter, thomie, mlen Differential Revision: https://phabricator.haskell.org/D255 GHC Trac Issues: #9230 Conflicts: testsuite/driver/testlib.py
* Updated testsuite/.gitignore to cover artifacts on Windows.Gintautas Miliauskas2014-10-211-3/+4
| | | | | | | | | | | | | | Test Plan: git status after a test run Reviewers: austin Reviewed By: austin Subscribers: thomie, carter, ezyang, simonmar Differential Revision: https://phabricator.haskell.org/D333 GHC Trac Issues: #9679
* Make Applicative-Monad fixes for tests.Geoffrey Mainland2014-10-213-5/+9
|
* Test #9692 in th/T9692Richard Eisenberg2014-10-213-1/+20
|
View Lorry Controller Status