summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Deriv/Utils.hs
Commit message (Expand)AuthorAgeFilesLines
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-17/+23
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-1/+1
* Minor cleanupKrzysztof Gogolewski2022-04-011-2/+2
* Fix and simplify DeriveAnyClass's context inference using SubTypePredSpecRyan Scott2022-03-241-96/+244
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-1/+1
* Refactor tcDeriving to generate tyfam insts before any bindingsRyan Scott2022-03-111-68/+110
* Fix some notesMatthew Pickering2022-02-081-1/+1
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-3/+8
* DeriveGeneric: look up datacon fixities using getDataConFixityFunRyan Scott2022-01-251-3/+5
* Instantiate field types properly in stock-derived instancesRyan Scott2021-11-151-38/+43
* Refactoring: Consolidate some arguments with DerivInstTysRyan Scott2021-11-151-73/+40
* Flesh out Note [The stupid context] and reference itRyan Scott2021-11-091-0/+3
* Eradicate TcRnUnknownMessage from GHC.Tc.DerivAlfredo Di Napoli2021-10-051-87/+62
* Reword: representation instead of levitysheaf2021-06-101-1/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-201-3/+3
* WorkWrap: Unbox constructors with existentials (#18982)Sebastian Graf2020-12-231-2/+2
* Split GHC.Driver.TypesSylvain Henry2020-10-291-1/+2
* Add flags for annotating Generic{,1} methods INLINE[1] (#11068)Andrzej Rybczak2020-10-151-12/+15
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-4/+3
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Pass tc_args to gen_fnBrandon Chinn2020-07-291-6/+6
* Pass dit_rep_tc_args to dsm_stock_gen_fnBrandon Chinn2020-07-291-7/+10
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Revamp the treatment of auxiliary bindings for derived instancesRyan Scott2020-06-271-0/+4
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-2/+3
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-6/+6
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+1111
View Lorry Controller Status