Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
[ghc.git] / compiler / types / Coercion.lhs
2013-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-06  Simon Peyton JonesBetter pretty-printing of types and coercions
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-28  Simon Peyton JonesMinor pretty printing changes only
2013-01-28  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-28  Simon Peyton JonesPure refactoring
2013-01-28  Simon Peyton JonesMore refactoring of FamInst/FamInstEnv; finally fixes...
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-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-22  Simon Peyton JonesExploit the invariant for AxInstCo to simplify coercionKind
2013-01-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-09  Simon Peyton JonesMore tidying up in FamInstBranch
2013-01-08  Simon Peyton JonesMerge remote branch 'origin/master'
2013-01-07  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-05  Richard EisenbergRefactor invariants for FamInsts.
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
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-22  Richard EisenbergImplement overlapping type family instances.
2012-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-02  Ian LynaghMerge branch 'ticket-7442' of git://github.com/phonohaw...
2012-12-01  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2012-12-01  Richard EisenbergAdded GHC formalism to the GHC source tree.
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-02  Simon Peyton JonesMerge branch 'tc-untouchables'
2012-10-01  Simon Peyton JonesMerge branch 'tc-untouchables' of darcs.haskell.org...
2012-10-01  Simon Peyton JonesImprove pretty printing for coercions (exp transistivit...
2012-09-28  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-28  Simon Peyton JonesImprove pretty printing for coercions
2012-09-20  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-18  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-17  Simon Peyton JonesImplement 'left' and 'right' coercions
2012-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-06-08  Paolo CapriottiMerge remote-tracking branch 'origin/pretty-build'
2012-05-15  Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-05-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-05-09  Simon Peyton JonesMerge branch 'ghc-new-flavor'
2012-05-07  Simon Peyton JonesYet another major refactoring of the constraint solver
2012-04-26  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-25  Simon Peyton JonesImprove pretty-printing
2012-03-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
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-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-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-02  Simon Peyton JonesHurrah! This major commit adds support for scoped...
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-02-12  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
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-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 JonesFix if-def-ery for DEBUG
2012-01-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
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-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-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-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
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 VytiniotisSolved goal caching and zonking optimisations.
2011-11-22  Simon Marlowmerge
2011-11-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-17  Simon Peyton JonesRemove a quadratic complexity blow-up in coercionKind
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-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-07  Simon Peyton JonesComments and layout
2011-09-07  Simon Peyton JonesMinor refactoring of dsLCoercion, plus comments
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-09-06  Max BolingbrokeRemove bogus isCoercionKind function and its sole use
next