Refactoring around TyCon.isSynTyCon
[ghc.git] / compiler / typecheck / TcValidity.lhs
2014-05-15  Simon Peyton JonesRefactoring around TyCon.isSynTyCon
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-25  Gabor GreifTypos in comments
2014-03-24  Simon Peyton JonesImplicit parameters should not be allowed in class...
2014-02-13  Baldur BlöndalCleaned up Maybes.lhs
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-10  Gabor GreifComment typos only
2013-11-29  Joachim BreitnerUpdate Notes for Coercible
2013-10-08  Gabor GreifCatch some popular typos in comments
2013-10-03  Simon Peyton JonesImprove -XAllowAmbiguousTypes (Trac #8392)
2013-10-01  unknownImprove error reporting of fundep coverage condition...
2013-10-01  unknownLook inside tuple predicates when checking instance...
2013-09-14  Joachim BreitnerGive language pragma suggestions without -X
2013-09-13  Joachim BreitnerIntroduce coerce :: Coercible a b -> a -> b
2013-09-04  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-04  Simon Peyton JonesImprove debug tracing a bit
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-05-30  Simon Peyton JonesImprove validity check to give better error message
2013-05-28  Simon Peyton JonesDo not do an ambiguity check on the type in a GHCi...
2013-04-30  Simon Peyton JonesTighten up on the kind checking for foralls
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-04-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-04-16  Simon Peyton JonesAllow partial applications of a type synonym in :kind...
2013-03-13  Simon Peyton JonesImplement nullary type classes (#7642)
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-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-14  Iavor S. DiatchkiUse a version of the coverage condition even with Undec...
2013-01-08  Simon Peyton JonesAdd missing file TcValidity.lhs