summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Comments onlywip/T17509Simon Peyton Jones2020-02-061-0/+28
* Use foldTyCo for exactTyCoVarsOfTypeSimon Peyton Jones2020-02-063-87/+70
* Use foldTyCo for coVarsOfTypeSimon Peyton Jones2020-02-061-32/+57
* Simplify closeOverKindsSimon Peyton Jones2020-02-063-23/+29
* Use foldTyCo for noFreeVarsOfTypeSimon Peyton Jones2020-02-061-64/+15
* Reform the free variable finders for typesSimon Peyton Jones2020-02-064-239/+543
* Move closeOverKinds and friends to TyCoFVsBen Gamari2020-02-062-29/+37
* VarSet: Introduce nonDetFoldVarSetBen Gamari2020-02-061-0/+4
* Remove CafInfo-related code from STG lambda lift passÖmer Sinan Ağacan2020-02-052-33/+5
* PmCheck: Record type constraints arising from existentials in `PmCoreCt`sSebastian Graf2020-02-052-106/+134
* Delete some superfluous helper functions in HscMainJohn Ericson2020-02-041-35/+16
* Refactor HscMain.finishJohn Ericson2020-02-031-30/+32
* Fix docs for FrontendResultJohn Ericson2020-02-031-5/+3
* Fix scoping of TyCon binders in TcTyClsDeclsSimon Peyton Jones2020-02-016-294/+550
* Improve pretty-printing for TyConBindersSimon Peyton Jones2020-02-011-2/+2
* Improve skolemisationSimon Peyton Jones2020-02-011-11/+32
* A few optimizations in STG and Cmm parts:Andreas Klebinger2020-01-319-33/+62
* Do CafInfo/SRT analysis in CmmÖmer Sinan Ağacan2020-01-3156-871/+1058
* rename: Eliminate usage of mkVarOccUniqueBen Gamari2020-01-311-6/+4
* Refactor package related codeSylvain Henry2020-01-3119-349/+364
* Call `interpretPackageEnv` from `setSessionDynFlags`Sylvain Henry2020-01-312-145/+147
* Disable two warnings for files that trigger themTom Ellis2020-01-27119-0/+231
* Use splitLHs{ForAll,Sigma}TyInvis throughout the codebaseRyan Scott2020-01-276-47/+32
* Do not bring visible foralls into scope in hsScopedTvswip/T17687Ryan Scott2020-01-251-14/+18
* Module hierarchy: Cmm (cf #13009)Sylvain Henry2020-01-25123-648/+649
* Handle local fixity declarations in DsMeta properlyRyan Scott2020-01-253-31/+76
* PmCheck: Properly handle constructor-bound type variablesSebastian Graf2020-01-255-88/+133
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-2516-520/+521
* `-ddump-str-signatures` dumps Text, not STG [skip ci]Sebastian Graf2020-01-251-1/+1
* Add missing Note [Improvement from Ground Wanteds]Ben Gamari2020-01-201-0/+13
* Remove deprecated -smp flagÖmer Sinan Ağacan2020-01-201-2/+0
* llvmGen: Fix #14251Ben Gamari2020-01-202-23/+115
* llvmGen: Fix typo in readnone attributeBen Gamari2020-01-201-1/+1
* llvmGen: Don't trash STG registersBen Gamari2020-01-201-38/+2
* Document Stg.FVs moduleÖmer Sinan Ağacan2020-01-201-1/+39
* Revert "`exprOkForSpeculation` for Note [IO hack in the demand analyser]"Sebastian Graf2020-01-161-11/+11
* replace dead html link (fixes #17661)Adam Wespiser2020-01-161-1/+1
* Remove special case case of bool during STG -> C--John Ericson2020-01-162-86/+1
* Get rid of OpDestJohn Ericson2020-01-161-598/+583
* Handle TagToEnum in the same big case as the other primopsJohn Ericson2020-01-161-35/+50
* Better documentation for mkEtaWW [skip ci]Sebastian Graf2020-01-161-11/+24
* Comments in TcHsTypeSimon Peyton Jones2020-01-121-2/+2
* Minor refactor around quantified constraintsSimon Peyton Jones2020-01-122-13/+41
* Comments about constraint floatingSimon Peyton Jones2020-01-121-0/+5
* Add comments about TH levelsSimon Peyton Jones2020-01-123-6/+12
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-1297-293/+293
* Don't zap to Any; error insteadRichard Eisenberg2020-01-128-50/+119
* Overloaded Quotation Brackets (#246)Matthew Pickering2020-01-1215-556/+917
* improve docs for HeaderInfo.getImportsAdam Sandberg Eriksson2020-01-121-1/+2
* Print Core type applications with no whitespace after @ (#17643)Ryan Scott2020-01-086-11/+11
View Lorry Controller Status