tyops
[ghc.git] / compiler / coreSyn / CoreSubst.lhs
2011-11-30  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  Simon Peyton JonesSwitch around the order of guards in exprIsConApp_maybe
2011-11-27  Simon Peyton JonesBe a bit less gung-ho in exprIsConApp_maybe
2011-11-25  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-25  Manuel M T ChakravartyFix newtype wrapper for 'PData[s] (Wrap a)' and fix...
2011-11-22  Simon Marlowmerge
2011-11-17  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-17  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-16  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-16  Dimitrios VytiniotisGHC gets a new constraint solver. More efficient and...
2011-11-04  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-04  Ian LynaghUse -fwarn-tabs when validating
2011-11-02  Simon MarlowOverhaul of infrastructure for profiling, coverage...
2011-10-31  Manuel M T ChakravartyVECTORISE pragmas for type classes and instances
2011-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-10-24  Simon Peyton JonesMake the matching in PrelRules "look through" unfoldings
2011-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-10-23  Ian LynaghRemove a redundant #ifdef DEBUG
2011-10-10  Manuel M T ChakravartyFully implement for VECTORISE type pragmas (non-SCALAR).
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-23  Simon Peyton JonesMake a new type synonym CoreProgram = [CoreBind]
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-09  Max BolingbrokeMove exprIsConApp_maybe to CoreSubst so we can use...
2011-09-09  Simon Peyton JonesComments, and rename FactTuple to ConstraintTuple
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-09-06  Max BolingbrokeFix handing of CoVars in SetLevels: it wasn't renaming...
2011-08-18  Manuel M T ChakravartyAdd VECTORISE [SCALAR] type pragma
2011-08-01  David TereiMerge branch 'master' of ssh://darcs.haskell.org/home...
2011-07-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-28  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-27  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-07-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-27  Simon Peyton JonesPrint rules as well as binds in simplOptPgm debug
2011-07-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-23  Simon Peyton JonesA nice tidy-up for CvSubst and liftCoSubst
2011-07-21  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-21  Simon Peyton JonesSimplify the treatment of RULES in OccurAnal
2011-06-30  Simon Peyton JonesReformat warning slightly
2011-06-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-30  Simon Peyton JonesA second bite at the case-floating patch
2011-06-29  Max BolingbrokeNew functionality required for the supercompiler plugin
2011-06-24  Ian LynaghMerge branch 'master' of dippy:c:/msys/1.0/home/ian...
2011-06-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-23  Simon Peyton JonesGet rid of the DFunArg type and all its works
2011-06-13  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-06-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-13  Manuel M T ChakravartyAdded a pragma {-# NOVECTORISE f #-} that suppresses...
2011-06-10  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-06-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-10  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-06-10  Manuel M T ChakravartyTake vectorisation declarations into account during...
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-12  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-11  Simon Peyton JonesMerge remote branch 'origin/master'
2011-05-09  Simon Peyton JonesMerge ghc-new-co into master branch
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
2011-05-02  Simon Peyton JonesMerge in changes from HEAD
2011-04-30  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-20  Simon Peyton JonesMerge branch 'master' into ghc-new-co
2011-04-19  Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2010-12-13  simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-12-02  simonpj@microsoft.comFix a nasty bug in RULE matching: Trac #4814
2010-11-25  simonpj@microsoft.comSubstitution should just substitute, not optimise
2010-11-16  simonpj@microsoft.comOccurrence analyser takes account of the phase when...
2010-10-25  simonpj@microsoft.comDo not (ever) use substExprSC in the simplifier
2010-10-21  simonpj@microsoft.comImprove the simple expression optimiser so it does...
2010-09-15  simonpj@microsoft.comImplement INLINABLE pragma
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-05-31  simonpj@microsoft.comRobustify the treatement of DFunUnfolding
2010-03-09  simonpj@microsoft.comComments only
2010-01-08  simonpj@microsoft.comComment out debug warnings; they are fine
2009-12-24  simonpj@microsoft.comA bunch of stuff relating to substitutions on core
2010-01-04  simonpj@microsoft.comSubstantial improvements to coercion optimisation
2009-12-18  simonpj@microsoft.comMake warning printing a bit less noisy
2009-12-16  simonpj@microsoft.comTwo improvements to optCoercion
2009-12-02  simonpj@microsoft.comMore work on the simplifier's inlining strategies
2009-11-09  simonpj@microsoft.comWibble to substituting InlWrappers
2009-11-05  simonpj@microsoft.comAnother refactoring on the shape of an Unfolding
2009-11-05  simonpj@microsoft.comNuke the -finline-if-enough-args flag
2009-11-03  simonpj@microsoft.comTweak simpleOptExpr, so that it respects nested INLINE...
2009-10-30  simonpj@microsoft.comCure an assert failure by gathering the right set of...
2009-10-29  simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN...
2009-01-13  simonpj@microsoft.comRewrite CorePrep and improve eta expansion
2008-12-16  Simon MarlowRollback INLINE patches
2008-12-08  simonpj@microsoft.comMove simpleOptExpr from CoreUnfold to CoreSubst
2008-12-05  simonpj@microsoft.comCompletely new treatment of INLINE pragmas (big patch)
2008-09-17  simonpj@microsoft.comFix nasty infelicity: do not short-cut empty substituti...
2008-09-10  simonpj@microsoft.comComments only
2008-07-31  Max BolingbrokeDocument CoreSubst
2008-07-20  Thomas SchillingFix Haddock errors.
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in CoreSubst
next