git.haskell.org - ghc.git/history - compiler/typecheck/TcValidity.lhs

[ghc.git] / compiler / typecheck / TcValidity.lhs

2014-05-15	Simon Peyton Jones	Refactoring around TyCon.isSynTyCon	blob \| commitdiff
2014-05-15	Herbert Valerio...	Add LANGUAGE pragmas to compiler/ source files	blob \| commitdiff \| diff to current
2014-04-19	Herbert Valerio...	Fold template-haskell.git into ghc.git (re #8545)	blob \| commitdiff \| diff to current
2014-04-19	Herbert Valerio...	Fold integer-gmp.git into ghc.git (re #8545)	blob \| commitdiff \| diff to current
2014-04-19	Herbert Valerio...	Fold integer-simple.git into ghc.git (re #8545)	blob \| commitdiff \| diff to current
2014-04-19	Herbert Valerio...	Fold base.git into ghc.git (re #8545)	blob \| commitdiff \| diff to current
2014-04-19	Herbert Valerio...	Fold ghc-prim.git into ghc.git (re #8545)	blob \| commitdiff \| diff to current
2014-03-25	Gabor Greif	Typos in comments	blob \| commitdiff \| diff to current
2014-03-24	Simon Peyton Jones	Implicit parameters should not be allowed in class...	blob \| commitdiff \| diff to current
2014-02-13	Baldur Blöndal	Cleaned up Maybes.lhs	blob \| commitdiff \| diff to current
2014-01-12	Herbert Valerio...	Fold testsuite.git into ghc.git (re #8545)	blob \| commitdiff \| diff to current
2014-01-10	Gabor Greif	Comment typos only	blob \| commitdiff \| diff to current
2013-11-29	Joachim Breitner	Update Notes for Coercible	blob \| commitdiff \| diff to current
2013-10-08	Gabor Greif	Catch some popular typos in comments	blob \| commitdiff \| diff to current
2013-10-03	Simon Peyton Jones	Improve -XAllowAmbiguousTypes (Trac #8392)	blob \| commitdiff \| diff to current
2013-10-01	unknown	Improve error reporting of fundep coverage condition...	blob \| commitdiff \| diff to current
2013-10-01	unknown	Look inside tuple predicates when checking instance...	blob \| commitdiff \| diff to current
2013-09-14	Joachim Breitner	Give language pragma suggestions without -X	blob \| commitdiff \| diff to current
2013-09-13	Joachim Breitner	Introduce coerce :: Coercible a b -> a -> b	blob \| commitdiff \| diff to current
2013-09-04	Patrick Palka	Merge remote-tracking branch 'origin/master' into ghc...	blob \| commitdiff \| diff to current
2013-09-04	Simon Peyton Jones	Improve debug tracing a bit	blob \| commitdiff \| diff to current
2013-06-21	Richard Eisenberg	Revise implementation of overlapping type family instances.	blob \| commitdiff \| diff to current
2013-05-30	Simon Peyton Jones	Improve validity check to give better error message	blob \| commitdiff \| diff to current
2013-05-28	Simon Peyton Jones	Do not do an ambiguity check on the type in a GHCi...	blob \| commitdiff \| diff to current
2013-04-30	Simon Peyton Jones	Tighten up on the kind checking for foralls	blob \| commitdiff \| diff to current
2013-04-19	Simon Peyton Jones	Merge branch 'master' of darcs.haskell.org/ghc	blob \| commitdiff \| diff to current
2013-04-16	Simon Peyton Jones	Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc	blob \| commitdiff \| diff to current
2013-04-16	Simon Peyton Jones	Allow partial applications of a type synonym in :kind...	blob \| commitdiff \| diff to current
2013-03-13	Simon Peyton Jones	Implement nullary type classes (#7642)	blob \| commitdiff \| diff to current
2013-02-12	Simon Peyton Jones	Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc	blob \| commitdiff \| diff to current
2013-02-12	Simon Peyton Jones	Merge branch 'master' of darcs.haskell.org/ghc	blob \| commitdiff \| diff to current
2013-02-09	Simon Peyton Jones	Merge branch 'master' of darcs.haskell.org/ghc	blob \| commitdiff \| diff to current
2013-02-09	Simon Peyton Jones	Yet more refactoring in overlapping type-family instances	blob \| commitdiff \| diff to current
2013-02-05	Manuel M T Chakravarty	Merge branch 'refs/heads/vect-avoid' into vect-avoid...	blob \| commitdiff \| diff to current
2013-01-14	Simon Peyton Jones	Merge branch 'master' of darcs.haskell.org/ghc	blob \| commitdiff \| diff to current
2013-01-14	Iavor S. Diatchki	Use a version of the coverage condition even with Undec...	blob \| commitdiff \| diff to current
2013-01-08	Simon Peyton Jones	Add missing file TcValidity.lhs	blob \| commitdiff \| diff to current

GHC main repository

RSS Atom