Add some traceRn and (Outputable StmtTree)
[ghc.git] / compiler /
2017-08-30  Simon Peyton JonesAdd some traceRn and (Outputable StmtTree)
2017-08-29  Ben GamariAdd a Note describing #14128
2017-08-29  James Michael DuPontHsExpr: Fix typo
2017-08-29  Ben GamariStgLint: Give up on trying to compare types
2017-08-29  Ben GamariStgLint: Enforce MultiValAlt liveness invariant only...
2017-08-29  Ben GamariStgLint: Show type of out-of-scope binders
2017-08-29  Ben GamarinativeGen: Don't index into linked lists
2017-08-29  Tamar ChristinaFix decomposition error on Windows
2017-08-29  Ryan ScottRefactor type family instance abstract syntax declarations
2017-08-29  Tamar ChristinaRemove dll-split.
2017-08-29  Ben Gamaridesugar: Ensure that a module's dep_orphs doesn't conta...
2017-08-29  Simon Peyton JonesAdd HasDebugStack for typeKind
2017-08-29  Simon Peyton JonesSmall refactor of getRuntimeRep
2017-08-29  Simon Peyton JonesImprove kind-application-error message
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 JonesRefactor bindHsQTyVars and friends
2017-08-29  Simon Peyton JonesAdd TcRnMonad.unlessXOptM
2017-08-29  Simon Peyton JonesA bit more -ddump-tc tracing
2017-08-29  Simon Peyton JonesBetter debug-printing for Outputable TyConBinder
2017-08-29  Simon Peyton JonesComments only
2017-08-29  David FeuerMake parsed AST dump output lazily
2017-08-25  Ben GamariRip out mkUserGuidePart
2017-08-25  Simon Peyton JonesComments, plus adjust debug print of TcTyThing(ATyVar)
2017-08-25  Simon Peyton JonesDon't do the RhsCtxt thing for join points
2017-08-25  Simon Peyton JonesRefactor the Mighty Simplifier
2017-08-25  Simon Peyton JonesBottoming expressions should not be expandable
2017-08-25  Simon Peyton JonesRestrict exprOkForSpeculation/case to unlifted types
2017-08-24  Simon Peyton JonesRemove typeKind from Type.hs-boot
2017-08-24  Simon Peyton JonesFix defer-out-of-scope-variables
2017-08-24  Simon Peyton JonesBetter pretty-printing for CHoleCan
2017-08-24  Gabor GreifTypo fixed
2017-08-22  Ben GamariAdd support for producing position-independent executables
2017-08-22  Ben GamariDynFlags: Add inverse of -dno-debug-output
2017-08-22  Ben GamariStgLint: Allow join point bindings of unlifted type
2017-08-22  Edward Z. YangFix incorrect retypecheck loop in -j (#14075)
2017-08-22  Ryan ScottRevise function arity mismatch errors involving TypeApp...
2017-08-22  Ryan ScottFix #13885 by freshening reified GADT constructors...
2017-08-22  Ryan ScottFix #14114 by checking for duplicate vars on pattern...
2017-08-22  Ryan ScottFix #14125 by normalizing data family instances more...
2017-08-19  Patrick Doughertyusers_guide: Convert mkUserGuidePart generation to...
2017-08-18  Simon Peyton JonesComments only
2017-08-18  Simon Peyton JonesTracing in OccAnal (commented out)
2017-08-18  Simon Peyton JonesRestrict Lint's complaints about recursive INLINEs...
2017-08-18  Simon Peyton JonesComments about GlobalRdrEnv shadowing
2017-08-18  Joachim BreitnerCSE.cseOneExpr: Set InScopeSet correctly
2017-08-17  Alexander BiehlHandle ListPat in isStrictPattern
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-16  Ben GamariSpeed up compilation of profiling stubs
2017-08-15  Gleb PopovRecognize FreeBSD compiler as Clang.
2017-08-15  Ryan ScottUse a ReaderT in TcDeriv to avoid some tedious plumbing
2017-08-15  Ryan ScottDon't drop GHCi-defined functions with -fobject-code...
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 ScottChange isClosedAlgType to be TYPE-aware, and rename...
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-06  Dmitry MalikovFix string escaping in JSON
2017-08-05  Ryan ScottDon't warn when empty casing on Type
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-08-01  Joachim BreitnerSimplify OccurAnal.tagRecBinders
2017-08-01  Ryan ScottAllow bundling pattern synonyms with exported data...
2017-08-01  Ben GamariKnownUniques: Handle DataCon wrapper names
2017-08-01  Gabor GreifTypofixes [ci skip]
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 JonesRemove redundant goop
2017-07-31  Simon Peyton JonesReject top-level banged bindings
2017-07-31  Simon Peyton JonesDo a bit more CSE
2017-07-31  Simon Peyton JonesImprove the desugaring of -XStrict
2017-07-31  Simon Peyton JonesRefactoring around FunRhs
2017-07-31  Richard EisenbergClarify comment about data family arities
2017-07-30  Gabor GreifAdd haddock markup
2017-07-30  Gabor GreifTypofixes [ci skip]
2017-07-29  Richard EisenbergFix #14045 by omitting an unnecessary check
2017-07-28  Andreas KlebingerAdd rtsopts ignore and ignoreAll.
2017-07-28  Edward Z. YangFix hs-boot knot-tying with record wild cards.
2017-07-28  Sven TennieRemove unnecessary GHC option from SrcLoc
2017-07-28  Ben GamariEnsure that we always link against libm
2017-07-28  Michal TerepetaByteCodeGen: use byte indexing for BCenv
2017-07-28  Ryan ScottMerge types and kinds in DsMeta
2017-07-28  Ryan ScottError eagerly after renaming failures in reifyInstances
2017-07-28  Simon Peyton JonesAdd DebugCallStack to piResultTy
2017-07-28  Simon Peyton JonesDo not discard insolubles in implications
2017-07-28  Simon Peyton JonesFix ASSERT failure in tc269
2017-07-28  Simon Peyton JonesRemove redundant constraint in context
2017-07-28  Simon Peyton JonesFix instantiation of pattern synonyms
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 EisenbergFix #11963 by checking for more mixed type/kinds
2017-07-27  Richard EisenbergTrack visibility in TypeEqOrigin
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
next