Small refactor of TcMType.tauifyExpType
[ghc.git] / compiler / typecheck /
2016-03-31  Simon Peyton JonesSmall refactor of TcMType.tauifyExpType
2016-03-31  Simon Peyton JonesRefactor in TcMatches
2016-03-31  Simon Peyton JonesMinor refactoring in mkExport
2016-03-31  Simon Peyton JonesComments only
2016-03-30  Gabor GreifTypos in non-code
2016-03-29  Bartosz NitkaBuild correct substitution in instDFunType
2016-03-29  Bartosz NitkaUse a correct substitution in tcInstType
2016-03-26  Richard EisenbergCheck for rep poly on wildcard binders.
2016-03-25  Simon Peyton JonesA raft of comments about TyBinders
2016-03-25  Simon Peyton JonesAn extra traceTc in tcExpr for ExprWithSig
2016-03-24  Ben GamariShow: Restore redundant parentheses around records
2016-03-24  Rik SteenkampAdd `PatSynSigSkol` and modify `PatSynCtxt`
2016-03-24  Ben GamariErrUtils: Add timings to compiler phases
2016-03-23  Simon Peyton JonesMove DFunUnfolding generation to TcInstDcls
2016-03-22  Richard EisenbergAvoid running afoul of the zipTvSubst check.
2016-03-21  Richard EisenbergComments (only) in TcFlatten
2016-03-21  Richard EisenbergFix #11723 and #11724.
2016-03-21  Richard EisenbergZonk before calling splitDepVarsOfType.
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-21  Richard EisenbergComment a suspicious zonk in TcFlatten.
2016-03-21  Richard EisenbergPrevent eager unification with type families.
2016-03-21  Richard EisenbergFix #11635 / #11719.
2016-03-21  Bartosz NitkaRemove unused substTyWithBinders functions
2016-03-17  Richard EisenbergFix #11512 by getting visibility right for methods
2016-03-17  Richard EisenbergFix #11716.
2016-03-17  Csongor Kisstypechecker: fix trac issue #11708
2016-03-17  Richard EisenbergFix #11711.
2016-03-16  Richard EisenbergClean up some pretty-printing in errors.
2016-03-16  Richard EisenbergFix printing of "kind" vs. "type"
2016-03-16  Richard EisenbergFix #11473.
2016-03-15  Richard EisenbergFix #11357.
2016-03-15  Richard EisenbergRemove redundant anonymiseTyBinders (#11648)
2016-03-15  Richard EisenbergAllow eager unification with type families.
2016-03-15  Richard EisenbergFix #11648.
2016-03-15  Richard EisenbergRefactor visible type application.
2016-03-15  Richard EisenbergFix #11401.
2016-03-15  Richard EisenbergFix #11334.
2016-03-15  Richard EisenbergFix #11407.
2016-03-09  Simon Peyton JonesRefactoring around TcPatSyn.tcPatToExpr
2016-03-01  Simon Peyton JonesRemove unnecessary isTyVar tests in TcType
2016-03-01  Simon Peyton JonesA bit more tracing in TcHsType.tcTyVar
2016-03-01  Simon Peyton JonesComments only
2016-03-01  Simon Peyton JonesDo not check synonym RHS for ambiguity
2016-02-27  Herbert Valerio... Annotate `[-Wdeferred-type-errors]` in warnings (re...
2016-02-27  Herbert Valerio... Annotate `[-Wredundant-constraints]` in warnings (re...
2016-02-26  Simon Peyton JonesFix kind generalisation for pattern synonyms
2016-02-26  Simon Peyton JonesComments and white space only
2016-02-26  Simon Peyton JonesExclude TyVars from the constraint solver
2016-02-26  Gabor GreifTypos in comments, etc.
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  Rik SteenkampImprove pattern synonym error messages (add `PatSynOrigin`)
2016-02-25  Matthew PickeringReconstruct record expression in bidir pattern synonym
2016-02-25  Manav RathiMake warning names more consistent
2016-02-25  Facundo DomínguezOverload the static form to reduce verbosity.
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Ben GamariUnwire Typeable representation types
2016-02-18  Simon Peyton JonesTake type-function arity into account
2016-02-18  Simon Peyton JonesImprove piResultTys and friends
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-18  Ben GamariFix thinko that crept into D1908
2016-02-17  RyanGlScottRemove superfluous code when deriving Foldable/Traversable
2016-02-17  Richard EisenbergFix #11313.
2016-02-17  Richard EisenbergFix #11246.
2016-02-17  Richard EisenbergMake exactTyCoVarsOfTypes closed over kinds.
2016-02-17  Simon Peyton JonesSmall refactor and comments
2016-02-17  Simon Peyton JonesComments only
2016-02-16  Yuras ShumovichSuggest candidate instances in error message
2016-02-16  Rik SteenkampFix typos
2016-02-16  Rik SteenkampFix two wrong uses of "data constructor" in error msgs
2016-02-15  Simon Peyton JonesA tiny, outright bug in tcDataFamInstDecl
2016-02-15  Simon Peyton JonesComments only
2016-02-15  Simon Peyton JonesImprove error message suppression
2016-02-12  Simon Peyton JonesMinor refactoring to tauifyMultipleMatches
2016-02-12  Simon Peyton JonesImprove pretty-printing of HsWrappers
2016-02-12  Simon Peyton JonesSimplify AbsBinds wrapping
2016-02-11  Gabor GreifAnother batch of typo fixes in non-code
2016-02-10  Bartosz NitkaReplace mkTvSubstPrs (a `zip` b) with zipTvSubst a b
2016-02-10  Simon Peyton JonesWrap solveEqualities in checkNoErrs
2016-02-09  Ben GamariTcPatSyn: Fix spelling of "pattern" in error message
2016-02-09  Ben GamariTcErrors: Fix plural form of "instance" error
2016-02-08  Simon Peyton JonesDefine tyConRolesRepresentational and use it
2016-02-08  Simon Peyton JonesDefine mkTvSubst, and use it
2016-02-08  Simon Peyton JonesSome tiding up in TcGenDeriv
2016-02-08  Simon Peyton JonesFix a nasty superclass expansion bug
2016-02-08  Simon Peyton JonesA small, local refactoring of TcSimplify.usefulToFloat
2016-02-08  Simon Peyton JonesUse runTcSDeriveds for simplifyDefault
2016-02-08  Simon Peyton JonesImprove error messages for recursive superclasses
2016-02-08  Simon Peyton JonesImprove tracing in TcInteract
2016-02-08  Simon Peyton JonesComment out some traceFlat calls
2016-02-08  Simon Peyton JonesDocument and improve superclass expansion
2016-02-08  Simon Peyton JonesWhite space and comments only
2016-02-08  Simon Peyton JonesAllow foralls in instance decls
2016-02-08  Simon Peyton JonesRemove unused export from TcUnify
2016-02-04  George KarachaliasOverhaul the Overhauled Pattern Match Checker
2016-02-02  Ben GamariTcMType: Add some elementary notes
2016-02-02  Bartosz NitkaUse a correct substitution in tcCheckPatSynDecl
2016-02-01  Eric SeidelHide the CallStack implicit parameter
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
next