Improve isReflexiveCo performance
[ghc.git] / compiler / typecheck /
2018-03-27  Simon Peyton JonesMinor refactor and commments
2018-03-26  Alexander ViethFix performance of flattener patch (#12919)
2018-03-26  Richard EisenbergFix #12919 by making the flattener homegeneous.
2018-03-25  Ryan ScottFix #14916 with an additional validity check in deriveT...
2018-03-25  Adam GundryFix panic on module re-exports of DuplicateRcordFields
2018-03-25  Ryan ScottFix two pernicious bugs in DeriveAnyClass
2018-03-25  Alec TheriaultSupport adding objects from TH
2018-03-23  Ryan ScottAllow PartialTypeSignatures in standalone deriving...
2018-03-23  Ryan ScottSpecial-case record fields ending with hash when derivi...
2018-03-21  Simon Peyton JonesAllow as-patterns in unidirectional patttern synonyms
2018-03-21  Ryan ScottFix #14869 by being more mindful of Type vs. Constraint
2018-03-19  Ryan ScottDon't permit data types with return kind Constraint
2018-03-19  Ryan ScottFix #14934 by including axSub0R in typeNatCoAxiomRules
2018-03-19  Simon Peyton JonesComments and tiny refactor
2018-03-05  Ryan ScottFix #14888 by adding more special cases for ArrowT
2018-03-05  Simon Peyton JonesRespect Note [The tcType invariant]
2018-03-02  Ryan ScottFix #14838 by marking TH-spliced code as FromSource
2018-03-02  Shea LevyMake cost centre symbol names deterministic.
2018-03-02  Matthew PickeringOnly load plugins once
2018-02-20  Ryan ScottSlight refactor of stock deriving internals
2018-02-18  HE, TaoImprove error message for UNPACK/strictness annotations.
2018-02-18  Matthías Páll Giss... Add valid refinement substitution suggestions for typed...
2018-02-18  Ryan ScottImplement stopgap solution for #14728
2018-02-16  Ryan ScottFix #14811 by wiring in $tcUnit#
2018-02-08  Simon Peyton JonesFix isDroppableCt (Trac #14763)
2018-02-07  Simon Peyton JonesFix solveOneFromTheOther for RecursiveSuperclasses
2018-02-07  Simon Peyton JonesComments only
2018-02-01  Simon Peyton JonesExperiment with eliminating the younger tyvar
2018-02-01  Ryan ScottSequester deriving-related validity check into cond_stdOK
2018-01-31  Simon Peyton JonesLook inside implications in simplifyRule
2018-01-31  Simon Peyton JonesPrioritise equalities when solving, incl deriveds
2018-01-31  Simon Peyton JonesMore tc-tracing
2018-01-31  Simon Peyton JonesMove zonkWC to the right place in simplfyInfer
2018-01-31  Simon Peyton JonesA bit more tc-tracing
2018-01-26  Ryan ScottFix #14719 by using the setting the right SrcSpan
2018-01-26  Matthías Páll Giss... Sort valid substitutions for typed holes by "relevance"
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2018-01-25  Simon Peyton JonesComments about CoercionHoles
2018-01-23  Bartosz NitkaAllocate less in plus_mod_dep
2018-01-22  Simon Peyton JonesImprove comments about TcLevel invariants
2018-01-21  Ryan ScottFix #14692 by correcting an off-by-one error in TcGenDeriv
2018-01-18  Ryan ScottFix #14681 and #14682 with precision-aimed parentheses
2018-01-18  Matthías Páll Giss... Inform hole substitutions of typeclass constraints...
2018-01-17  Gabor GreifTypos in comments
2018-01-15  Matthew PickeringAdd flag -fno-it
2018-01-10  Simon Peyton JonesFix previous patch
2018-01-10  Bartosz NitkaLift constructor tag allocation out of a loop
2018-01-09  Simon Peyton JonesFix two more bugs in partial signatures
2018-01-09  Simon Peyton JonesSmall local refactoring
2018-01-08  Christiaan BaaijExport typeNat{Div;Mod;Log}TyCon from TcTypeNats
2018-01-05  Simon Peyton JonesFix another obscure pattern-synonym crash
2018-01-04  Simon Peyton JonesFix deep, dark corner of pattern synonyms
2018-01-04  Simon Peyton Jonescomments only
2018-01-04  Simon Peyton JonesDrop dead Given bindings in setImplicationStatus
2018-01-03  Simon Peyton JonesNo deferred type errors under a forall
2018-01-03  Simon Peyton JonesTiny refactor around fillInferResult
2018-01-03  Simon Peyton JonesComments only
2017-12-28  Gabor GreifTypos in comments [ci skip]
2017-12-26  Richard EisenbergFix #14618 by applying a subst in deeplyInstantiate
2017-12-21  Richard EisenbergComments only [skip ci]
2017-12-21  Gabor GreifTypos in comments
2017-12-21  Simon Peyton JonesFix floating of equalities
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-21  Simon Peyton JonesCheck for bogus quantified tyvars in partial type sigs
2017-12-21  Simon Peyton JonesSimplify HsPatSynDetails
2017-12-21  Ryan ScottRemove hack put in place for #12512
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-12-18  Gabor GreifTypos in comments
2017-12-18  Simon Peyton JonesFix scoping of pattern-synonym existentials
2017-12-18  Simon Peyton JonesTiny refactor: use mkTyVarNamePairs
2017-12-15  Richard EisenbergAdd some commentary re: fix to #11203
2017-12-15  Simon Peyton JonesFix tcDataKindSig
2017-12-14  Simon Peyton JonesBetter tc-trace messages
2017-12-14  Simon Peyton JonesFix an outright bug in the unflattener
2017-12-13  Simon Peyton JonesFurther improvements to well-kinded types
2017-12-13  Simon Peyton JonesMinor refactor of TcExpr.tcApp
2017-12-11  Simon Peyton JonesFix SigTvs at the kind level
2017-12-11  Simon Peyton JonesBuild only well-kinded types in type checker
2017-12-11  Simon Peyton JonesImproved panic message for zonkTcTyVarToTyVar
2017-12-08  Simon Peyton JonesRefactor kcHsTyVarBndrs
2017-12-07  Simon Peyton JonesRefactor ConDecl: Trac #14529
2017-12-01  David FeuerCache TypeRep kinds aggressively
2017-12-01  Edward Z. YangMake use of boot TyThings during typechecking.
2017-11-28  Ben Gamaritypecheck: Consistently use pretty quotes in error...
2017-11-27  Simon Peyton JonesCheck quantification for partial type signatues
2017-11-27  Edward Z. YangDon't complain about UNPACK in -fno-code.
2017-11-22  Ben GamariUpdate Hadrian
2017-11-22  Evan Rutledge BordenAdd warn-missing-export-lists
2017-11-21  Ben GamariRevert "trees that grow" work
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-15  Facundo DomínguezStaticPointers: Clarify documentation
2017-11-14  Alan ZimmermanTTG3 Combined Step 1 and 3 for Trees That Grow
2017-11-14  Simon Peyton JonesA bit more tc-tracing
2017-11-14  Simon Peyton JonesFix a TyVar bug in the flattener
2017-11-11  Alan ZimmermanWIP on combined Step 1 and 3 for Trees That Grow, HsExpr
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  Ben GamariMerge initial Hadrian snapshot
2017-11-08  Alan ZimmermanWIP on Doing a combined Step 1 and 3 for Trees That...
2017-11-08  Simon Peyton JonesMinimise provided dictionaries in pattern synonyms
2017-11-08  Simon Peyton JonesFix another dark corner in the shortcut solver
next