summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors
Commit message (Expand)AuthorAgeFilesLines
* Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batchsheaf2022-04-012-11/+23
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-7/+8
* hi haddock: Lex and store haddock docs in interface filesZubin Duggal2022-03-233-20/+41
* Suggest FFI extensions as hints (#20116)Aaron Allen2022-03-162-5/+5
* Convert Diagnostics in GHC.Tc.Gen.ForeignAaron Allen2022-03-162-1/+236
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-152-0/+58
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-2/+37
* TTG Pull AbsBinds and ABExport out of the main ASTromes2022-03-141-1/+2
* gitlab-ci: Use the linters image in hlint jobBen Gamari2022-03-111-1/+0
* Fix reporting constraints in pprTcSolverReportMsgKrzysztof Gogolewski2022-03-071-17/+23
* Introduce ConcreteTv metavariablessheaf2022-03-022-11/+49
* Error on anon wildcards in tcAnonWildCardOccsheaf2022-02-262-0/+213
* Kill derived constraintsRichard Eisenberg2022-02-235-134/+187
* Remove -Wunticked-promoted-constructors from -WallKrzysztof Gogolewski2022-02-221-1/+1
* Use diagnostics for "missing signature" errorssheaf2022-02-202-86/+175
* Fix some notesMatthew Pickering2022-02-082-3/+3
* Rework the handling of SkolemInfoMatthew Pickering2022-01-292-45/+77
* Fix haddock markup in GHC.Tc.Errors.Typessheaf2022-01-261-13/+12
* Remove redundant SOURCE import in FitTypessheaf2022-01-261-1/+1
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-175-72/+2157
* Fix parsing & printing of unboxed sumssheaf2022-01-112-8/+17
* Check quoted TH names are in the correct namespacesheaf2022-01-042-0/+38
* Misc cleanupKrzysztof Gogolewski2021-11-251-4/+2
* Add a warning for GADT match + NoMonoLocalBinds (#20485)Krzysztof Gogolewski2021-11-232-0/+17
* Implement -Wforall-identifier (#20609)Vladislav Zavialov2021-11-122-0/+20
* Make fields of GlobalRdrElt strictMatthew Pickering2021-10-201-1/+6
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-172-68/+91
* Reject GADT pattern matches in arrow notationsheaf2021-10-092-2/+29
* Eradicate TcRnUnknownMessage from GHC.Tc.DerivAlfredo Di Napoli2021-10-052-4/+697
* Speed up valid hole-fits by adding early abort and checks.Matthías Páll Gissurarson2021-10-051-35/+60
* Convert Diagnostics GHC.Tc.Gen.* (Part 3)Aaron Allen2021-10-012-4/+255
* Convert Diagnostics in GHC.Tc.Gen.* (Part 2)Aaron Allen2021-09-222-1/+317
* Emit warning if bang is applied to unlifted typesTito Sacchi2021-09-172-0/+18
* Add and use new constructors to TcRnMessageAlfredo Di Napoli2021-09-072-8/+247
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-012-4/+454
* Convert IFace Rename Errors (#19927)Aaron Allen2021-08-272-0/+36
* GHC.Tc.Gen Diagnostics Conversion (Part 1)Aaron Allen2021-08-272-1/+291
* Reject pattern synonyms with linear types (#18806)Krzysztof Gogolewski2021-07-292-0/+16
* 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
View Lorry Controller Status