summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds
Commit message (Expand)AuthorAgeFilesLines
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-8/+8
* Fix exprIsHNF (Trac #11248)Simon Peyton Jones2016-01-251-0/+3
* Avoid recursive use of immSuperClassesSimon Peyton Jones2016-01-251-1/+1
* Special-case implicit params in superclass expansionSimon Peyton Jones2016-01-252-0/+27
* Add expected stderr for #11466 test caseJoachim Breitner2016-01-221-0/+6
* Allow implicit parameters in constraint synonymsSimon Peyton Jones2016-01-212-1/+18
* Re-add missing kind generalisationSimon Peyton Jones2016-01-213-0/+24
* Fix #11255.Richard Eisenberg2015-12-262-0/+7
* Visible type applicationRichard Eisenberg2015-12-248-14/+37
* Fix super-class cycle checkSimon Peyton Jones2015-12-232-1/+7
* Test Trac #11248, #11249Simon Peyton Jones2015-12-183-0/+86
* Fix tcTyClTyVars to handle SigTvsRichard Eisenberg2015-12-171-1/+1
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-154-32/+40
* Test #9017 in polykinds/T9017Richard Eisenberg2015-12-113-0/+35
* Add kind equalities to GHC.Richard Eisenberg2015-12-1137-156/+217
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-0111-82/+80
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-243-6/+6
* Create a deterministic version of tyVarsOfTypeBartosz Nitka2015-11-211-24/+24
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-181-2/+3
* Generate Typeable info at definition sitesBen Gamari2015-10-301-2/+2
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-2/+2
* Generate Typeable info at definition sitesBen Gamari2015-10-291-2/+2
* Fix kind-var abstraction in SimplUtils.abstractFloatsSimon Peyton Jones2015-10-062-0/+39
* Test Trac #10742Simon Peyton Jones2015-08-062-0/+15
* Test Trac #10134Simon Peyton Jones2015-08-033-0/+31
* Fix Trac #10670Simon Peyton Jones2015-07-233-0/+80
* Testsuite: delete remaining only_compiler_types(['ghc']) setupsThomas Miedema2015-07-141-2/+0
* Improve error message for fundepsSimon Peyton Jones2015-07-104-1/+23
* Test Trac #10503Simon Peyton Jones2015-06-183-0/+26
* Remove some horrible munging of origins for CoercibleSimon Peyton Jones2015-06-181-5/+5
* Report arity errors correctly despite kindsSimon Peyton Jones2015-06-184-24/+38
* Increase constraint tuple limit to 62 (Trac #10451)Nick Terrell2015-06-142-3/+35
* Test Trac #10451Simon Peyton Jones2015-06-023-1/+18
* Custom `Typeable` solver, that keeps track of kinds.Iavor S. Diatchki2015-03-071-3/+1
* A raft of small changes associated with -XConstrainedClassMethodsSimon Peyton Jones2015-03-043-20/+22
* Test Trac #10041Simon Peyton Jones2015-02-062-0/+12
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-069-2/+27
* Print singleton consraints without parensSimon Peyton Jones2015-01-065-68/+68
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-063-66/+66
* Uncomment the instance signatures, to activate the testSimon Peyton Jones2014-12-021-3/+3
* Test Trac #7908Simon Peyton Jones2014-12-012-1/+50
* Fix the handling of instance signatures (Trac #9582, #9833)Simon Peyton Jones2014-12-012-0/+20
* Kind variables in RHS of an associated type instances should be bound on LHSSimon Peyton Jones2014-11-284-2/+25
* Don't require ConstraintKinds at usage sites (Trac #9838)Simon Peyton Jones2014-11-273-0/+18
* Test Trac #9569Simon Peyton Jones2014-11-212-0/+26
* Trac #9222 is actually an ambiguous type, now detectedSimon Peyton Jones2014-11-213-1/+31
* Test Trac #9750Simon Peyton Jones2014-11-042-0/+35
* Testsuite error message changesSimon Peyton Jones2014-11-042-23/+24
* Use correct precedence when printing contexts with class operatorsSimon Peyton Jones2014-10-071-1/+2
* Make Applicative a superclass of MonadAustin Seipp2014-09-092-2/+10
View Lorry Controller Status