summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds
Commit message (Expand)AuthorAgeFilesLines
* 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
* Testsuite wibbles around #9200Richard Eisenberg2014-08-123-10/+2
* 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
* Entirely re-jig the handling of default type-family instances (fixes Trac #9063)Simon Peyton Jones2014-07-158-1/+51
* Test Trac #9222Simon Peyton Jones2014-07-012-0/+8
* Tidy up the printing of single-predicate contextsSimon Peyton Jones2014-06-201-1/+1
* Fix tyConToIfaceDecl (Trac #9190)Simon Peyton Jones2014-06-111-19/+19
* Test Trac #9144Simon Peyton Jones2014-05-273-0/+42
* Make the unifier a fixpoint even for the free kind vars of a tyvarSimon Peyton Jones2014-05-233-0/+23
* Print for-alls more often (Trac #9018)Simon Peyton Jones2014-04-283-4/+5
* Test Trac #8985Simon Peyton Jones2014-04-142-0/+17
* Improve error reporting for untouchable type variablesSimon Peyton Jones2014-04-082-18/+20
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-2526-84/+84
* Keep kind-inconsistent Given type equalities (fixes Trac #8705)Simon Peyton Jones2014-02-182-1/+25
* Test #7481, which had already been fixed.Richard Eisenberg2014-02-093-0/+17
* Add an expect-broken test for Trac #8566Simon Peyton Jones2014-01-172-0/+23
* Test Trac #8616Simon Peyton Jones2014-01-133-0/+22
* Update T7594 properlyJoachim Breitner2014-01-061-4/+4
* Update T7594 as a result of fixing #8644Simon Peyton Jones2014-01-032-8/+17
* Test Trac #8566Simon Peyton Jones2013-12-103-0/+50
* Test Trac #8534Simon Peyton Jones2013-11-192-0/+4
* Wibbles to output regarding role annotations.Richard Eisenberg2013-10-231-1/+0
* Test Trac #8449Simon Peyton Jones2013-10-184-0/+25
* Test Trac #8391Simon Peyton Jones2013-10-032-0/+12
* Further testsuite wibbles following changes to kind suppressionSimon Peyton Jones2013-10-021-27/+27
* Test Trac #8359Simon Peyton Jones2013-10-012-1/+19
* Error message wibbles,unknown2013-10-016-68/+64
* Fix T8132Austin Seipp2013-09-271-3/+3
* Follow changes in [7ab62490/base] (re #7633)Herbert Valerio Riedel2013-09-181-0/+1
* Follow changes in [12a8244/ghc-prim] (#7633)Herbert Valerio Riedel2013-09-181-1/+1
* Update to tests due to change in syntax for role annotations.Richard Eisenberg2013-09-171-1/+2
* Adjust test suite to new Language Pragma warnignsJoachim Breitner2013-09-142-2/+2
View Lorry Controller Status