Document solution to #8275
[ghc.git] / compiler /
2013-12-01  Jan StolarekDocument solution to #8275
2013-12-01  Patrick PalkaFix loopification with profiling and enable it by defau...
2013-11-29  Joachim BreitnerUpdate Notes for Coercible
2013-11-29  Herbert Valerio... Remove whitespace between macro identifiers and `(`
2013-11-29  Simon Peyton JonesFail (rather than addErr) if you use a bogus field...
2013-11-28  Simon Peyton JonesMore faff to get GHCi's top-level environment right
2013-11-28  Simon Peyton JonesFix 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 JonesComments 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
2013-11-27  Joachim BreitnerAdd role-checking ASSERT to mkCast
2013-11-27  Gabor GreifComment only
2013-11-27  Gabor GreifComment only
2013-11-27  Dr. ERDI one module name per line
2013-11-26  Gabor GreifTypos in comments
2013-11-26  Joachim BreitnerTypos in comments in TcEvidence
2013-11-25  Joachim BreitnerIn toHsType, filter out kind variables
2013-11-25  Simon Peyton JonesAnother raft of Template Haskell clean-up
2013-11-22  Simon Peyton JonesReplace (State# RealWorld) with Void# where we just...
2013-11-22  Simon Peyton JonesMove isVoidRep, isGcPtrRep to TyCon to join primRepSize...
2013-11-22  Simon Peyton JonesUntabify and trailing white space
2013-11-22  Simon Peyton JonesAdd a missing case to Lint's understanding of empty...
2013-11-22  Joachim BreitnerUse bindLocalNamesFV in rn_inst_info
2013-11-22  Joachim BreitnerUse newTyConInstRhs in coerce’d GND
2013-11-22  Richard EisenbergImplement GeneralizedNewtypeDeriving in terms of `coerce`.
2013-11-22  Joachim BreitnerExtend Coercible to newtype instances
2013-11-22  Joachim BreitnerPrevent recursive Coercible dictionaries
2013-11-22  Joachim BreitnerAdd ctLoc = ctev_loc . cc_ev
2013-11-22  Joachim BreitnerLarge refactor: Move CtLoc field from Ct to CtEvidence
2013-11-22  Joachim BreitnerAdd -ftype-function-stack to set type function stack...
2013-11-22  Joachim BreitnerSeparate SubGoalDepthCounters (constraints and typ...
2013-11-22  Joachim BreitnerMake SubGoalDepth a type of its own
2013-11-22  Simon Peyton JonesWibble to RnSplice (really belongs with b7f35733)
2013-11-22  Simon Peyton JonesRefactor TcSplice.tcBracket a bit
2013-11-22  Simon Peyton JonesClarify what is in ic_tythings, and refactor TcRnDriver...
2013-11-22  Simon Peyton JonesA raft of changes driven by Trac #8540
2013-11-22  Simon Peyton JonesRefactor traceRunStatus/handleRunStatus
2013-11-22  Simon Peyton JonesImprove pretty-printing of pending splices
2013-11-22  Simon Peyton JonesFix type-equality in the type checker (fixes Trac ...
2013-11-22  Simon Peyton JonesPrint the correct name when complaining about SPECIALIS...
2013-11-22  Simon Peyton JonesAdd suggestion of -XNegativeLiterals
2013-11-22  Simon Peyton JonesBetter constraint-solver tracing
2013-11-22  Patrick PalkaAlways re-summarise modules when -fforce-recomp is set
2013-11-22  Austin SeippUntabify buffer.
2013-11-22  Austin SeippM-x delete-trailing-whitespace
2013-11-22  Austin SeippGHCi: Properly generate jump code for ARM (#8380)
2013-11-22  Simon Peyton JonesWhen removing unreachable code, remove unreachable...
2013-11-22  Simon Peyton JonesImprove panic printout
2013-11-22  Simon Peyton JonesAdd debug dump of the list of Cmm proc points
2013-11-22  Simon Peyton JonesDon't complain about rules overlapping functions with...
2013-11-21  Simon Marlow80 columns
2013-11-21  Simon MarlowComment
2013-11-21  Simon Marlow80 columns
2013-11-21  Simon Marlow80 columns
2013-11-21  Simon Marlowrefactor tick handling a little
2013-11-21  Simon MarlowtickishCanSplit should be False for HpcTick
2013-11-21  Simon MarlowmkNoScope: expand the default case
2013-11-21  Simon MarlowRename mkNoTick to mkNoCount
2013-11-20  Joachim BreitnerExplain higher-kinded Coerctions in Note [Coercible...
2013-11-20  Joachim BreitnerCoercible: Do not try to unwrap undersaturated newtypes
2013-11-20  Joachim BreitnerMake Coercible higher-kinded
2013-11-19  Joachim BreitnerTypos in [CPR for sum types]
2013-11-18  Simon Peyton JonesImprove the 'deriving' code for polykinded data types
2013-11-18  Simon Peyton JonesFix typo in a836b6, 'Improve orientation'
2013-11-18  Jose Pedro MagalhaesGeneric1 cannot yet be derived for datatypes with tuple...
2013-11-18  Nicolas Frisbyfixing canDoGenerics1 (fixes #8468) (fixes #8479)
2013-11-18  Krzysztof GogolewskiTypo
2013-11-17  Krzysztof GogolewskiMinor change to error message wording
2013-11-17  Joachim BreitnerTypo: s/LlVM/LlVM/
2013-11-15  Simon Peyton JonesInclude funTyCon in oprhNamesOfType (fixes Trac #8535)
2013-11-15  Simon Peyton JonesFix canIrredPred again
2013-11-15  Simon Peyton JonesImprove orientation
2013-11-15  Simon Peyton JonesFix a subtle bug in kind-mis-matched equalities (Trac...
2013-11-15  Simon Peyton JonesImprove error message
2013-11-15  Patrick PalkaSimplify and improve coverage of ":info" instance lookup
2013-11-14  Iavor S. DiatchkiChange the representation and move TcBuiltInSynFamily.
2013-11-14  Duncan CouttsDon translate UserInterrupt into ExitFailure 1, let...
2013-11-14  Simon MarlowFix some cases where we were leaving slop in the heap...
2013-11-14  Simon Marlowcomments
2013-11-14  Ben LippmeierFix bug in LLVM code generator
2013-11-13  Patrick PalkaMake the fields in NameCache strict
2013-11-13  Patrick PalkaTurn NameCacheUpdater into a newtype
2013-11-13  Patrick PalkaRemove unnecessary and deprecated inclusions of Typeable.h
2013-11-13  Patrick PalkaRemove old workaround for containers <= 0.3
2013-11-13  Iavor S. DiatchkiMake type-level evaluation work with :kind!
2013-11-12  Simon Peyton JonesFurther refactoring to the tuple-typechecking patch
2013-11-12  Simon Peyton JonesMake exprType work correctly in the presnce of type...
2013-11-12  Simon Peyton JonesImprove typechecking of tuples (Trac #8514)
2013-11-12  Simon Peyton JonesImprove eta expansion (again)
2013-11-12  Simon Peyton JonesFix egregious omission in CSE (Trac #5996)
2013-11-12  Simon Peyton JonesWarn if you use ANN annotations with a stage-1 compiler...