Merge remote-tracking branch 'origin/master' into pretty-build
[ghc.git] / compiler / coreSyn /
2012-04-27  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into prett...
2012-04-27  Simon Peyton JonesRevert "Refactoring in CoreUtils/CoreArity"
2012-04-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-04-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-27  Simon Peyton JonesRefactoring in CoreUtils/CoreArity
2012-04-26  Simon Peyton JonesUse coreBindsStats more than coreBindsSize
2012-04-26  Simon Peyton JonesTiny refactor
2012-04-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-05  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-04-05  Dimitrios.VytiniotisImplemeting a lookup modulo non-idempotent substitution.
2012-04-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-05  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-04-04  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-04-04  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-04-02  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-03-30  Simon Peyton JonesComments only
2012-03-29  Dimitrios VytiniotisAdd handling of LitTy. Still a TODO to deal properly...
2012-03-29  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-28  Dimitrios VytiniotisSlightly more informal message when EvCast fails.
2012-03-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-28  Dimitrios.VytiniotisMidstream check-in on
2012-03-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-24  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-24  Ian LynaghMerge branch 'master' of win:c:/m64/reg4/.
2012-03-23  Ian LynaghMerge branch 'master' of win:c:/m64/reg4/.
2012-03-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-22  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-03-21  Max BolingbrokeMake impossible-alternative-finding code more reusable
2012-03-21  Max BolingbrokePrint more information when out-of-scope detected by...
2012-03-21  Max BolingbrokeCheck for external names/exported ids in non-top-level...
2012-03-21  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-20  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-16  Ian LynaghMerge branch 'master' of win:c:/m64/head/.
2012-03-16  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-03-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-03-14  Simon Peyton JonesFix another bug in CorePrep eta-reduction (fixes Trac...
2012-03-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-12  Simon Peyton JonesFix another bug in CorePrep eta-reduction (fixes Trac...
2012-03-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-03-07  Max BolingbrokeGive a unfolding argument discount proportional to...
2012-03-04  Simon Peyton JonesImproved debug printing with -dverbose-core2core
2012-03-02  Simon Peyton JonesHurrah! This major commit adds support for scoped...
2012-02-26  Ian LynaghImplement "value" imports with the CAPI
2012-02-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-17  Simon Peyton JonesMore simplification of the sub-kinding story
2012-02-17  Simon Peyton JonesMove sortQuantVars to MkCore
2012-02-17  Simon Peyton JonesKill dead code
2012-02-16  Ian LynaghFix the build with GHC < 7.4.1
2012-02-16  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesRejig Core Lint to deal better with polymorphic kinds
2012-02-16  Simon Peyton JonesRefactoring around super-kinds
2012-02-12  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-06  Simon Peyton JonesGive promoted DataCons a tyConArity and promoted TyCons...
2012-01-25  Iavor S. DiatchkiAdd support for type-level "strings".
2012-01-25  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-23  Simon Peyton JonesMerge in more HEAD, fix stuff up
2012-01-16  Simon MarlowRevert "Add -faggressive-primops plus refactoring in...
2012-01-13  Simon Peyton JonesAdd -faggressive-primops plus refactoring in CoreUtils
2012-01-13  Simon Peyton JonesMainly, rename LiteralTy to LitTy
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesComments only
2012-01-12  Simon Peyton JonesFix Trac #5658: strict bindings not floated in
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesImplememt -fdefer-type-errors (Trac #5624)
2012-01-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-11  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2012-01-11  Ian LynaghAdd prelude rules for encode{Float,Double}Integer and...
2012-01-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-09  Simon Peyton JonesIn mkCast (Coercion c1) c2, check that c2 has (~#)...
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-03  Simon Peyton JonesMajor refactoring of CoAxioms
2011-12-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-29  Simon Peyton JonesPrint more informative sizes in -dshow-passes,
2011-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-23  Simon Peyton JonesImprove ASSERT error message
2011-12-19  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-12-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2011-12-19  Simon Peyton JonesTidy up pretty-printing for variables
2011-12-19  Iavor S. DiatchkiFix the implementation of the type literal trie.
2011-12-19  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
2011-12-19  Iavor S. DiatchkiExtend GHC's type with a representation for type level...
2011-12-13  Simon Peyton JonesDocument the "kind invariant", and check it
2011-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-05  Simon Peyton JonesMerge branch 'master' of ../HEAD
2011-12-05  Simon Peyton JonesMake TypeMap an instance of Outputable
2011-12-02  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-12-02  Simon Marlowremove unused coreExprCc
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
next