Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
[ghc.git] / compiler / types / FamInstEnv.lhs
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
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
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-11-22  Simon Marlowmerge
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-10-04  Jose Pedro MagalhaesMerge branch 'master' into fix#5464
2011-10-01  Ian LynaghHandle newtypes and type functions correctly in FFI...
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-23  Simon Peyton JonesImplement GHCi command :kind! which normalises its...
2011-09-21  Simon MarlowAdd support for all top-level declarations to GHCi
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-09-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-02  Simon Peyton JonesSome minor wibbling in printing source locations
2011-06-20  Iavor S. DiatchkiMerge branch 'master' into type-nats
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-12  Iavor S. DiatchkiMerge commit 'c073f23aba6d88a9479a20ccb53bb98a338638db...
2011-05-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-26  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-generics
2011-05-20  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-20  Jose Pedro MagalhaesMerge branch 'ghc-generics' of darcs.haskell.org/ghc...
2011-05-20  Simon Peyton JonesSimon's fixes to the generated type instances in Generics
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-02  Simon Peyton JonesMerge in changes from HEAD
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 basic support for number type literals.
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2010-10-07  simonpj@microsoft.comFix an ASSERT failure in FamInstEnv
2010-09-15  simonpj@microsoft.comUse mkAppTy
2010-09-15  simonpj@microsoft.comImprove pretty-printing of family instances
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2009-08-18  Manuel M T ChakravartyFIX #3405
2009-07-07  Ian LynaghRemove unused imports
2009-07-07  Manuel M T ChakravartyFIX #2677
2009-01-15  simonpj@microsoft.comRobustify lookupFamInstEnv, plus some refactoring
2009-01-14  simonpj@microsoft.comRobustify lookupFamInstEnv
2008-09-05  simonpj@microsoft.comMinor refactoring to share InstEnv.instanceBindFun
2008-08-04  simonpj@microsoft.comFix the bug part of Trac #1930
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in FamInstEnv
2008-04-07  Manuel M T ChakravartyRemove GADT refinements, part 5
next