summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils
Commit message (Expand)AuthorAgeFilesLines
* Refactor LoggerSylvain Henry2021-02-132-23/+32
* Fix typosBrian Wignall2021-02-062-2/+2
* The Char kind (#11342)Daniel Rogozin2021-02-061-0/+1
* typecheck: Eliminate allocations in tc_eq_typeBen Gamari2021-02-021-13/+36
* Introduce the DecoratedSDoc typeAlfredo Di Napoli2021-02-012-19/+27
* Rename ErrMsg into MsgEnvelopeAlfredo Di Napoli2021-02-011-9/+9
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-015-61/+60
* Make PatSyn immutableSimon Peyton Jones2021-01-291-3/+3
* Separate AST from GhcPass (#18936)John Ericson2021-01-231-1/+1
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-233-38/+24
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-2/+2
* Parameterise Messages over eAlfredo Di Napoli2021-01-222-34/+31
* Factorize and document binder collect functionsSylvain Henry2021-01-221-2/+2
* Remove unused extension pragmas from the compiler code baseHécate2021-01-172-2/+0
* Never Anyify during kind inferenceRichard Eisenberg2021-01-092-51/+208
* Remove errShortString, cleanup error-related functionsAlfredo Di Napoli2021-01-091-9/+6
* Implement Unique supply with Addr# atomic primopSylvain Henry2021-01-051-1/+0
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-43/+59
* Put hole instantiation typechecking in the module graph and fix driver batch ...John Ericson2020-12-281-23/+32
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-252-12/+23
* Refactor renamer datastructuresAdam Gundry2020-12-242-8/+13
* Kill floatEqualities completelySimon Peyton Jones2020-12-205-228/+243
* Improve inference with linear typesKrzysztof Gogolewski2020-12-201-6/+7
* Cite "Kind Inference for Datatypes"Richard Eisenberg2020-12-181-0/+3
* Unfortunate dirty hack to overcome #18998.Richard Eisenberg2020-12-171-1/+33
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-142-1/+5
* Move Unit related fields from DynFlags to HscEnvSylvain Henry2020-12-143-20/+16
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-142-5/+1
* Optimise nullary type constructor usageBen Gamari2020-12-142-1/+5
* Implement type applications in patternsCale Gibbard2020-12-141-4/+4
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-013-25/+3
* Remove flattening variablesRichard Eisenberg2020-12-014-281/+279
* Use tcSplitForAllInvisTyVars (not tcSplitForAllTyVars) in more placesRyan Scott2020-11-153-11/+18
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-153-35/+35
* Refactor -dynamic-too handlingSylvain Henry2020-11-061-4/+9
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-064-15/+37
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-013-58/+58
* Make typechecker equality consider visibility in ForAllTysRyan Scott2020-10-312-5/+29
* Split GHC.Driver.TypesSylvain Henry2020-10-296-104/+166
* Minor comments, update linear types docsKrzysztof Gogolewski2020-10-201-1/+0
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-107-39/+43
* Cache HomeUnit in HscEnv (#17957)Sylvain Henry2020-10-093-14/+17
* Remove mAIN completelyFendor2020-10-011-2/+1
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-242-42/+103
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-246-284/+298
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-151-3/+3
* Extract definition of DsM into GHC.HsToCore.TypesSebastian Graf2020-09-121-15/+8
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-121-2/+2
* DynFlags: add UnfoldingOpts and SimpleOptsSylvain Henry2020-09-091-0/+1
* Refactor UnitId pretty-printingSylvain Henry2020-08-263-34/+39
View Lorry Controller Status