summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* 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
* Emit warning if bang is applied to unlifted typesTito Sacchi2021-09-173-3/+29
* Improve pretty-printer defaulting logic (#19361)Krzysztof Gogolewski2021-09-171-0/+4
* Canonicalize bignum literalsSylvain Henry2021-09-112-2/+9
* Add and use new constructors to TcRnMessageAlfredo Di Napoli2021-09-076-117/+291
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-015-227/+533
* Convert IFace Rename Errors (#19927)Aaron Allen2021-08-272-0/+36
* GHC.Tc.Gen Diagnostics Conversion (Part 1)Aaron Allen2021-08-278-78/+319
* TcPlugins: solve and report contras simultaneouslysheaf2021-08-232-24/+55
* Make Int64#/Word64# unconditionally availableJohn Ericson2021-08-191-3/+0
* Don't look for TypeError in type family argumentssheaf2021-08-181-9/+17
* Driver rework pt3: the upsweepMatthew Pickering2021-08-183-22/+32
* TypeError is OK on the RHS of a type synonymwip/T20181Simon Peyton Jones2021-08-151-3/+8
* Detect TypeError when checking for insolubilitysheaf2021-08-154-16/+116
* Add rewriting to typechecking pluginssheaf2021-08-137-135/+287
* Refactoring module dependenciesSylvain Henry2021-08-132-6/+6
* Move `ol_witness` to `OverLitTc`Dr. ERDI Gergo2021-08-133-20/+18
View Lorry Controller Status