summaryrefslogtreecommitdiff
path: root/testsuite
Commit message (Expand)AuthorAgeFilesLines
* Rename -Wmissing-monadfail-instance to plural-formHerbert Valerio Riedel2016-01-254-4/+4
* Fix exprIsHNF (Trac #11248)Simon Peyton Jones2016-01-251-0/+3
* Avoid recursive use of immSuperClassesSimon Peyton Jones2016-01-251-1/+1
* Refactor validity checking for type/data instancesSimon Peyton Jones2016-01-251-5/+6
* Special-case implicit params in superclass expansionSimon Peyton Jones2016-01-254-0/+37
* Implement `-Wnoncanonical-monadfail-instances` warningHerbert Valerio Riedel2016-01-243-0/+75
* Add -fwarn-redundant-constrains to test for #9708Thomas Miedema2016-01-242-0/+9
* Add test for #11473Ben Gamari2016-01-232-0/+21
* Remove -Wredundant-superclasses from standard warningsBen Gamari2016-01-232-6/+2
* Add test for Trac #11056RyanGlScott2016-01-232-0/+15
* Mark some ghci tests as req_interpReid Barton2016-01-221-3/+3
* Don't print "Loaded GHCi configuration" message in ghc -e (#11478)Reid Barton2016-01-229-2/+17
* Add tests for #11465 and the kind invariantBen Gamari2016-01-227-1/+42
* Default non-canonical CallStack constraintsEric Seidel2016-01-223-0/+27
* Add expected stderr for #11466 test caseJoachim Breitner2016-01-221-0/+6
* Always run test T9407Reid Barton2016-01-211-5/+1
* Add -ignore-dot-ghci to tests that use --interactiveReid Barton2016-01-212-3/+3
* Add a missing .gitignore entry in annotations testsReid Barton2016-01-211-0/+1
* Allow implicit parameters in constraint synonymsSimon Peyton Jones2016-01-212-1/+18
* Strip casts in checkValidInstHeadSimon Peyton Jones2016-01-213-0/+12
* Remove the check_lifted check in TcValiditySimon Peyton Jones2016-01-212-7/+8
* Re-add missing kind generalisationSimon Peyton Jones2016-01-215-6/+29
* Add test T9407 (Windows)Rik Steenkamp2016-01-203-0/+61
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-204-1/+13
* Use (&&) instead of `if` in Ix derivationBen Gamari2016-01-202-0/+12
* Fix combineIdenticalAltsSimon Peyton Jones2016-01-203-0/+43
* T11266: Improve the test by adding more of the other problematic modulesÖmer Sinan Ağacan2016-01-191-1/+3
* Fix IfaceType generation for TyCons without TyVarsÖmer Sinan Ağacan2016-01-192-0/+3
* Hide derived OccNames from userBen Gamari2016-01-195-1/+13
* Switch from -this-package-key to -this-unit-id.Edward Z. Yang2016-01-193-4/+4
* Test Trac #11379Simon Peyton Jones2016-01-182-0/+37
* Implement scoped type variables in pattern synonymsSimon Peyton Jones2016-01-182-0/+24
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-1827-104/+231
* Fix typecheck of default associated type declsSimon Peyton Jones2016-01-184-0/+40
* Add testcase for #11414Ben Gamari2016-01-172-0/+5
* Complete operators properlyArthur Fayzrakhmanov (Артур Файзрахманов)2016-01-1728-1/+654
* Add missing T11408.hsSimon Peyton Jones2016-01-161-0/+23
* Fix a number of subtle solver bugsSimon Peyton Jones2016-01-163-2/+47
* Work SourceText in for all integer literalsAlan Zimmerman2016-01-166-1/+167
* Fix #11405.Richard Eisenberg2016-01-152-2/+4
* Fix typo in error message (#11409)Richard Eisenberg2016-01-151-8/+8
* Constrained types have kind * in validity check.Richard Eisenberg2016-01-152-0/+11
* Fix #11254.Richard Eisenberg2016-01-152-1/+26
* Fix #11311Richard Eisenberg2016-01-155-0/+24
* Test #11252 in ghci/scripts/T11252Richard Eisenberg2016-01-153-0/+5
* Fix #11355.Richard Eisenberg2016-01-153-0/+15
* Expand type/kind synonyms in TyVars before deriving-related typecheckingRyanGlScott2016-01-152-0/+20
* Allow pattern synonyms which have several clauses.Matthew Pickering2016-01-152-0/+8
* Link command line libs to temp soPeter Trommler2016-01-155-0/+27
* Rename InjectiveTypeFamilies to TypeFamilyDependenciesBen Gamari2016-01-1417-17/+17