Comments & typos only
[ghc.git] / compiler / typecheck / TcEvidence.lhs
2013-10-23  Richard EisenbergComments & typos only
2013-10-10  Iavor S. DiatchkiUpdate and clean-up the implmenation of GHC.TypeLits
2013-09-13  Joachim BreitnerIntroduce coerce :: Coercible a b -> a -> b
2013-09-13  Iavor S. DiatchkiAdd support for evaluation of type-level natural numbers.
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-06-19  Austin SeippFix many ASSERT uses under Clang.
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-08  Simon Peyton JonesMerge remote branch 'origin/master'
2013-01-08  Simon Peyton JonesRe-engineer the ambiguity test for user type signatures
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 JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-01  Simon Peyton JonesMake the comments about SingI and EvLit match current...
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-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-02  Simon Peyton JonesMerge branch 'tc-untouchables'
2012-10-02  Simon Peyton JonesComments, and unused import
2012-09-28  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-28  Simon Peyton JonesRefactor the handling of kind errors
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  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-09-17  Simon Peyton JonesImplement 'left' and 'right' coercions
2012-09-17  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-09-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-09-15  Simon Peyton JonesMerge remote branch 'origin/master'
2012-09-14  Simon Peyton JonesBind "given" evidence to a variable, always
2012-08-29  Simon Peyton JonesMerge remote-tracking branch 'origin/HEAD' into tc...
2012-08-29  Simon Peyton JonesFix Trac #7196 by adding a case to the desugarer
2012-08-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-08-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-08-23  Simon Peyton JonesMerge ../HEAD
2012-08-23  Simon Peyton JonesDon't assume that coercion variables have (~) types
2012-08-22  Simon Peyton JonesA bit more debug output
2012-08-22  Simon Peyton JonesFix missing case in coVarsOfTcCo
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-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-05-11  Simon Peyton JonesRefactor LHsTyVarBndrs to fix Trac #6081
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-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-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...