summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Don't specialise incoherent instance applicationsGergő Érdi2023-02-278-120/+135
* Fix ParallelListComp out of scope suggestionAaron Allen2023-02-241-7/+30
* Explicit migration timeline for loopy SC solvingsheaf2023-02-231-1/+1
* GHC proposal 496 - Nullary record wildcardsGeorgi Lyubenov2023-02-215-24/+25
* Disallow `tagToEnum#` on `type data` typeswip/T22948Ryan Scott2023-02-203-0/+24
* Improve GHC.Tc.Gen.App.tcInstFunwip/T22908Simon Peyton Jones2023-02-201-16/+12
* Narrow the dont-decompose-newtype testSimon Peyton Jones2023-02-163-165/+152
* Introduce warning for loopy superclass solvesheaf2023-02-147-54/+150
* Minor refactorKrzysztof Gogolewski2023-02-043-8/+5
* Fix CallerCC potentially shadowing other cost centres.Andreas Klebinger2023-02-031-2/+2
* Improve treatment of type applications in patternswip/T19847Simon Peyton Jones2023-02-011-105/+222
* Support "unusable UNPACK pragma" warning with -O0Krzysztof Gogolewski2023-01-313-13/+13
* Improve exprOkForSpeculation for classopsSimon Peyton Jones2023-01-311-1/+1
* Fix two bugs in TypeData TH reificationRyan Scott2023-01-301-6/+22
* Convert diagnostics in GHC.Rename.Bind to proper TcRnMessage (#20115)Andrei Borzenkov2023-01-282-0/+281
* Report family instance orphans correctlySimon Peyton Jones2023-01-278-105/+114
* Detect family instance orphans correctlySimon Peyton Jones2023-01-272-3/+3
* Replace errors from badOrigBinding with new one (#22839)Andrei Borzenkov2023-01-272-39/+23
* Do newtype unwrapping in the canonicaliser and rewriterRichard Eisenberg2023-01-265-78/+192
* EPA: Add SourceText to HsOverLabelAlan Zimmerman2023-01-232-2/+2
* Enable -Wstar-is-type by default (#22759)Vladislav Zavialov2023-01-181-1/+1
* Add a missing checkEscapingKindSimon Peyton Jones2023-01-133-48/+55
* Make `GHC.Tc.Errors.Reporter` take `NonEmpty ErrorItem` rather than `[ErrorIt...M Farkas-Dyck2023-01-121-62/+54
* Parse qualified terms in type signaturesHaskellMouse2023-01-112-0/+10
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-1119-684/+984
* Misc cleanupKrzysztof Gogolewski2023-01-111-1/+2
* Added a new warning about compatibility with RequiredTypeArgumentsHaskellMouse2023-01-112-2/+27
* Fix tcPluginRewrite exampleJade Lovelace2023-01-111-1/+1
* Only store Name in FunRhs rather than Id with knot-tied fieldsMatthew Pickering2023-01-067-66/+25
* HsToken in TypeArg (#19623)Vladislav Zavialov2023-01-053-10/+10
* Misc cleanupKrzysztof Gogolewski2023-01-052-3/+7
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-249-114/+71
* Store RdrName rather than OccName in HolesMatthew Pickering2022-12-246-15/+17
* Fix an assertion check in addToEqualCtListSimon Peyton Jones2022-12-211-9/+17
* checkValidInst: Don't expand synonyms when splitting sigma typesRyan Scott2022-12-151-2/+29
* Typeable: Fix module locations of some definitions in GHC.TypesMatthew Pickering2022-12-081-4/+17
* backpack: Be more careful when adding together ImportAvailsMatthew Pickering2022-12-081-9/+21
* Handle type data declarations in Template Haskell quotations and splices (fix...Ross Paterson2022-12-031-1/+1
* Add special case for :Main module in `GHC.IfaceToCore.mk_top_id`Matthew Pickering2022-12-021-0/+8
* Refactor TyCon to have a top-level productSimon Peyton Jones2022-12-023-5/+4
* Use mkNakedFunTy in tcPatSynSigSimon Peyton Jones2022-11-301-3/+12
* Be more careful in GHC.Tc.Solver.Interact.solveOneFromTheOtherSimon Peyton Jones2022-11-304-56/+70
* Add Javascript backendSylvain Henry2022-11-292-1/+5
* Killing cc_fundeps, streamlining kind equality orientation, and type equality...Apoorv Ingle2022-11-294-100/+251
* Fix decomposition of TyConAppswip/T22331Simon Peyton Jones2022-11-253-219/+320
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-251-16/+17
* Convert diagnostics in GHC.Rename.Expr to proper TcRnMessage (#20115)Andrei Borzenkov2022-11-242-0/+250
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-2316-42/+10
* Buglet in GHC.Tc.Module.checkBootTyConSimon Peyton Jones2022-11-201-2/+6
* Be more careful when reporting unbound RULE bindersSimon Peyton Jones2022-11-191-1/+2
View Lorry Controller Status