summaryrefslogtreecommitdiff
path: root/testsuite/tests/roles
Commit message (Expand)AuthorAgeFilesLines
* Produce KindReps for common kinds in GHC.TypesBen Gamari2017-03-037-66/+45
* TcTypeable: Try to reuse KindRepsBen Gamari2017-03-037-251/+136
* Typeable: Rename KindRep bindings to $krep...Ben Gamari2017-03-027-138/+138
* Treat all TyCon with hole names as skolem abstract.Edward Z. Yang2017-02-262-2/+2
* Type-indexed TypeableBen Gamari2017-02-187-119/+462
* Say 'data' explicitly in IfAbstractTyCon output.Edward Z. Yang2017-02-172-2/+2
* Join pointsLuke Maurer2017-02-011-20/+21
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-222-6/+3
* Allow top-level string literals in Core (#8472)Takano Akio2017-01-201-18/+48
* base: Bump version to 4.10.0.0Ben Gamari2016-12-156-6/+6
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-2/+2
* Kill Type pretty-printerBen Gamari2016-11-131-4/+2
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-2/+3
* Testsuite: delete Roles9.stderrThomas Miedema2016-04-261-7/+0
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-201-1/+1
* Do not print DmdType in Core outputJoachim Breitner2016-03-292-15/+13
* Move DFunUnfolding generation to TcInstDclsSimon Peyton Jones2016-03-231-4/+9
* Track specified/invisible more carefully.Richard Eisenberg2016-03-211-2/+2
* Make equality print better. (#11712)Richard Eisenberg2016-03-212-2/+2
* Simplify: Make generated names more usefulBen Gamari2016-03-121-20/+32
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-244-14/+2
* Unwire Typeable representation typesBen Gamari2016-02-181-30/+30
* Improve pretty-printing of HsWrappersSimon Peyton Jones2016-02-121-6/+4
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-187-60/+157
* Visible type applicationRichard Eisenberg2015-12-242-16/+60
* Delete incorrect *-ws-32 expected test outputErik de Castro Lopo2015-12-237-269/+0
* Add -fprint-typechecker-elaboration flag (fixes #10662)Eugene Akentyev2015-12-172-4/+5
* Narrow scope of special-case for unqualified printing of names in core librariesBen Gamari2015-12-157-66/+149
* Update expected test output for 32 bit platformsErik de Castro Lopo2015-12-157-132/+73
* Add kind equalities to GHC.Richard Eisenberg2015-12-118-137/+78
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-4/+4
* New expected test output for 32 bit platformsErik de Castro Lopo2015-11-237-0/+328
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-184-8/+13
* Bump ghc-prim version to 0.5.0.0 (closes #11043)Herbert Valerio Riedel2015-11-016-6/+6
* Bump `base` version to 4.9.0.0 (closes #11026)Herbert Valerio Riedel2015-11-016-6/+6
* Generate Typeable info at definition sitesBen Gamari2015-10-307-5/+176
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-297-176/+5
* Generate Typeable info at definition sitesBen Gamari2015-10-297-5/+176
* Show minimal complete definitions in ghci (#10847)Moritz Kiefer2015-09-173-0/+7
* Fix testsBen Gamari2015-07-161-0/+2
* Remove some horrible munging of origins for CoercibleSimon Peyton Jones2015-06-182-76/+45
* Bump base version to 4.8.2.0Herbert Valerio Riedel2015-04-256-6/+6
* Change default roles in hs-boot files. (#9204)Richard Eisenberg2015-04-246-4/+18
* Rename role annotations w.r.t only local decls.Richard Eisenberg2015-04-242-0/+6
* Don't use self {-# SOURCE #-} import in test-cases.Edward Z. Yang2015-04-226-4/+10
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-231-1/+1
* Minor bump `base` version to 4.8.1.0Herbert Valerio Riedel2015-03-236-6/+6
* Bump ghc-prim to 0.4.0.0Herbert Valerio Riedel2015-03-206-46/+46
* A raft of small changes associated with -XConstrainedClassMethodsSimon Peyton Jones2015-03-041-0/+1
* Rewrite `Coercible` solverRichard Eisenberg2014-12-122-86/+76