2013-12-28  Simon Peyton... Comments only
2013-12-28  Simon Peyton... Re-factor TcCanonical (again), fixes Trac #8603
2013-12-28  Simon Peyton... Define mkTcNomReflCo = TcRefl Nominal, and use it all...
2013-12-27  Edsko de VriesAdd hook for splicing in renamer
2013-12-27  Richard EisenbergFix #8607.
2013-12-18  Richard EisenbergRevert "Simplify the plumbing for checkValidTyCl"
2013-12-17  Joachim BreitnerRemove unused eqExprX
2013-12-17  Mikhail GlushenkovMention '-fno-ignore-asserts' in documentation.
2013-12-17  Mikhail GlushenkovCopy-pasto.
2013-12-16  Joachim BreitnerUpdate comments: Void# instead of State# RealWorld#
2013-12-16  Joachim BreitnerMake types of bothDmdType more precise
2013-12-16  Joachim BreitnerDisentangle postProcessDmdTypeM and postProcessUnsat
2013-12-16  Joachim BreitnerRefactor peelManyCalls
2013-12-16  Joachim BreitnerRename postProcessDmdType to postProcessUnsat and use...
2013-12-16  Joachim BreitnerDo not export DmdResult constructors in Demand.lhs
2013-12-16  Joachim BreitnerSplit DmdResult into DmdResult and CPRResult
2013-12-16  Joachim BreitnerAdd Note [non-algebraic or open body type warning]
2013-12-16  Joachim BreitnerRemove dmdAnalArg and replace by easier to understand...
2013-12-16  Joachim BreitnerClarify the default demand on demand environments
2013-12-12  Joachim BreitnerMove peelFV from DmdAnal to Demand
2013-12-12  Simon Peyton... Improve the handling of used-once stuff
2013-12-12  Simon Peyton... Guarding against silly shifts
2013-12-12  Simon Peyton... Assign strictness signatures to primitive operations
2013-12-12  Simon Peyton... Do not split void functions
2013-12-12  Simon Peyton... Some refactoring of Demand and DmdAnal
2013-12-10  Simon Peyton... Spelling in comment
2013-12-10  Simon Peyton... Better debug printing
2013-12-10  Simon Peyton... Do not generate given kind-equalities (fix Trac #8566)
2013-12-10  Herbert Valerio... Add more .mailmap entries
2013-12-09  Joachim BreitnerSort the output of -dump-strsigs
2013-12-09  Joachim BreitnerReplace mkTopDmdType by mkClosedStrictSig
2013-12-09  Joachim BreitnerRename topDmdType to nopDmdType
2013-12-09  Joachim BreitnerDo not forget CPR information after an IO action
2013-12-09  Joachim BreitnerNew flag: -ddump-strsigs
2013-12-09  Austin SeippFix windows x86_64 build.
2013-12-05  Patrick PalkaRemove the LFBlackHole constructor
2013-12-05  Herbert Valerio... Add `.mailmap` file
2013-12-05  Patrick PalkaSuggest TemplateHaskell after encountering a parse...
2013-12-05  Patrick PalkaClean up Lexer.srcParseErr
2013-12-05  Patrick PalkaSuggest TemplateHaskell after encountering a naked...
2013-12-05  Simon Peyton... Typecheck typed TH splices properly (fix Trac #8577)
2013-12-05  Simon Peyton... Comments, and rename a variable
2013-12-05  Christopher... Fix compiler warnings due to integer size mismatch
2013-12-05  Evan HauckRefactored by Simon Marlow's suggestion
2013-12-05  khyperiaMade ghc -e have a nonzero exit code upon failure ...
2013-12-04  Christopher... Use new flushExec implementation on all operating syste...
2013-12-04  Patrick PalkaUpdate and deduplicate the comments on CAF management...
2013-12-04  Patrick PalkaMove the allocation of CAF blackholes into 'newCAF...
2013-12-04  Joachim BreitnerRemove code that generates FunDep error message context
2013-12-04  Patrick PalkaUntab ClosureTypes.h and ClosureFlags.c
2013-12-04  Simon Peyton... Comments only
2013-12-04  Simon Peyton... Improve ASSERT
2013-12-04  Simon Peyton... Comments only
2013-12-04  Joachim BreitnerFix note reference [WildCard binders]
2013-12-04  Joachim BreitnerMore detailed error message when GND fails
2013-12-03  Edsko de VriesExport getHscEnv from HscMain
2013-12-03  Edsko de VriesMask async exceptions in forkM_
2013-12-03  Joachim BreitnerElaborate "deriving" error messages
2013-12-03  Joachim BreitnerRefactor: Origin of inferred Thetas
2013-12-02  Gabor GreifSome popular typos in comments
2013-12-02  Joachim BreitnerNote [HyperStr and Use demands]
2013-12-02  Joachim BreitnerMove FunDeps to typecheck
2013-12-02  Richard EisenbergFix location of spliced-in role annotations.
2013-12-02  Richard EisenbergRejig rejigConRes & friends, doing role checks in a...
2013-12-02  Richard EisenbergRemove dead code orphaned by implementing GND with...
2013-12-02  Joachim BreitnerMore links to [Coercible Instances]
2013-12-02  Joachim BreitnerHandle Coercible (forall a. t) (forall a. t2) in TcInteract
2013-12-02  Joachim BreitnerBind monadic stuff in getCoercibleInst locally, not...
2013-12-02  Joachim BreitnerRefactor deferTcSForAllEq: Do not bind, but return...
2013-12-02  Joachim BreitnerPrint nicer error message for Coercible errors
2013-12-02  Joachim BreitnerWith GND, report Coercible errors earliy
2013-12-02  Joachim BreitnerTcDeriv: s/isomorphism/coercible
2013-12-02  Patrick PalkaRevert "Respect the ordering of -package directives"
2013-12-01  Patrick PalkaRespect the ordering of -package directives
2013-12-01  Patrick PalkaMove the LDV code below the self-loop label (#8275)
2013-12-01  Patrick PalkaDon't explicitly refer to nodeReg in ldvEnterClosure
2013-12-01  Jan StolarekDocument solution to #8275
2013-12-01  Patrick PalkaFix loopification with profiling and enable it by defau...
2013-11-30  Krzysztof GogolewskiFix documentation of FlexibleContexts (#8574)
2013-11-30  Krzysztof GogolewskiUpdate "stolen syntax" section (#8575)
2013-11-30  Patrick PalkaCall busy_wait_nop() in the spin-wait loop in shutdown_...
2013-11-29  Krzysztof GogolewskiUpdate "stolen syntax" section (#8575)
2013-11-29  Joachim BreitnerMinor fix to example GHC plugin in the documentation
2013-11-29  Joachim BreitnerUpdate Notes for Coercible
2013-11-29  Herbert Valerio... Remove whitespace between macro identifiers and `(`
2013-11-29  Simon Peyton... Fail (rather than addErr) if you use a bogus field...
2013-11-28  Simon Peyton... More faff to get GHCi's top-level environment right
2013-11-28  Simon Peyton... Fix the deugger (fixing Trac #8557)
2013-11-28  Simon MarlowRefactor handleRunStatus some more, add comments and...
2013-11-28  Simon Marlow-ddump-cmm: don't dump the proc point stage if we didn...
2013-11-28  Simon MarlowComments on slow-call-shortcutting
2013-11-28  Patrick PalkaFix up shortcut for slow calls
2013-11-28  Simon MarlowImplement shortcuts for slow calls (#6084)
2013-11-28  Joachim BreitnerEvCast needs to take a representational coercion
2013-11-28  Simon Peyton... Comments only
2013-11-27  Joachim BreitnerCoercible for impredicative types
2013-11-27  Joachim BreitnerGet rid of EvCoercible
2013-11-27  Joachim BreitnerBeginnings of removing EvCoercible
2013-11-27  Joachim BreitnerRoleify TcCoercion
2013-11-27  Joachim BreitnerRemove unused liftTcCoSubstWith