summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen
Commit message (Expand)AuthorAgeFilesLines
* Convert More Diagnostics (#20116)Ben Gamari2022-04-302-129/+21
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-287-72/+61
* Docs: datacon eta-expansion, rep-poly checkssheaf2022-04-082-17/+37
* Ensure implicit parameters are liftedsheaf2022-04-011-5/+3
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-013-83/+116
* Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batchsheaf2022-04-012-5/+5
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-293-8/+8
* hi haddock: Lex and store haddock docs in interface filesZubin Duggal2022-03-232-28/+42
* TTG: TH brackets finishing touchesromes2022-03-182-18/+21
* TTG: Make HsQuote GhcTc isomorphic to NoExtFieldromes2022-03-181-8/+2
* TTG: Refactor bracket for desugaring during tcromes2022-03-182-19/+27
* Separate constructors for typed and untyped bracketsromes2022-03-183-24/+18
* Type-checking untyped bracketsromes2022-03-181-2/+2
* TTG: Refactor HsBracketromes2022-03-182-5/+5
* Convert Diagnostics in GHC.Tc.Gen.ForeignAaron Allen2022-03-161-108/+80
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-148-118/+143
* TTG Pull AbsBinds and ABExport out of the main ASTromes2022-03-141-11/+7
* 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
View Lorry Controller Status