Merge commit with origin/master
[ghc.git] / compiler / types / FamInstEnv.lhs
2014-10-21  Simon Peyton JonesMerge commit with origin/master
2014-10-21  Richard EisenbergClarify location of Note. Comment change only.
2014-10-16  Simon Peyton JonesMore progress
2014-09-26  Simon Peyton JonesMerge branch 'wip/new-flatten-skolems-Aug14' of https...
2014-09-26  Simon Peyton JonesMerge branch 'master' into wip/new-flatten-skolems...
2014-09-19  Simon Peyton JonesClean up Coercible handling, and interaction of data...
2014-08-01  Gabor GreifSmall tweaks to comment
2014-07-31  Simon Peyton JonesComplete work on new OVERLAPPABLE/OVERLAPPING pragmas...
2014-07-31  Simon Peyton JonesComments and white space
2014-06-06  Sjoerd VisscherMerge branch 'master' of git://git.haskell.org/ghc
2014-06-03  Simon Peyton JonesDo pretty-printing of TyThings via IfaceDecl (Trac...
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
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-03-22  Richard EisenbergFix #8917.
2014-03-22  Richard EisenbergComments only -- clarifying Notes around compatibility.
2014-01-17  Simon Peyton JonesEta expand data family instances before printing them
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-09  Simon Peyton JonesRe-work the naming story for the GHCi prompt (Trac...
2013-11-22  Joachim BreitnerExtend Coercible to newtype instances
2013-11-14  Iavor S. DiatchkiChange the representation and move TcBuiltInSynFamily.
2013-11-13  Iavor S. DiatchkiMake type-level evaluation work with :kind!
2013-10-24  Simon Peyton JonesTrailing whitespace only
2013-10-24  Simon Peyton JonesRefactor the topNormaliseNewType story, fixing Trac...
2013-10-24  Simon Peyton JonesoprhNamesOfFamInst should include the type family itsel...
2013-10-23  Richard EisenbergMerge branch 'master' of git://git.haskell.org/ghc
2013-10-23  Simon Peyton JonesRename topNormaliseType to topNormaliseType_maybe
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-08-02  Richard EisenbergFix Trac #8020.
2013-06-28  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-06-28  Richard EisenbergFix stale comments around closed type families.
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-06-06  Simon Peyton JonesAdd TyCon.checkRecTc, and use in in typeArity
2013-05-30  Simon Peyton JonesDefine chkAppend, and use it
2013-05-30  Simon Peyton JonesEta-reduce data/newtype family instance axioms (Trac...
2013-04-25  Richard EisenbergUpdated documentation; changed "group" to "branched...
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-03-16  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-03-15  Patrick PalkaImplement type family instance support for ":info"...
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/ghc
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-09  Simon Peyton JonesYet more refactoring in overlapping type-family instances
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-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 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-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-15  Simon Peyton JonesTiny refactoring, really just white space
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-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-02  Simon Peyton JonesMake the fib_tvs field of FamInstBranch into a *list...
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-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-19  Simon Peyton JonesAdd some ASSERTs to calls of zipTopTvSubst
2012-10-11  Ian LynaghWhitespace only in types/FamInstEnv.lhs
2012-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
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-16  Ian LynaghMerge branch 'master' of win:c:/m64/head/.
2012-03-16  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-03-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-03-14  Simon Peyton JonesRemove debug trace
2012-03-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-14  Simon Peyton JonesRemove debug trace
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-02-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-10  Simon Peyton JonesComplete fix of #5820
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-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
next