summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/InstEnv.hs
Commit message (Expand)AuthorAgeFilesLines
* Split up `GHC.Core` somewhatwip/rules-moduleJohn Ericson2023-01-171-1/+1
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-3/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-2/+3
* Fire RULES in the SpecialiserSimon Peyton Jones2022-11-101-1/+3
* Scrub various partiality involving lists (again).M Farkas-Dyck2022-10-191-6/+10
* Fix typosEric Lindblad2022-09-141-4/+4
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-1/+1
* hi haddock: Lex and store haddock docs in interface filesZubin Duggal2022-03-231-3/+7
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-041-78/+125
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+1
* Consistently upper-case "Note ["Ben Gamari2022-02-011-1/+1
* Ensure that order of instances doesn't mattersheaf2022-01-261-34/+239
* 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-8/+8
* Fix a serious bug in roughMatchTcsSimon Peyton Jones2021-02-131-29/+18
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-2/+1
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-4/+4
* Fix #19044 by tweaking unification in inst lookupRichard Eisenberg2020-12-181-2/+47
* Remove flattening variablesRichard Eisenberg2020-12-011-11/+23
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Don't import GHC.Unit to reduce the number of dependenciesSylvain Henry2020-10-011-1/+2
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-3/+5
* Give Uniq[D]FM a phantom type for its key.Andreas Klebinger2020-07-121-4/+14
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-3/+3
* 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
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-4/+4
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-6/+6
* Modules: Types (#13009)Sylvain Henry2020-03-291-8/+8
* Modules: Core (#13009)Sylvain Henry2020-03-161-0/+1030