summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* 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
* Instantiate field types properly in stock-derived instancesRyan Scott2021-11-156-244/+344
* Refactoring: Consolidate some arguments with DerivInstTysRyan Scott2021-11-155-141/+135
* Implement -Wforall-identifier (#20609)Vladislav Zavialov2021-11-122-0/+20
* Use local instances with least superclass depthRichard Eisenberg2021-11-127-82/+180
* Improve redundant-constraints warningRichard Eisenberg2021-11-127-92/+157
* Flesh out Note [The stupid context] and reference itRyan Scott2021-11-099-12/+20
* deriving: infer DatatypeContexts from data constructors, not type constructorRyan Scott2021-11-091-13/+24
* Default kind vars in tyfams with -XNoPolyKindssheaf2021-11-086-44/+66
* Make Word64 use Word64# on every architectureSylvain Henry2021-11-061-12/+3
* Export `withTcPlugins` and `withHoleFitPlugins`Ziyang Liu2021-11-061-0/+2
* Generalize the type of wrapLocSndMAVladislav Zavialov2021-11-031-4/+13
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-0210-33/+32
* HsToken for let/in (#19623)Vladislav Zavialov2021-11-024-9/+9
* Show family TyCons in mk_dict_error in the case of a single matchZiyang Liu2021-10-291-2/+26
* Change CaseAlt and LambdaExpr to FunRhs in deriving Foldable and Traversable ...Artyom Kuznetsov2021-10-261-3/+8
* Don't default type variables in type familiessheaf2021-10-266-32/+53
* EPA: Use LocatedA for ModuleNameAlan Zimmerman2021-10-241-2/+2
* Refactor package importsSylvain Henry2021-10-223-50/+31
* Remove IndefiniteSylvain Henry2021-10-221-2/+2
* Use tcEqType in GHC.Core.Unify.uVarsheaf2021-10-221-0/+4
* Make fields of GlobalRdrElt strictMatthew Pickering2021-10-201-1/+6
* Care about specificity in pattern type argsRichard Eisenberg2021-10-191-4/+6
* InteractiveContext: Smarter caching when rebuilding the ic_rn_gbl_envJoachim Breitner2021-10-191-4/+4
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-1732-411/+1816
* Be more careful about retaining KnotVarsMatthew Pickering2021-10-122-2/+2
* Reject GADT pattern matches in arrow notationsheaf2021-10-094-35/+76
* Add defaulting plugins.Andrei Barbu2021-10-085-26/+108
* Improve overlap error for polykinded constraintssheaf2021-10-061-19/+6
View Lorry Controller Status