Rename topNormaliseType to topNormaliseType_maybe
[ghc.git] / compiler / basicTypes / MkId.lhs
2013-10-23  Simon Peyton JonesRename topNormaliseType to topNormaliseType_maybe
2013-10-10  Iavor S. DiatchkiUpdate and clean-up the implmenation of GHC.TypeLits
2013-10-09  Austin SeippUse evaldUnfolding for proxyHashId
2013-10-01  Simon MarlowGlobally replace "hackage.haskell.org" with "ghc.haskel...
2013-09-27  Austin SeippImplement an unlifted Proxy type, Proxy#
2013-09-13  Joachim BreitnerIntroduce coerce :: Coercible a b -> a -> b
2013-09-04  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-04  Simon Peyton JonesFix over-eager unpacking in isUnpackableType
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-06-06  Simon Peyton JonesImplement cardinality analysis
2013-05-30  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2013-05-30  Iavor S. DiatchkiAdd a primitive for coercing values into dictionaries...
2013-05-30  Simon Peyton JonesMake 'SPECIALISE instance' work again
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-31  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-01-30  Gabor Greiftypos
2013-01-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-24  Simon Peyton JonesIntroduce CPR for sum types (Trac #5075)
2013-01-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-17  Simon Peyton JonesMajor patch to implement the new Demand Analyser
2013-01-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-15  Simon Peyton JonesWhen doing UNPACK pragmas, be careful to only unpack...
2013-01-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-14  Simon Peyton JonesBe willing to parse {-# UNPACK #-} without '!'
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-02  Simon Peyton JonesDefine ListSetOps.getNth, and use it
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-23  Simon Peyton JonesMake {-# UNPACK #-} work for type/data family invocations
2012-12-22  Richard EisenbergImplement overlapping type family instances.
2012-12-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-19  Simon Peyton JonesWibbles to faa8ff40 (UNPACK pragmas)
2012-12-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-14  Simon Peyton JonesMajor refactoring of the way that UNPACK pragmas are...
2012-11-15  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-11-13  Ian LynaghRemove the nonexistent lazy primop, and follow move...
2012-10-09  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-09  Ian LynaghMake the opt_UF_* static flags dynamic
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-02  Simon Peyton JonesGive PrimOps a NOINLINE pragma, to suppress silly warni...
2012-10-02  Simon Peyton JonesMerge remote-tracking branch 'origin/master'
2012-09-18  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-17  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-09-17  Ian LynaghPass DynFlags to the ru_try functions of built-in rules
2012-07-26  Paolo CapriottiMerge PrelRules refactoring (#7014)
2012-07-24  Paolo CapriottiRefactor prel rules: always return a single rule.
2012-07-24  Paolo CapriottiRefactor PrelRules and add more rules (#7014)
2012-07-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-07-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-06-27  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-27  Simon Peyton JonesAdd silent superclass parameters (again)
2012-06-13  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-12  Ian LynaghPass DynFlags down to showSDoc
2012-06-08  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-06-08  Paolo CapriottiMerge remote-tracking branch 'origin/pretty-build'
2012-06-07  Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-06-07  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-06  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-06  Ian LynaghTell built-in rules the Id that the rule has matched
2012-03-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-02-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-17  Simon Peyton JonesImplement a typing rule for saturated seq, and document it
2012-02-14  Me at workMerge remote-tracking branch 'laptop/newcg' into newcg
2012-02-13  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-03  Simon Peyton JonesMajor refactoring of CoAxioms
2011-12-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
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-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Jose Pedro MagalhaesNew kind-polymorphic core
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-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-17  Ian LynaghImprove the handling of Integer literals
2011-09-15  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-09-15  Simon Peyton JonesHack: add noCafIdInfo to shiftIntegerL and friends
2011-09-14  Simon Peyton JonesFix integer stuff (fixes Trac #5485)
2011-09-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-13  Ian Lynaghchange how Integer's are handled in Core
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-07-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
next