summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils
Commit message (Expand)AuthorAgeFilesLines
* 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
* Use LIdP rather than (XRec p (IdP p))Simon Peyton Jones2020-08-251-6/+4
* mkUnique refactoring (#18362)Aditya Gupta2020-08-221-0/+1
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-191-2/+2
* Add HomeUnit typeSylvain Henry2020-08-133-16/+22
* DynFlags: disentangle OutputableSylvain Henry2020-08-128-0/+11
* Care with occCheckExpand in kind of occurrencesSimon Peyton Jones2020-07-241-19/+7
* Improve typechecking of NPlusK patternsSimon Peyton Jones2020-07-182-22/+23
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-184-456/+521
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-142-21/+64
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-6/+12
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Don't generalize when typechecking a tuple sectionKrzysztof Gogolewski2020-06-271-1/+1
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-261-5/+5
View Lorry Controller Status