summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcPluginM.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: Core (#13009)Sylvain Henry2020-03-161-6/+6
* Modules: Driver (#13009)Sylvain Henry2020-02-211-2/+2
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-1/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-3/+3
* Always enable the external interpreterJohn Ericson2019-10-041-7/+0
* Refine the GHCI macro into HAVE[_{INTERNAL, EXTERNAL}]_INTERPRETERAlp Mestanogullari2019-06-111-2/+2
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-2/+2
* Turn EvTerm (almost) into CoreExpr (#14691)Joachim Breitner2018-01-261-2/+2
* Refactor coercion holesSimon Peyton Jones2017-12-211-2/+2
* Fix build with GhcWithInterpreter=NOHerbert Valerio Riedel2017-09-221-0/+3
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Prefer #if defined to #ifdefBen Gamari2017-04-281-2/+2
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-13/+3
* TcMType: Add some elementary notesBen Gamari2016-02-021-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-30/+34
* Add constraint creation functions to TcPluginM APIAdam Gundry2015-06-011-4/+63
* Amend TcPluginM interfaceAdam Gundry2014-12-181-8/+23
* Filter instance visibility based on set of visible orphans, fixes #2182.ghc-instvisEdward Z. Yang2014-11-291-1/+1
* Implement typechecker pluginsAdam Gundry2014-11-201-0/+123