summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/T7939.stdout
Commit message (Expand)AuthorAgeFilesLines
* Use GHC2021 as default languageJoachim Breitner2021-03-101-7/+7
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-4/+4
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-7/+15
* Print explicit foralls in type family eqns when appropriateRyan Scott2018-11-261-12/+10
* Make ppr_tc_args aware of -fprint-explicit-kindsRyan Scott2018-07-051-4/+4
* Only pretty-print binders in closed type families with -fprint-explicit-forallsRyan Scott2017-04-251-4/+4
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-2/+2
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-2/+2
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-13/+6
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-181-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-13/+22
* Do pretty-printing of TyThings via IfaceDecl (Trac #7730)Simon Peyton Jones2014-06-031-7/+9
* Modularise pretty-printing for forallsSimon Peyton Jones2014-05-061-2/+2
* Wibbles to output regarding role annotations.Richard Eisenberg2013-10-231-13/+3
* Error wibbles now that we print roles in :infoSimon Peyton Jones2013-10-081-3/+13
* Error messsage wibblificationSimon Peyton Jones2013-10-041-23/+23
* Error message wibbles,unknown2013-10-011-23/+23
* Test kind inference for closed type families/T7939.Richard Eisenberg2013-06-271-2/+21
* Test Trac #7939Simon Peyton Jones2013-05-271-0/+4
View Lorry Controller Status