Add a class HasDynFlags(getDynFlags)
[ghc.git] / compiler / coreSyn /
2011-12-13  Simon Peyton JonesDocument the "kind invariant", and check it
2011-12-05  Simon Peyton JonesMerge branch 'master' of
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
2011-12-02  Simon Marlowremove unused coreExprCc
2011-11-30  Ian LynaghMerge branch 'master' of
2011-11-30  Simon Peyton JonesMerge branch 'master' of
2011-11-29  Simon Peyton JonesMerge branch 'master' of
2011-11-29  Simon Peyton JonesMerge branch 'master' of
2011-11-29  Simon Peyton JonesSwitch around the order of guards in exprIsConApp_maybe
2011-11-29  David WaernMerge branch 'master' of
2011-11-28  Dimitrios VytiniotisMerge branch 'master' of
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
2011-11-25  Manuel M T ChakravartyFix newtype wrapper for 'PData[s] (Wrap a)' and fix...
2011-11-22  Ian LynaghMerge branch 'master' of
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
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
2011-11-15  Simon MarlowDon't discard ticks on literals (fixes the HPC "tough...
2011-11-14  Simon Peyton JonesMerge branch 'master' of
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
2011-11-11  Simon Peyton JonesMerge branch 'master' of
2011-11-11  Jose Pedro MagalhaesNew kind-polymorphic core
2011-11-10  Simon Peyton JonesMerge branch 'master' of
2011-11-09  Simon Peyton JonesEstablish the invariant that (LitAlt l) is always unlifted
2011-11-09  Simon Peyton JonesMerge branch 'master' of
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
2011-11-04  Ian LynaghUse -fwarn-tabs when validating
2011-11-04  Ross PatersonMerge branch 'master' of
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
2011-10-24  Simon Peyton JonesMake the matching in PrelRules "look through" unfoldings
2011-10-24  Simon Peyton JonesMerge branch 'master' of
2011-10-23  Ian LynaghRemove a redundant #ifdef DEBUG
2011-10-21  Simon Peyton JonesMerge branch 'master' of
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
2011-10-06  Ian LynaghMerge branch 'master' of mac:ghc/git/val32/.
2011-10-06  Ian LynaghMerge branch 'master' of
2011-10-06  Simon MarlowUse a custom dead-code analyser instead of calling...
2011-10-04  Jose Pedro MagalhaesMerge branch 'master' into fix#5464
2011-09-27  Ian LynaghFix warnings in coreSyn/CoreUtils.lhs
2011-09-27  Ian LynaghWhitespace only in coreSyn/CoreUtils.lhs
2011-09-27  Max BolingbrokeChange the way IfExtName is serialized so (most) wired...
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of into...
2011-09-25  Ian LynaghAdd a comment to CorePrep that it does the Integer...
2011-09-23  Simon Peyton JonesMake a new type synonym CoreProgram = [CoreBind]
2011-09-23  Simon Peyton JonesTake account of the mk_integer in a LitInteger when...
2011-09-17  Ian LynaghImprove the handling of Integer literals
2011-09-15  Ian LynaghMerge branch 'master' of
2011-09-14  Simon Peyton JonesFix integer stuff (fixes Trac #5485)
2011-09-14  Simon Peyton JonesMerge branch 'master' of
2011-09-13  Ian Lynaghchange how Integer's are handled in Core
2011-09-09  Simon Peyton JonesMerge branch 'master' of
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-09  Simon Peyton JonesMerge branch 'master' of
2011-09-09  Simon Peyton JonesMerge branch 'master' of
2011-09-09  Simon Peyton JonesObey the exprArity invariants! Fixes Trac #5441
2011-09-07  Simon Peyton JonesNuke isCertainlyPredReprTy
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-09-06  Max BolingbrokeFix handing of CoVars in SetLevels: it wasn't renaming...
2011-09-06  Max BolingbrokeThere are no predicate kinds in external core: remove Keq
2011-09-05  Simon Peyton JonesFix two bugs in caes-floating (fixes Trac #5453)
2011-09-05  Simon Peyton JonesComments only
2011-08-18  Manuel M T ChakravartyAdd VECTORISE [SCALAR] type pragma
2011-08-15  Simon Peyton JonesComments only
2011-08-04  Simon Peyton JonesMerge branch 'master' of
2011-08-03  Max BolingbrokeTidy up handling of PredTys: remove dead code, move...
2011-08-03  Simon Peyton JonesAdd Type.tyConAppTyCon_maybe and tyConAppArgs_maybe...
2011-08-01  David TereiMerge branch 'master' of ssh://