Export `Monoid(..)`/`Foldable(..)`/`Traversable(..)` from Prelude
[ghc.git] / compiler / types / Coercion.lhs
2014-09-21  Herbert Valerio... Export `Monoid(..)`/`Foldable(..)`/`Traversable(.....
2014-09-19  Simon Peyton JonesClean up Coercible handling, and interaction of data...
2014-08-29  Simon Peyton JonesDefine mapUnionVarSet, and use it
2014-07-21  Gabor GreifTypos in note
2014-07-18  Simon Peyton JonesComments only
2014-07-17  Herbert Valerio... Workaround haddock parser error caused by 5e7406d9
2014-07-16  Richard EisenbergRewrite coercionRole. (#9233)
2014-06-06  Sjoerd VisscherMerge branch 'master' of git://git.haskell.org/ghc
2014-06-03  Simon Peyton JonesRename TypeRep.Prec to TypeRep.TyPrec
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-05-13  Simon Peyton JonesFix invariant in mkAppCoFlexible
2014-05-12  Simon Peyton JonesImprove desugaring of lazy pattern match
2014-05-06  Simon Peyton JonesModularise pretty-printing for foralls
2014-04-29  Richard EisenbergAdd Note [Role twiddling functions] to Coercion.
2014-04-28  Richard EisenbergImprove implementation of unSubCo_maybe.
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-01-20  Joachim BreitnerMake worker-wrapper unbox data families
2014-01-12  Austin SeippFix new Haddock doc parse failures.
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-12-02  Richard EisenbergRemove dead code orphaned by implementing GND with...
2013-11-27  Joachim BreitnerRoleify TcCoercion
2013-10-24  Simon Peyton JonesUntabify (sorry didn't fully do it first time)
2013-10-24  Simon Peyton JonesUntabify and trailing whitespace
2013-10-24  Simon Peyton JonesRefactor the topNormaliseNewType story, fixing Trac...
2013-10-23  Richard EisenbergRemove debugging printouts -- sorry!
2013-10-23  Richard EisenbergMerge branch 'master' of git://git.haskell.org/ghc
2013-10-23  Richard EisenbergChange GeneralizedNewtypeDeriving safety check.
2013-10-01  Simon MarlowGlobally replace "hackage.haskell.org" with "ghc.haskel...
2013-09-18  Richard EisenbergChange role annotation syntax.
2013-09-13  Iavor S. DiatchkiAdd support for evaluation of type-level natural numbers.
2013-09-04  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-03  Richard EisenbergAllow non-Nominal covars (bugfix)
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-07-27  Ian LynaghDe-orphan a load of Binary instances
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-06-19  Austin SeippFix many ASSERT uses under Clang.
2013-06-11  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2013-06-10  Simon Peyton JonesFix substitution but in liftCoSubst (Trac #7973)
2013-06-06  Simon Peyton JonesAdd TyCon.checkRecTc, and use in in typeArity
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
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:/home/darcs/ghc
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
next