summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Bind.hs
Commit message (Expand)AuthorAgeFilesLines
* Bring back COMPLETE sets filtered by result TyCon (#14422)Cale Gibbard2021-03-041-5/+10
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-011-2/+2
* Fix typosBrian Wignall2021-02-061-1/+1
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-1/+1
* Make PatSyn immutableSimon Peyton Jones2021-01-291-1/+1
* Factorize and document binder collect functionsSylvain Henry2021-01-221-7/+7
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-16/+31
* INLINE pragma for patterns (#12178)Cale Gibbard2020-12-311-2/+2
* Remove flattening variablesRichard Eisenberg2020-12-011-2/+1
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-1/+1
* Split GHC.Driver.TypesSylvain Henry2020-10-291-0/+1
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-5/+6
* Extract definition of DsM into GHC.HsToCore.TypesSebastian Graf2020-09-121-1/+1
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-121-101/+10
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-191-27/+99
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-2/+2
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-14/+14
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-11/+33
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-64/+84
* Explicit SpecificityGert-Jan Bottu2020-05-211-8/+11
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-9/+9
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-2/+2
* Do eager instantation in termsSimon Peyton Jones2020-04-221-6/+4
* Modules (#13009)Sylvain Henry2020-04-181-3/+3
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-4/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+1737
View Lorry Controller Status