tyops
[ghc.git] / compiler / coreSyn /
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-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-16  Simon MarlowRevert "Add -faggressive-primops plus refactoring in...
2012-01-13  Simon Peyton JonesAdd -faggressive-primops plus refactoring in CoreUtils
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-03  Simon Peyton JonesMajor refactoring of CoAxioms
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-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
2011-11-29  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-28  Dimitrios VytiniotisThis patch includes:
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  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-22  Michal TerepetaFix comments.
2011-11-22  Simon Marlowmerge
2011-11-22  Simon Marlowfix warning
2011-11-22  Simon MarlowDo not wrap Coercions with ticks (fixes GADT3(profasm))
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  Jose Pedro MagalhaesMove mkPiTypes back to Type, rename mkForAllArrowKinds...
2011-11-16  Jose Pedro MagalhaesMinor fix, and transform a failure into a warning
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-16  Simon Peyton JonesAdd -fpedantic-bottoms, and document it
2011-11-16  Simon Peyton JonesFurther wibbles to calcUnfoldingGuidance, with document...
2011-11-15  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-15  Simon MarlowDon't discard ticks on literals (fixes the HPC "tough...
2011-11-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Simon Peyton JonesMake certainlyWillInline more conservative, so that...
2011-11-11  Simon Peyton JonesTighten up the definition of arityType a bit further,
2011-11-11  Simon Peyton JonesMake exprOkForSpeculation more modular (and self-consis...
2011-11-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Jose Pedro MagalhaesNew kind-polymorphic core
2011-11-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-09  Simon Peyton JonesEstablish the invariant that (LitAlt l) is always unlifted
2011-11-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-09  Simon Peyton JonesFix Trac #5475: another bug in exprArity
2011-11-08  Simon MarlowFix core-lint bug in GHCi
2011-11-06  Ian LynaghWarnings already seem to be fixed in coreSyn/CoreFVs.lhs
2011-11-06  Ian LynaghWhitespace in coreSyn/CoreFVs.lhs
2011-11-04  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-04  Ian LynaghUse -fwarn-tabs when validating
2011-11-04  Ross PatersonMerge branch 'master' of darcs.haskell.org//ghc
2011-11-04  Simon Marlowdrop SCC on a variable when it has a non-function type
2011-11-04  Manuel M T ChakravartyClean up and complete the vectorisation of type classes
2011-11-02  Simon Marlowremove tabs again
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-30  Max BolingbrokeThe Types inside an OutCoercion are *not* InTypes
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-21  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-10-21  Simon Peyton JonesRecover proper sharing for Integer literals
2011-10-21  Simon Peyton JonesBe even more careful about eta expansion when bottom...
2011-10-10  Manuel M T ChakravartyFully implement for VECTORISE type pragmas (non-SCALAR).
2011-10-07  Jose Pedro MagalhaesMerge branch 'fix#5464'
2011-10-06  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-10-06  Ian LynaghMerge branch 'master' of mac:ghc/git/val32/.
2011-10-06  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
next