summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen
Commit message (Expand)AuthorAgeFilesLines
* Always generalise top-level bindingsSimon Peyton Jones2022-03-071-13/+33
* Improve out-of-order inferred type variablessheaf2022-03-021-3/+8
* Introduce ConcreteTv metavariablessheaf2022-03-026-73/+66
* Core Lint: ensure primops can be eta-expandedsheaf2022-02-261-10/+7
* Error on anon wildcards in tcAnonWildCardOccsheaf2022-02-262-5/+14
* Kill derived constraintsRichard Eisenberg2022-02-235-105/+102
* Track object file dependencies for TH accurately (#20604)Zubin Duggal2022-02-201-3/+3
* Look through untyped TH splices in tcInferAppHead_maybeRyan Scott2022-02-092-13/+26
* Fix some notesMatthew Pickering2022-02-083-4/+4
* Improve errors for non-existent labelsSimon Peyton Jones2022-02-042-10/+2
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-041-1/+1
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+1
* Consistently upper-case "Note ["Ben Gamari2022-02-015-7/+7
* Rework the handling of SkolemInfoMatthew Pickering2022-01-296-556/+670
* Define and use restoreLclEnvSimon Peyton Jones2022-01-272-12/+4
* Improve partial signaturesSimon Peyton Jones2022-01-271-0/+3
* Make RULE matching insensitive to eta-expansionSimon Peyton Jones2022-01-261-3/+4
* Correct type of static forms in hsExprTypeMatthew Pickering2022-01-181-1/+2
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-175-34/+37
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-1/+1
* Kind TyCons: require KindSignatures, not DataKindssheaf2022-01-112-22/+9
* Check quoted TH names are in the correct namespacesheaf2022-01-041-13/+18
* Multiple Home UnitsMatthew Pickering2021-12-282-1/+6
* Fix typosKrzysztof Gogolewski2021-12-252-3/+3
* Give plugins a better interface (#17957)Sylvain Henry2021-12-211-1/+1
* Change isUnliftedTyCon to marshalablePrimTyCon (#20401)Krzysztof Gogolewski2021-12-171-1/+1
* Add PromotedInfixT/PromotedUInfixT to THJakob Brünker2021-12-111-27/+29
* TTG: replace Void/NoExtCon with DataConCantHappenKrzysztof Gogolewski2021-11-291-1/+1
* Misc cleanupKrzysztof Gogolewski2021-11-251-4/+4
* Add a warning for GADT match + NoMonoLocalBinds (#20485)Krzysztof Gogolewski2021-11-231-10/+16
* Flesh out Note [The stupid context] and reference itRyan Scott2021-11-093-3/+7
* Default kind vars in tyfams with -XNoPolyKindssheaf2021-11-082-5/+5
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-026-18/+16
* HsToken for let/in (#19623)Vladislav Zavialov2021-11-022-4/+4
* Don't default type variables in type familiessheaf2021-10-262-5/+5
* Care about specificity in pattern type argsRichard Eisenberg2021-10-191-4/+6
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-179-55/+398
* Reject GADT pattern matches in arrow notationsheaf2021-10-092-33/+47
* Use eqType, not tcEqType, in metavar kind checkRichard Eisenberg2021-10-021-4/+5
* Convert Diagnostics GHC.Tc.Gen.* (Part 3)Aaron Allen2021-10-011-103/+11
* Trees That Grow refactor for HsTick and HsBinTickAndrea Condoluci2021-09-301-2/+0
* compiler: Rename nameEnvElts -> nonDetNameEnvEltsBen Gamari2021-09-291-1/+1
* Compare FunTys as if they were TyConApps.Richard Eisenberg2021-09-291-1/+16
* Remove NoGhcTc usage from HsMatchContextArtyom Kuznetsov2021-09-285-27/+51
* Convert Diagnostics in GHC.Tc.Gen.* (Part 2)Aaron Allen2021-09-222-113/+13
* EPA: correctly capture comments between 'where' and bindsAlan Zimmerman2021-09-171-1/+1
* GHC.Tc.Gen Diagnostics Conversion (Part 1)Aaron Allen2021-08-274-76/+23
* Move `ol_witness` to `OverLitTc`Dr. ERDI Gergo2021-08-131-8/+7
* Modify InlineSpec data constructor (helps fix #18138)Alina Banerjee2021-08-111-1/+1
* Refactor HsStmtContext and remove HsDoRnArtyom Kuznetsov2021-08-101-9/+8
View Lorry Controller Status