summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Look through untyped TH splices in tcInferAppHead_maybewip/T21038Ryan Scott2022-02-082-13/+26
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-051-2/+2
* Improve errors for non-existent labelsSimon Peyton Jones2022-02-043-11/+3
* Add a missing restoreLclEnvSimon Peyton Jones2022-02-041-2/+2
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-047-34/+33
* Refactor the escaping kind check for data constructorsSimon Peyton Jones2022-02-022-58/+64
* Fix a few Note inconsistenciesBen Gamari2022-02-017-9/+10
* Consistently upper-case "Note ["Ben Gamari2022-02-018-10/+10
* Make typechecker trace less strictSimon Peyton Jones2022-01-311-2/+4
* Rework the handling of SkolemInfoMatthew Pickering2022-01-2932-1267/+1771
* Set the TcLclEnv when solving a ForAll constraintSimon Peyton Jones2022-01-272-1/+11
* Fix getHasGivenEqsSimon Peyton Jones2022-01-271-4/+7
* Define and use restoreLclEnvSimon Peyton Jones2022-01-275-100/+130
* Expand type synonyms in markNominalRyan Scott2022-01-271-0/+2
* Improve partial signaturesSimon Peyton Jones2022-01-272-18/+83
* Make RULE matching insensitive to eta-expansionSimon Peyton Jones2022-01-261-3/+4
* Fix haddock markup in GHC.Tc.Errors.Typessheaf2022-01-261-13/+12
* Remove redundant SOURCE import in FitTypessheaf2022-01-261-1/+1
* Levity-polymorphic arrays and mutable variablessheaf2022-01-261-0/+3
* DeriveGeneric: look up datacon fixities using getDataConFixityFunRyan Scott2022-01-252-19/+21
* Correct type of static forms in hsExprTypeMatthew Pickering2022-01-182-3/+5
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-1717-1699/+2654
* Untangled GHC.Types.Id.Make from the driverSylvain Henry2022-01-121-0/+1
* Abstract BangOptsSylvain Henry2022-01-122-16/+18
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-113-3/+3
* TcPlugins: `newWanted` uses the provided `CtLoc`sheaf2022-01-112-10/+19
* Fix parsing & printing of unboxed sumssheaf2022-01-113-14/+31
* Kind TyCons: require KindSignatures, not DataKindssheaf2022-01-113-26/+17
* Remove dangling references to Note [Type-checking overloaded labels]Joachim Breitner2022-01-071-6/+4
* Use primOpIds cache more often (#20857)Sylvain Henry2022-01-061-1/+1
* Check quoted TH names are in the correct namespacesheaf2022-01-043-13/+56
* Skip computing superclass origins for equalitiesRichard Eisenberg2021-12-281-4/+13
* Multiple Home UnitsMatthew Pickering2021-12-289-72/+51
* Fix typosKrzysztof Gogolewski2021-12-257-12/+12
* Give plugins a better interface (#17957)Sylvain Henry2021-12-212-6/+6
* Change isUnliftedTyCon to marshalablePrimTyCon (#20401)Krzysztof Gogolewski2021-12-172-22/+18
* Ghci environment: Do not remove shadowed idsJoachim Breitner2021-12-141-19/+0
* Add PromotedInfixT/PromotedUInfixT to THJakob Brünker2021-12-111-27/+29
* package imports: Take into account package visibility when renamingMatthew Pickering2021-12-091-2/+2
* Perf: remove an indirection when fetching the unique maskSylvain Henry2021-12-071-1/+1
* TTG: replace Void/NoExtCon with DataConCantHappenKrzysztof Gogolewski2021-11-291-1/+1
* Allow boring class declarations in hs-boot filessheaf2021-11-251-1/+9
* Don't use implicit lifting when deriving LiftMatthew Pickering2021-11-251-8/+20
* Misc cleanupKrzysztof Gogolewski2021-11-254-11/+9
* Enable UnboxedTuples in `genInst`, Fixes #20524CarrieMY2021-11-251-0/+3
* Ensure new Ct/evidence invariantChristiaan Baaij2021-11-253-30/+73
* Add a warning for GADT match + NoMonoLocalBinds (#20485)Krzysztof Gogolewski2021-11-233-10/+33
* Include "not more specific" info in overlap msgsheaf2021-11-201-45/+151
* More support for optional home-unitSylvain Henry2021-11-204-31/+36
* Increase type sharingBen Gamari2021-11-172-5/+5
View Lorry Controller Status