summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors/Hole.hs
Commit message (Expand)AuthorAgeFilesLines
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-2/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-5/+5
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-051-5/+6
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Minor refactor around OutputableKrzysztof Gogolewski2022-09-221-2/+1
* Clean up some. In particular:M Farkas-Dyck2022-09-171-1/+1
* Fix typosEric Lindblad2022-09-141-1/+1
* Misc cleanupKrzysztof Gogolewski2022-05-161-2/+1
* hi haddock: Lex and store haddock docs in interface filesZubin Duggal2022-03-231-18/+39
* Kill derived constraintsRichard Eisenberg2022-02-231-34/+36
* Fix some notesMatthew Pickering2022-02-081-2/+2
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-34/+12
* Misc cleanupKrzysztof Gogolewski2021-11-251-4/+2
* Speed up valid hole-fits by adding early abort and checks.Matthías Páll Gissurarson2021-10-051-35/+60
* Add exports to GHC.Tc.Errors.Hole (fixes #19864)Matthías Páll Gissurarson2021-05-201-106/+122
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-0/+2
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-121-1/+1
* template-haskell: Add putDoc, getDoc, withDecDoc and friendsLuke Lau2021-03-101-1/+1
* Fix some warnings when bootstrapping with GHC 9.0Ryan Scott2021-03-091-1/+1
* Refactor renamer datastructuresAdam Gundry2020-12-241-6/+10
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-1/+1
* Split GHC.Driver.TypesSylvain Henry2020-10-291-1/+2
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-2/+2
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-131-0/+3
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-4/+4
* Various performance improvementsKrzysztof Gogolewski2020-06-171-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-11/+11
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+2
* Explicit SpecificityGert-Jan Bottu2020-05-211-4/+6
* Use Data.IntMap.disjointSimon Jakobi2020-05-141-2/+1
* Refactor hole constraints.Richard Eisenberg2020-05-061-116/+79
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-6/+6
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+1004