summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Deriv.hs
Commit message (Expand)AuthorAgeFilesLines
* Extension shuffling (#23291)wip/sand-witch/modern-STV-extension-shufflingBen Gamari2023-05-171-1/+3
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-1/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-5/+11
* Minor SDoc-related cleanupKrzysztof Gogolewski2022-10-281-2/+1
* Enforce invariant of `ListBag` constructor.M Farkas-Dyck2022-10-191-2/+2
* Fix typosEric Lindblad2022-09-141-1/+1
* Remove Outputable Char instanceKrzysztof Gogolewski2022-09-071-1/+1
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-7/+7
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-1/+1
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-1/+1
* Fix and simplify DeriveAnyClass's context inference using SubTypePredSpecRyan Scott2022-03-241-9/+41
* Refactor tcDeriving to generate tyfam insts before any bindingsRyan Scott2022-03-111-143/+149
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-0/+3
* Enable UnboxedTuples in `genInst`, Fixes #20524CarrieMY2021-11-251-0/+3
* Instantiate field types properly in stock-derived instancesRyan Scott2021-11-151-17/+15
* Refactoring: Consolidate some arguments with DerivInstTysRyan Scott2021-11-151-18/+8
* Eradicate TcRnUnknownMessage from GHC.Tc.DerivAlfredo Di Napoli2021-10-051-194/+85
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-31/+48
* Make Logger independent of DynFlagsSylvain Henry2021-06-071-1/+1
* 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-4/+5
* Bring tcTyConScopedTyVars into scope in tcClassDecl2Ryan Scott2021-04-301-0/+2
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-291-4/+3
* Add GhcMessage and ancillary typesAlfredo Di Napoli2021-04-291-1/+1
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-051-6/+4
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-4/+4
* GHC Exactprint main commitAlan Zimmerman2021-03-201-7/+7
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-011-1/+1
* Refactor LoggerSylvain Henry2021-02-131-1/+3
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-8/+8
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-11/+8
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-2/+1
* Add flags for annotating Generic{,1} methods INLINE[1] (#11068)Andrzej Rybczak2020-10-151-2/+1
* Introduce and use DerivClauseTys (#18662)Ryan Scott2020-09-151-2/+7
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Pass dit_rep_tc_args to dsm_stock_gen_fnBrandon Chinn2020-07-291-2/+5
* Revamp the treatment of auxiliary bindings for derived instancesRyan Scott2020-06-271-7/+7
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-2/+1
* Modify file paths to module paths for new module hierarchyTakenobu Tani2020-06-011-1/+1
* Clean up file paths for new module hierarchyTakenobu Tani2020-06-011-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-8/+8
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-6/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+2304
View Lorry Controller Status