Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
[ghc.git] / compiler / typecheck / TcUnify.lhs-boot
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-02  Simon Peyton JonesMerge branch 'tc-untouchables'
2012-09-28  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-21  Simon Peyton JonesFiddling with kind errors
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-26  Ian Lynaghde-tabbed the hs-boot files
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-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-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-06  Max BolingbrokeImplement -XConstraintKind
2011-06-19  Iavor S. Diatchki(partial) Merge branch 'master' into type-nats
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...
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2007-08-28  Manuel M T ChakravartyType checking for type synonym families
2006-08-17  simonpj@microsoft.comUpdate lhs-boot files
2006-04-07  Simon MarlowReorganisation of the source tree