Renamer now preserves location for IEThingWith list items
[ghc.git] / compiler / typecheck /
2017-09-15  Alan ZimmermanRenamer now preserves location for IEThingWith list...
2017-09-15  HE, TaoFix missing fields warnings in empty record constructio...
2017-09-15  Ben GamariFix name of note
2017-09-14  Richard EisenbergFix #13963.
2017-09-14  Richard EisenbergFix #13909 by tweaking an error message.
2017-09-14  Simon Peyton JonesRemove unused variable binding
2017-09-14  Simon Peyton JonesRefactor tcInferApps
2017-09-14  Simon Peyton JonesRefactor to eliminate FamTyConShape
2017-09-14  Simon Peyton JonesTidying could cause ill-kinded types
2017-09-14  Simon Peyton JonesFix subtle bug in TcTyClsDecls.mkGADTVars
2017-09-14  Simon Peyton JonesNo need to check ambiguity for visible type args
2017-09-13  Alan ZimmermanOption "-ddump-rn-ast" dumps imports and exports too
2017-09-12  Joachim BreitnerAllow CSE'ing of work-wrapped bindings (#14186)
2017-09-09  Herbert Valerio... Canonicalise MonoidFail instances in GHC
2017-09-09  Herbert Valerio... Canonicalise Monoid instances in GHC
2017-09-07  Gabor GreifFix typos in diagnostics, testsuite and comments
2017-09-05  Ryan ScottImplicitly bind kind variables in type family instance...
2017-09-05  alexbiehlRemember the AvailInfo for each IE
2017-09-02  Ryan ScottFix #14167 by using isGadtSyntaxTyCon in more places
2017-09-02  Ryan ScottDisallow bang/lazy patterns in the RHSes of implicitly...
2017-08-31  Herbert Valerio... Add missing Semigroup instances to compiler
2017-08-31  Simon Peyton JonesReally fix Trac #14158
2017-08-31  Simon Peyton JonesSmall changes to ddump-tc tracing
2017-08-31  Simon Peyton JonesAdd debugPprType
2017-08-30  Simon Peyton JonesDefine and use HsArg
2017-08-29  Ryan ScottRefactor type family instance abstract syntax declarations
2017-08-29  Simon Peyton JonesSmall refactor of getRuntimeRep
2017-08-29  Simon Peyton JonesUse a well-kinded substitution to instantiate
2017-08-29  Simon Peyton JonesSmall refactoring of meta-tyvar cloning
2017-08-29  Simon Peyton JonesAdd TcRnMonad.unlessXOptM
2017-08-29  Simon Peyton JonesA bit more -ddump-tc tracing
2017-08-29  Simon Peyton JonesComments only
2017-08-29  David FeuerMake parsed AST dump output lazily
2017-08-25  Simon Peyton JonesComments, plus adjust debug print of TcTyThing(ATyVar)
2017-08-24  Simon Peyton JonesFix defer-out-of-scope-variables
2017-08-24  Simon Peyton JonesBetter pretty-printing for CHoleCan
2017-08-22  Ryan ScottRevise function arity mismatch errors involving TypeApp...
2017-08-22  Ryan ScottFix #13885 by freshening reified GADT constructors...
2017-08-17  Ryan ScottFix #11785 by making reifyKind = reifyType
2017-08-17  Ryan ScottSuggest how to fix illegally nested foralls in GADT...
2017-08-17  Ryan ScottFix #13972 by producing tidier errors
2017-08-16  Ben GamariAllow TcDerivInfer to compile with GHC 8.0.1
2017-08-15  Ryan ScottUse a ReaderT in TcDeriv to avoid some tedious plumbing
2017-08-15  Ryan ScottFix #14060 by more conservatively annotating TH-reified...
2017-08-12  Ryan ScottExpand type synonyms during role inference
2017-08-12  Ryan ScottUse NonEmpty lists to represent lists of duplicate...
2017-08-12  Ryan ScottDon't suppress unimplemented type family warnings with...
2017-08-12  Ryan ScottSplit out inferConstraintsDataConArgs from inferConstraints
2017-08-05  Oleg GrenrusAdd MonadIO Q - by requiring MonadIO => Quasi
2017-08-02  Ryan ScottRemove unneeded uses of ImplicitParams
2017-08-02  Simon Peyton JonesGet the roles right for newtype instances
2017-08-01  Ryan ScottDrop GHC 7.10 compatibility
2017-07-31  Gabor GreifA bunch of typofixes
2017-07-31  Simon Peyton JonesUse field names for all uses of datacon Match
2017-07-31  Simon Peyton JonesImprove the desugaring of -XStrict
2017-07-31  Simon Peyton JonesRefactoring around FunRhs
2017-07-29  Richard EisenbergFix #14045 by omitting an unnecessary check
2017-07-28  Ryan ScottError eagerly after renaming failures in reifyInstances
2017-07-28  Simon Peyton JonesDo not discard insolubles in implications
2017-07-28  Simon Peyton JonesFix ASSERT failure in tc269
2017-07-27  Richard EisenbergRefactor tcInferApps.
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts
2017-07-27  Richard EisenbergFix #12176 by being a bit more careful instantiating.
2017-07-27  Richard EisenbergTrack visibility in TypeEqOrigin
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-07-26  Gabor GreifFix note references and some typos
2017-07-26  Simon Peyton JonesComments and tc-tracing only
2017-07-26  Simon Peyton JonesFix binder visiblity for default methods
2017-07-25  Ryan ScottFix #10684 by processing deriving clauses with finer...
2017-07-25  Eugene AkentyevFix import error with -XPackageImports when the module...
2017-07-20  Edward Z. YangMake IfaceAxiom typechecking lazier.
2017-07-20  Gabor GreifSpelling fixes
2017-07-20  Ben GamariTypeable: Ensure that promoted data family instance...
2017-07-19  Ryan ScottFix #13983 by creating a TyConFlavour type, and using it
2017-07-19  Ryan ScottAllow visible type application for []
2017-07-12  Ryan ScottFix some excessive spacing in error messages
2017-07-11  Ömer Sinan AğacanMention which -Werror promoted a warning to an error
2017-07-11  Ryan ScottRemove unnecessarily returned res_ty from rejigConRes
2017-07-11  Ryan ScottSuppress unused warnings for selectors for some derived...
2017-07-11  Patrick DoughertyMake ':info Coercible' display an arbitrary string...
2017-07-06  Gabor GreifTypos in comments [ci skip]
2017-07-03  Ryan ScottFix #13311 by using tcSplitNestedSigmaTys in the right...
2017-07-03  Gabor Greifrename tcInstBinder(s)X to tcInstBinder(s)
2017-06-29  Simon Peyton JonesFix lexically-scoped type variables
2017-06-29  Gabor Greifremove dead function 'tcInstBinders'
2017-06-28  Gabor GreifRemove unneeded import
2017-06-28  Gabor GreifMore typos in comments [ci skip]
2017-06-28  Gabor GreifTypos in comments and manual [ci skip]
2017-06-28  Simon Peyton JonesFix constraint solving for forall-types
2017-06-28  Simon Peyton JonesDo zonking in tcLHsKindSig
2017-06-28  Simon Peyton JonesFix the in-scope set in TcHsType.instantiateTyN
2017-06-27  Ben GamariTreat banged bindings as FunBinds
2017-06-27  Ben Gamaritypecheck: Consider types containing coercions non...
2017-06-23  Matthew PickeringUse actual universal tvs in check for naughty record...
2017-06-20  Gabor GreifFix note reference [ci skip]
2017-06-18  Ryan ScottLook through type synonyms in existential contexts...
2017-06-16  Simon Peyton JonesFix the treatment of 'closed' definitions
2017-06-12  Douglas WilsonImprove getNameToInstancesIndex
2017-06-08  Douglas WilsonAdd tcRnGetNameToInstancesIndex
next