summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Types.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix typosEric Lindblad2022-09-141-3/+3
* Core.Lint: Reduce `DynFlags` and `HscEnv`wip/no-state-core-lintJohn Ericson2022-06-071-1/+3
* Use UnionListsOrd instead of UnionLists in most places.Andreas Klebinger2022-05-241-3/+3
* TcPlugin: access to irreducible givens + fix passed ev_binds_varPavol Vargovcik2022-05-161-2/+3
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-1/+1
* Improve error reporting in generated codeSimon Peyton Jones2022-05-041-1/+4
* Convert More Diagnostics (#20116)Ben Gamari2022-04-301-42/+0
* hi haddock: Lex and store haddock docs in interface filesZubin Duggal2022-03-231-3/+3
* Kill derived constraintsRichard Eisenberg2022-02-231-5/+5
* Track object file dependencies for TH accurately (#20604)Zubin Duggal2022-02-201-0/+5
* Tag inference work.Andreas Klebinger2022-02-121-1/+10
* Fix some notesMatthew Pickering2022-02-081-2/+2
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+1
* Kind TyCons: require KindSignatures, not DataKindssheaf2022-01-111-4/+8
* Multiple Home UnitsMatthew Pickering2021-12-281-10/+10
* Fix typosKrzysztof Gogolewski2021-12-251-2/+2
* Perf: remove an indirection when fetching the unique maskSylvain Henry2021-12-071-1/+1
* Be more careful about retaining KnotVarsMatthew Pickering2021-10-121-1/+1
* Add defaulting plugins.Andrei Barbu2021-10-081-0/+37
* TH stage restriction check for constructors, selectors, and class methodsAndrea Condoluci2021-09-291-0/+1
* Refactor module dependencies codeSylvain Henry2021-09-171-72/+2
* TcPlugins: solve and report contras simultaneouslysheaf2021-08-231-16/+44
* Driver rework pt3: the upsweepMatthew Pickering2021-08-181-3/+4
* Add rewriting to typechecking pluginssheaf2021-08-131-43/+125
* Refactoring module dependenciesSylvain Henry2021-08-131-5/+4
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-191-39/+51
* 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-1/+1
* Add GhcMessage and ancillary typesAlfredo Di Napoli2021-04-291-5/+15
* Move 'nextWrapperNum' into 'DsM' and 'TcM'Fendor2021-04-221-1/+4
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-1/+2
* Implement -Wmissing-kind-signaturesOleg Grenrus2021-03-251-0/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-201-1/+1
* template-haskell: Add putDoc, getDoc, withDecDoc and friendsLuke Lau2021-03-101-1/+16
* Fixes to dealing with the export of mainSimon Peyton Jones2021-03-091-14/+24
* Move Hooks into HscEnvSylvain Henry2021-02-221-0/+4
* Make sure HasField use counts for -Wunused-top-bindsAdam Gundry2021-02-161-0/+3
* Refactor LoggerSylvain Henry2021-02-131-3/+7
* Introduce the DecoratedSDoc typeAlfredo Di Napoli2021-02-011-1/+1
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-2/+2
* Parameterise Messages over eAlfredo Di Napoli2021-01-221-1/+1
* Display results of GHC.Core.Lint.lint* functions consistentlyRyan Scott2020-11-021-2/+3
* Split GHC.Driver.TypesSylvain Henry2020-10-291-22/+38
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-3/+5
* Extract definition of DsM into GHC.HsToCore.TypesSebastian Graf2020-09-121-59/+1
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-121-5/+4
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-101-3/+3
* PmCheck: Big refactor using guard tree variants more closely following source...Sebastian Graf2020-09-101-1/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
View Lorry Controller Status