summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds
Commit message (Expand)AuthorAgeFilesLines
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-243-4/+4
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-231-5/+5
* Testsuite: accept output without Windows line endings (#11631)Thomas Miedema2016-02-232-13/+14
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-239-127/+127
* Add a testcase for #11362Bartosz Nitka2016-02-152-0/+28
* A tiny, outright bug in tcDataFamInstDeclSimon Peyton Jones2016-02-151-2/+19
* Wrap solveEqualities in checkNoErrsSimon Peyton Jones2016-02-107-0/+57
* Fix a nasty superclass expansion bugSimon Peyton Jones2016-02-082-0/+90
* Add Edward Kmett's example as a test caseSimon Peyton Jones2016-02-082-0/+197
* 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
View Lorry Controller Status