summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl/Utils.hs
Commit message (Expand)AuthorAgeFilesLines
* Flesh out Note [The stupid context] and reference itRyan Scott2021-11-091-1/+2
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-021-2/+3
* compiler: Rename nameEnvElts -> nonDetNameEnvEltsBen Gamari2021-09-291-3/+3
* TH stage restriction check for constructors, selectors, and class methodsAndrea Condoluci2021-09-291-2/+7
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-1/+3
* Changes to HsRecField'Shayne Fletcher2021-05-191-5/+5
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-6/+7
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-1/+1
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-0/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-201-16/+20
* Implement NoFieldSelectors extension (ghc-proposals 160)Adam Gundry2021-02-161-2/+25
* Fix typosBrian Wignall2021-02-061-1/+1
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-3/+2
* Split GHC.Driver.TypesSylvain Henry2020-10-291-16/+25
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-7/+6
* Add TyCon Set/Env and use them in a few places.Andreas Klebinger2020-10-091-22/+27
* Linear types: fix roles in GADTs (#18799)Krzysztof Gogolewski2020-10-091-2/+2
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-5/+0
* mkUnique refactoring (#18362)Aditya Gupta2020-08-221-1/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Various performance improvementsKrzysztof Gogolewski2020-06-171-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-6/+10
* Explicit SpecificityGert-Jan Bottu2020-05-211-2/+2
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Refactoring unit management codeSylvain Henry2020-04-301-3/+3
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-7/+7
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-1/+1
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Use conLikeUserTyVarBinders to quantify field selector typesRyan Scott2020-04-121-15/+54
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+1059