summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Misc cleanupwip/misc-fixKrzysztof Gogolewski2021-11-234-11/+9
* 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
* Eradicate TcRnUnknownMessage from GHC.Tc.DerivAlfredo Di Napoli2021-10-055-318/+870
* Make GHC.Utils.Error.Validity type polymorphicAlfredo Di Napoli2021-10-053-3/+3
* Reject type family equation with wrong name (#20260)Krzysztof Gogolewski2021-10-051-25/+24
* Speed up valid hole-fits by adding early abort and checks.Matthías Páll Gissurarson2021-10-053-61/+108
* Bump TcLevel of failing kind equality implicationsheaf2021-10-041-8/+28
* Use eqType, not tcEqType, in metavar kind checkRichard Eisenberg2021-10-024-41/+10
* Convert Diagnostics GHC.Tc.Gen.* (Part 3)Aaron Allen2021-10-013-107/+266
* Trees That Grow refactor for HsTick and HsBinTickAndrea Condoluci2021-09-302-4/+0
* compiler: occEnvElts -> nonDetOccEnvEltsBen Gamari2021-09-291-2/+2
* compiler: Rename nameEnvElts -> nonDetNameEnvEltsBen Gamari2021-09-293-5/+5
* compiler: Rewrite all eltsUFM occurrences to nonDetEltsUFMBen Gamari2021-09-291-1/+1
* TH stage restriction check for constructors, selectors, and class methodsAndrea Condoluci2021-09-297-28/+61
* Compare FunTys as if they were TyConApps.Richard Eisenberg2021-09-294-38/+70
* Remove NoGhcTc usage from HsMatchContextArtyom Kuznetsov2021-09-287-29/+54
* Convert Diagnostics in GHC.Tc.Gen.* (Part 2)Aaron Allen2021-09-224-114/+330
* deriving: Always use module prefix in dataTypeNameMatthew Pickering2021-09-181-1/+6
* Refactor module dependencies codeSylvain Henry2021-09-171-72/+2
* EPA: correctly capture comments between 'where' and bindsAlan Zimmerman2021-09-171-1/+1
View Lorry Controller Status