summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds
Commit message (Expand)AuthorAgeFilesLines
* Remove HsContext from ppr_mono_ty, and remove ppParendHsTypeAlan Zimmerman2017-05-282-3/+2
* Some tidying up of type pretty-printingSimon Peyton Jones2017-05-264-7/+8
* Fix scoping of data cons during kind checkingSimon Peyton Jones2017-05-193-0/+11
* Add regression test for Trac #13659Simon Peyton Jones2017-05-093-0/+19
* Add regression test for #11616Ryan Scott2017-05-042-0/+20
* Document the kind generalization behavior observed in #13555Ryan Scott2017-04-233-0/+67
* Improve error messages for skolemsSimon Peyton Jones2017-03-102-2/+4
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-106-8/+143
* Deal with JoinIds before void typesSimon Peyton Jones2017-03-102-0/+16
* Join points can be levity-polymorphicSimon Peyton Jones2017-03-082-0/+16
* Disallow class instances for synonymsSimon Peyton Jones2017-02-213-0/+21
* Type-indexed TypeableBen Gamari2017-02-182-3/+4
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-4/+1
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-0713-16/+17
* testsuite: Add another testcase for #11821Ben Gamari2016-11-302-0/+5
* Test Trac #12885Simon Peyton Jones2016-11-282-0/+13
* Another major constraint-solver refactoringSimon Peyton Jones2016-11-254-3/+85
* Typos in commentsGabor Greif2016-10-311-2/+2
* Allow levity-polymorpic arrowsSimon Peyton Jones2016-10-273-0/+47
* Take account of kinds in promoteTcTypeSimon Peyton Jones2016-10-242-5/+3
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-8/+8
* Fix a bug in occurs checkingSimon Peyton Jones2016-09-303-0/+46
* Trac #11554 fix loopy GADTsAlexander Vieth2016-06-303-0/+18
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-201-4/+4
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-203-42/+42
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-153-28/+24
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-13/+14
* A second test for Trac #12055Simon Peyton Jones2016-06-133-0/+53
* Test Trac #12055Simon Peyton Jones2016-06-132-0/+46
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-136-75/+80
* Make inert_model and inert_eqs deterministic setsBartosz Nitka2016-05-181-2/+2
* Test Trac #11640Simon Peyton Jones2016-05-102-0/+8
* Remove the incredibly hairy splitTelescopeTvs.Richard Eisenberg2016-04-292-0/+32
* Minor improvement to error messageSimon Peyton Jones2016-04-281-1/+1
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-262-9/+9
* Warn about simplifiable class constraintsSimon Peyton Jones2016-04-221-1/+3
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-201-2/+3
* Tighten checking for associated type instancesSimon Peyton Jones2016-04-191-7/+7
* Make equality print better. (#11712)Richard Eisenberg2016-03-213-7/+6
* Clean up some pretty-printing in errors.Richard Eisenberg2016-03-151-0/+1
* Fix printing of "kind" vs. "type"Richard Eisenberg2016-03-153-0/+16
* Testsuite wibbles from previous commits.Richard Eisenberg2016-03-141-1/+1
* Fix #11648.Richard Eisenberg2016-03-145-1/+31
* Test Trac #11611Simon Peyton Jones2016-02-263-0/+15
* 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
View Lorry Controller Status