summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore/Pmc/Solver.hs
Commit message (Expand)AuthorAgeFilesLines
* Pmc: Consider Required Constraints when guessing PatSyn arg types (#19475)wip/T19475Sebastian Graf2021-03-111-114/+175
* Bring back COMPLETE sets filtered by result TyCon (#14422)Cale Gibbard2021-03-041-18/+59
* Rename ErrMsg into MsgEnvelopeAlfredo Di Napoli2021-02-011-2/+2
* Parameterise Messages over eAlfredo Di Napoli2021-01-221-2/+3
* PmCheck: Positive info doesn't imply there is an inhabitant (#18960)Sebastian Graf2021-01-171-28/+152
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-011-1/+1
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-2/+2
* Split GHC.Driver.TypesSylvain Henry2020-10-291-7/+7
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-3/+6
* Add TyCon Set/Env and use them in a few places.Andreas Klebinger2020-10-091-0/+1
* Extract SharedIdEnv into its own moduleSebastian Graf2020-09-261-59/+27
* PmCheck: Big refactor of module structureSebastian Graf2020-09-261-0/+1765
View Lorry Controller Status