Fix two bugs in stg_ap_0_fast in profiling runtime
[ghc.git] / compiler / typecheck /
2018-11-22  Richard EisenbergFix #15859 by checking, not assuming, an ArgFlag
2018-11-02  Richard EisenbergDon't lint erroneous programs. ghc-8.6.2-release
2018-11-02  Richard EisenbergFix #15787 by squashing a coercion hole.
2018-10-30  Simon Peyton JonesReport a Wanted error even if there are Given ones
2018-10-28  Ningning XieFix TcType.anyRewritableTyVar
2018-10-28  Ningning XieFix `:k` command: add validity checking
2018-10-17  Simon Peyton JonesFail fast on pattern synonyms
2018-10-13  Simon MarlowFix for recover with -fexternal-interpreter (#15418)
2018-09-16  Chaitanya KoparkarFix #10859 by using foldr1 while deriving Eq instances
2018-09-16  Simon Peyton JonescanCFunEqCan: use isTcReflexiveCo (not isTcReflCo)
2018-08-23  Ryan ScottSuppress redundant givens during error reporting
2018-08-23  Simon Peyton JonesAccommodate API change in transSuperClasses
2018-08-23  Simon Peyton JonesFix a typo in TcValidity.checkFamInstRhs
2018-08-06  Matthías Páll Giss... Fix the TcLevel not being set correctly when finding...
2018-08-06  Herbert Valerio... Turn on MonadFail desugaring by default
2018-08-02  Matthías Páll Giss... Clone relevant constraints to avoid side-effects on...
2018-08-02  Simon Peyton JonesTreat isConstraintKind more consistently
2018-08-02  Richard EisenbergRemove the type-checking knot.
2018-08-01  Vladislav ZavialovFix #15415 and simplify tcWildCardBinders
2018-07-31  Simon Peyton JonesStop marking soluble ~R# constraints as insoluble
2018-07-31  Ryan ScottSuppress -Winaccessible-code in derived code
2018-07-14  Simon Peyton JonesFix decompsePiCos and visible type application
2018-07-12  Ryan ScottInstantiate GND bindings with an explicit type signature
2018-07-12  Richard EisenbergKind-check CUSK associated types separately
2018-07-12  Simon Peyton JonesAdd nakedSubstTy and use it in TcHsType.tcInferApps
2018-07-12  Matthew PickeringRun the renamed source plugin after each HsGroup
2018-07-12  Matthías Páll Giss... Fix errors caused by invalid candidates leaking from...
2018-07-12  Ryan ScottFix #15331 with careful blasts of parenthesizeHsType
2018-07-12  Richard EisenbergExpand and implement Note [The tcType invariant]
2018-06-27  Simon Peyton JonesFix error recovery for pattern synonyms ghc-8.6.1-alpha1
2018-06-27  Simon Peyton JonesFix TcLevel manipulation in TcDerivInfer.simplifyDeriv
2018-06-27  Simon Peyton JonesRefactor the kind-checking of tyvar binders
2018-06-27  Simon Peyton JonesInstances in no-evidence implications
2018-06-24  Alan ZimmermanTTG for IPBind had wrong extension name
2018-06-20  Ryan ScottRemove HsEqTy and XEqTy
2018-06-20  Gabor GreifA few more typofixes in docs/comments [ci skip]
2018-06-19  Richard EisenbergDocument and simplify tcInstTyBinders
2018-06-18  Richard EisenbergFix typo in comment only
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-18  Simon Peyton JonesFix typechecking of kind signatures
2018-06-18  Simon Peyton JonesTwo small refactorings
2018-06-17  Ryan ScottProvide a better error message for unpromotable data...
2018-06-17  Adam GundryHandle DuplicateRecordFields correctly in filterImports...
2018-06-16  Zubin DuggalPreserve parenthesis in function application in typechecker
2018-06-16  Richard EisenbergQuantify unfixed kind variables in CUSKs
2018-06-15  Kirill ZaborskyFix #13833: accept type literals with no FlexibleInstances
2018-06-15  HE, TaoAdd "quantified constraint" context in error message...
2018-06-15  Simon Peyton JonesMake better "fake tycons" in error recovery
2018-06-15  Simon Peyton JonesFix corner case in typeKind, plus refactoring
2018-06-15  Simon Peyton JonesFix the bind-recovery type
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-14  HE, TaoDisable `-fdefer-out-of-scope-variables` in ghci.
2018-06-12  Simon Peyton JonesRefactor TcExpr.tcSeq
2018-06-11  Simon Peyton JonesRemove a tc-trace
2018-06-11  Simon Peyton JonesSmall refactor, adding checkBadTelescope
2018-06-11  Simon Peyton JonesRemove duplicate quantified constraints
2018-06-08  Ben Gamaritypecheck: Don't warn about "redundant" TypeError const...
2018-06-07  Matthew PickeringRun typeCheckResultAction and renamedResultAction in...
2018-06-05  Ryan ScottIntroduce DerivingVia
2018-06-04  Simon JakobiSerialize docstrings to ifaces, display them with new...
2018-06-04  Matthew PickeringAdd Outputable instance for HsArg
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-06-03  Alanas PlascinskastcExtendTyVarEnv2 changed to tcExtendNameTyVarEnv
2018-06-03  Tobias DammersTurn "inaccessible code" error into a warning
2018-06-03  Ryan ScottFix #13777 by improving the underdetermined CUSK error...
2018-06-03  Boldizsar NemethExtended the plugin system to run plugins on more repre...
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-05-30  Matthías Páll Giss... Improved Valid Hole Fits
2018-05-30  HE, TaoPut the `ev_binds` of main function inside `runMainIO`
2018-05-24  Ryan ScottMinor typos
2018-05-24  Ryan ScottCheck for mismatched class methods during typechecking
2018-05-23  Simon Peyton JonesUse dischargeFunEq consistently
2018-05-23  Simon Peyton JonesRemove special case from TcTyVar level check
2018-05-21  Simon Peyton JonesCheck for type families in an instance context
2018-05-21  Simon Peyton JonesMake dischargeFmv handle Deriveds
2018-05-21  Simon Peyton JonesRemove TcType.toTcType
2018-05-21  Simon Peyton JonesDo better sharing in the short-cut solver
2018-05-18  Simon Peyton JonesDo not unify representational equalities
2018-05-18  Simon Peyton JonesDebug tracing only
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
2018-05-18  Simon Peyton JonesTiny refactor
2018-05-18  Simon Peyton JonesComments only
2018-05-17  Simon MarlowFix GHCi space leaks (#15111)
2018-05-16  Ryan ScottFix #15073 by suggesting UnboxedTuples in an error...
2018-05-16  Ryan ScottFix #15039 by pretty-printing equalities more systemati...
2018-05-15  Artem PelenitsynLess Tc inside simplCore (Phase 1 for #14391)
2018-05-15  Simon Peyton JonesTidy up error suppression
2018-05-14  Ryan ScottFix #14875 by introducing PprPrec, and using it
2018-05-13  Ben GamariTcInteract: Ensure that tycons have representations...
2018-05-08  Simon Peyton JonesSimplify the kind checking for type/class decls
2018-05-05  klebinger.andreas... Split TrieMap into a general (TrieMap) and core specifi...
2018-04-27  Simon Peyton JonesBetter linting for types
2018-04-27  Simon Peyton JonesMake out-of-scope errors more prominent
2018-04-27  Simon Peyton JonesRefactor tcExtendLocalFamInst a bit
2018-04-27  Alan ZimmermanTTG : complete for balance of hsSyn AST
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-04-20  Ryan ScottLint types in newFamInst
2018-04-19  Ryan ScottFix #15012 with a well-placed use of Any
2018-04-13  Alan ZimmermanTTG for HsBinds and Data instances Plan B
2018-04-10  Ben GamariRevert "Fix #14838 by marking TH-spliced code as FromSo...
next