summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors
Commit message (Expand)AuthorAgeFilesLines
* Refactor SuggestExtension constructor in GhcHintAlfredo Di Napoli2021-07-211-3/+3
* Rename RecordPuns to NamedFieldPuns in LangExt.ExtensionAlfredo Di Napoli2021-07-191-1/+1
* Add TcRnIllegalWildcardsInConstructor to TcRnMessageAlfredo Di Napoli2021-07-092-0/+17
* Add TcRnCharLiteralOutOfRange to TcRnMessageAlfredo Di Napoli2021-07-092-0/+17
* Add TcRnIllegalViewPattern to TcRnMessageAlfredo Di Napoli2021-07-092-0/+20
* Add TcRnDuplicateFieldName to TcRnMessageAlfredo Di Napoli2021-07-092-6/+30
* Add TcRnIllegalWildCardsInRecord to TcRnMessageAlfredo Di Napoli2021-07-092-0/+31
* Add TcRnIllegalFieldPunning to TcRnMessageAlfredo Di Napoli2021-07-092-0/+21
* Add TcRnEmptyRecordUpdate to TcRnMessageAlfredo Di Napoli2021-07-092-0/+17
* Add TcRnIllegalPatSynDecl to TcRnMessageAlfredo Di Napoli2021-07-092-0/+22
* Add TcRnSimplifierTooManyIterations to TcRnMessageAlfredo Di Napoli2021-07-092-0/+25
* Add the TcRnDuplicateWarningDecls to TcRnMessageAlfredo Di Napoli2021-07-092-0/+19
* Add the TcRnShadowedName constructor to TcRnMessageAlfredo Di Napoli2021-07-092-1/+43
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-282-10/+95
* Converts diagnostics for two errors in Ghc.Tc.Module (#19926)Aaron Allen2021-06-232-0/+23
* Reword: representation instead of levitysheaf2021-06-101-2/+2
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-032-0/+82
* Add exports to GHC.Tc.Errors.Hole (fixes #19864)Matthías Páll Gissurarson2021-05-202-107/+153
* Extensible Hints for diagnostic messagesAlfredo Di Napoli2021-05-201-0/+15
* Add some TcRn diagnostic messagesAlfredo Di Napoli2021-05-192-7/+123
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-0/+2
* Add GhcMessage and ancillary typesAlfredo Di Napoli2021-04-292-0/+22
* 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-242-8/+12
* 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-063-132/+93
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-263-9/+9
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Modules: type-checker (#13009)Sylvain Henry2020-04-074-0/+1172