Comments only
[ghc.git] / compiler / typecheck / TcEvidence.lhs
2012-05-10  Simon Peyton JonesComments only
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-09  Simon Peyton JonesCosmetics
2012-05-07  Simon Peyton JonesYet another major refactoring of the constraint solver
2012-04-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-09  Iavor S. DiatchkiUpdate names to match the implementation in GHC.TypeLits.
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-02-16  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesTidy up the canonicaliser
2012-02-12  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-25  Iavor S. DiatchkiAdd support for type-level "strings".
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-17  Simon Peyton JonesSwitch TcEvidence to Unix line endings
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 JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesImplememt -fdefer-type-errors (Trac #5624)
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2011-12-30  Iavor S. DiatchkiAdd the built-in instances for class NatI.
2011-12-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-22  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org//ghc
2011-12-22  Dimitrios VytiniotisIntroduced new form of TcEvidence for KindCasts, this...
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...