Use lengthIs and friends in more places
[ghc.git] / compiler / typecheck / FunDeps.hs
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-03-14  Gabor GreifTypos in manual and comments
2017-03-09  Gabor GreifComments only [ci skip]
2016-11-25  Simon Peyton JonesRefactor functional dependencies a bit
2016-11-25  Simon Peyton JonesMake a panic into an ASSERT
2016-11-04  Simon Peyton JonesTake account of injectivity when doing fundeps
2016-10-26  Simon Peyton JonesFundeps work even for unary type classes
2016-09-23  Richard EisenbergFix #12442.
2016-05-12  Bartosz NitkaRefactor some ppr functions to use pprUFM
2016-04-22  Bartosz NitkaMake benign non-determinism in pretty-printing more...
2016-04-19  Simon Peyton JonesDefine TyCoRep.ppSuggestExplicitKinds, and use it
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-25  Simon Peyton JonesAvoid recursive use of immSuperClasses
2016-01-20  Bartosz NitkasubstTy to substTyUnchecked to fix Travis build
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesSimplify API to tcMatchTys
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-07-24  Simon Peyton JonesRefactoring around FunDeps
2015-07-23  Simon Peyton JonesComments only
2015-07-10  Simon Peyton JonesImprove error message for fundeps
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonescloseOverKinds *before* oclose in coverage check
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesSeparate transCloVarSet from fixVarSet
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-04-15  Simon Peyton JonesFix fundep coverage-condition check for poly-kinds
2015-01-22  Simon Peyton JonesMerge branch 'master' of ssh://git.haskell.org/ghc
2015-01-20  Simon Peyton JonesSome simplification and refactoring of FunDeps
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-03  Austin Seippcompiler: de-lhs typecheck/