Add nakedSubstTy and use it in TcHsType.tcInferApps
[ghc.git] / compiler / typecheck /
2018-07-10  Simon Peyton JonesAdd nakedSubstTy and use it in TcHsType.tcInferApps
2018-07-10  Simon Peyton JonesMore tc-tracing
2018-07-10  Simon Peyton JonesFix decompsePiCos and visible type application
2018-07-10  Simon Peyton JonesMore refactoring in TcValidity
2018-07-10  ningningRefactor coercion rule
2018-07-05  Ryan ScottComment out a pprTrace
2018-07-05  Ryan ScottFix #15331 with careful blasts of parenthesizeHsType
2018-07-05  Ryan ScottInstantiate GND bindings with an explicit type signature
2018-07-05  Simon Peyton JonesRefactor validity checking for constraints
2018-07-04  Simon Peyton JonesFix comment
2018-07-04  Simon Peyton JonesAdd comments on Typeable (n :: Nat)
2018-07-04  Matthías Páll Giss... Fix errors caused by invalid candidates leaking from...
2018-06-29  Gabor GreifA few typofixes in comments
2018-06-28  Richard EisenbergClarify role of coercion in flattening function
2018-06-26  Simon Peyton JonesRemove dead code
2018-06-26  Simon Peyton JonesA bit more tc-tracking in TcUnify.uUnfilledVar
2018-06-26  Simon Peyton JonesFix TcLevel manipulation in TcDerivInfer.simplifyDeriv
2018-06-25  Simon Peyton JonesComents and debug tracing only
2018-06-25  Simon Peyton JonesRefactor the kind-checking of tyvar binders
2018-06-25  Simon Peyton JonesImprove tc-tracing a bit
2018-06-25  Simon Peyton JonesFix error recovery for pattern synonyms
2018-06-22  Alan ZimmermanTTG for IPBind had wrong extension name
2018-06-22  Simon Peyton JonesMove a Note to the module that refers to it
2018-06-22  Simon Peyton JonesRemove unnecessary call to checkReductionDepth
2018-06-22  Simon Peyton JonesRefactor try_solve_fromInstance in shortCutSolver
2018-06-22  Simon Peyton JonesInstances in no-evidence implications
2018-06-21  Ryan ScottDrop redundant Note
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...
2018-04-09  Alan ZimmermanRestore Trees That Grow reverted commits
2018-04-07  Alan ZimmermanRemove HasSourceText and SourceTextX classes
2018-04-02  Richard EisenbergFix #14991.
2018-04-01  Richard EisenbergClarify comments around dropping Derived constraints
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-27  Simon Peyton JonesMinor refactor and commments
2018-03-26  Alexander ViethFix performance of flattener patch (#12919)
next