summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore/Pmc/Solver.hs
Commit message (Expand)AuthorAgeFilesLines
* Refactor mkRuntimeErrorSimon Peyton Jones2022-12-221-2/+2
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-4/+7
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-3/+0
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Fix typosEric Lindblad2022-09-141-6/+6
* Pmc: consider any 2 dicts of the same type equalsheaf2022-08-261-6/+106
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-5/+4
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-10/+10
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-14/+14
* Fix a few Note inconsistenciesBen Gamari2022-02-011-2/+2
* Pmc: Don't case split on wildcard matches (#20642)Sebastian Graf2021-11-171-23/+70
* Pmc: Do inhabitation test for unlifted vars (#20631)Sebastian Graf2021-11-071-15/+26
* Pmc: Better SCC annotations and trace outputSebastian Graf2021-08-231-43/+72
* Detect TypeError when checking for insolubilitysheaf2021-08-151-0/+2
* Use Reductions to keep track of rewritingssheaf2021-08-041-2/+4
* Reword: representation instead of levitysheaf2021-06-101-1/+1
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-031-74/+2
* 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-3/+4
* Pmc: Consider Required Constraints when guessing PatSyn arg types (#19475)Sebastian Graf2021-03-141-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