Merge remote-tracking branch 'origin/master' into type-nats
[ghc.git] / compiler / deSugar / DsBinds.lhs
2012-03-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-04  Simon Peyton JonesAttach INLINE pagmas in mutually recursive bindings
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 JonesRefactoring around super-kinds
2012-02-12  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
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-19  Ian LynaghFix validate
2012-01-17  Simon Peyton JonesWarn when a SPECIALISE pragma gives rise to a totally...
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 JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesImplememt -fdefer-type-errors (Trac #5624)
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-07  Iavor S. DiatchkiGo back to using an Integer as evidence, rather then...
2012-01-07  Iavor S. DiatchkiMonadify dsEvTerm in preparation for generating Integer...
2011-12-30  Iavor S. DiatchkiAdd the built-in instances for class NatI.
2011-12-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-22  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org//ghc
2011-12-22  Dimitrios VytiniotisIntroduced new form of TcEvidence for KindCasts, this...
2011-12-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
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 JonesAllow full constraint solving under a for-all (Trac...
2011-11-25  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-24  Simon Peyton JonesSupport "phase control" for SPECIALISE pragmas
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-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
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  Simon Peyton JonesComments, and rename FactTuple to ConstraintTuple
2011-09-07  Simon Peyton JonesMinor refactoring of dsLCoercion, plus comments
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-08-16  Simon Peyton JonesMajor improvement to pattern bindings
2011-08-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-08-03  Max BolingbrokeTidy up handling of PredTys: remove dead code, move...
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
2011-07-21  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-21  Simon Peyton JonesWhen specialising recursive functions, mark the special...
2011-06-20  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-19  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-19  Iavor S. Diatchki(partial) Merge branch 'master' into type-nats
2011-06-14  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  Simon Peyton JonesDon't allow specialisation of class methods (fixes...
2011-06-12  Iavor S. DiatchkiMerge commit 'c073f23aba6d88a9479a20ccb53bb98a338638db...
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-04  Simon Peyton JonesMerge commit
2011-05-02  Simon Peyton JonesMerge in changes from HEAD
2011-05-02  Simon Peyton JonesA few more wibbles on ghc-new-co
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...
2011-02-19  Iavor S. DiatchkiMerge remote branch 'origin/master' into type-nats
2011-01-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-27  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-17  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-16  Iavor S. DiatchkiAdd some operations on type-level naturals.
2011-01-05  simonpj@microsoft.comFix Trac #4870: get the inlining for an imported INLINA...
2010-11-01  simonpj@microsoft.comFor single-method classes use newtypes
2010-12-13  simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-12-02  simonpj@microsoft.comRe-jig simplifySuperClass (again)
2010-10-21  simonpj@microsoft.comImprove rule checking, to fix panic Trac #4398
2010-10-18  Ian LynaghFix -auto-all: Add SCCs to IDs which have a monotype too
2010-10-07  simonpj@microsoft.comImplement auto-specialisation of imported Ids
2010-09-24  simonpj@microsoft.comFix an egregious bug: INLINE pragmas on monomorphic...
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-05-10  simonpj@microsoft.comMake arity of INLINE things consistent
2010-03-31  Milan StrakaFlags -auto and -auto-all operate only on functions...
2010-03-09  simonpj@microsoft.comRule binders shouldn't have DFun pragmas
2010-01-08  simonpj@microsoft.comRespect SPECIALISE pragmas even for apparently-non...
2010-01-06  simonpj@microsoft.comImprove the handling of default methods
2009-12-21  simonpj@microsoft.comComments only (about implementing SPECIALISE pragmas)
2009-12-02  simonpj@microsoft.comMore work on the simplifier's inlining strategies
2009-11-19  simonpj@microsoft.comImplement -fexpose-all-unfoldings, and fix a non-termin...
2009-11-13  simonpj@microsoft.comWibble to comment
2009-11-13  simonpj@microsoft.comUse eta-expansion to ensure that INLINE things have... 2009-11-15
2009-10-30  simonpj@microsoft.comTurn an ASSERT into a WARN
2009-10-29  simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN...
next