summaryrefslogtreecommitdiff
path: root/compiler/typecheck/FunDeps.hs
Commit message (Expand)AuthorAgeFilesLines
* Refactor some ppr functions to use pprUFMBartosz Nitka2016-05-121-1/+1
* Make benign non-determinism in pretty-printing more obviousBartosz Nitka2016-04-221-3/+3
* Define TyCoRep.ppSuggestExplicitKinds, and use itSimon Peyton Jones2016-04-191-1/+1
* Add asserts to other substitution functionsBartosz Nitka2016-01-301-1/+1
* Avoid recursive use of immSuperClassesSimon Peyton Jones2016-01-251-8/+7
* substTy to substTyUnchecked to fix Travis buildBartosz Nitka2016-01-201-2/+2
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-14/+13
* Simplify API to tcMatchTysSimon Peyton Jones2016-01-181-3/+2
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-6/+0
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-28/+38
* Refactoring around FunDepsSimon Peyton Jones2015-07-241-54/+65
* Comments onlySimon Peyton Jones2015-07-231-1/+7
* Improve error message for fundepsSimon Peyton Jones2015-07-101-7/+14
* closeOverKinds *before* oclose in coverage checkSimon Peyton Jones2015-06-261-15/+70
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-17/+15
* Revert multiple commitsAustin Seipp2015-05-141-15/+17
* Separate transCloVarSet from fixVarSetSimon Peyton Jones2015-05-131-1/+1
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-17/+15
* Fix fundep coverage-condition check for poly-kindsSimon Peyton Jones2015-04-151-4/+5
* Some simplification and refactoring of FunDepsSimon Peyton Jones2015-01-201-67/+54
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-3/+3
* compiler: de-lhs typecheck/Austin Seipp2014-12-031-0/+566