Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Refactor some ppr functions to use pprUFM | Bartosz Nitka | 2016-05-12 | 1 | -1/+1 |
* | Make benign non-determinism in pretty-printing more obvious | Bartosz Nitka | 2016-04-22 | 1 | -3/+3 |
* | Define TyCoRep.ppSuggestExplicitKinds, and use it | Simon Peyton Jones | 2016-04-19 | 1 | -1/+1 |
* | Add asserts to other substitution functions | Bartosz Nitka | 2016-01-30 | 1 | -1/+1 |
* | Avoid recursive use of immSuperClasses | Simon Peyton Jones | 2016-01-25 | 1 | -8/+7 |
* | substTy to substTyUnchecked to fix Travis build | Bartosz Nitka | 2016-01-20 | 1 | -2/+2 |
* | Replace calls to `ptext . sLit` with `text` | Jan Stolarek | 2016-01-18 | 1 | -14/+13 |
* | Simplify API to tcMatchTys | Simon Peyton Jones | 2016-01-18 | 1 | -3/+2 |
* | Drop pre-AMP compatibility CPP conditionals | Herbert Valerio Riedel | 2015-12-31 | 1 | -6/+0 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -28/+38 |
* | Refactoring around FunDeps | Simon Peyton Jones | 2015-07-24 | 1 | -54/+65 |
* | Comments only | Simon Peyton Jones | 2015-07-23 | 1 | -1/+7 |
* | Improve error message for fundeps | Simon Peyton Jones | 2015-07-10 | 1 | -7/+14 |
* | closeOverKinds *before* oclose in coverage check | Simon Peyton Jones | 2015-06-26 | 1 | -15/+70 |
* | Refactor tuple constraints | Simon Peyton Jones | 2015-05-18 | 1 | -17/+15 |
* | Revert multiple commits | Austin Seipp | 2015-05-14 | 1 | -15/+17 |
* | Separate transCloVarSet from fixVarSet | Simon Peyton Jones | 2015-05-13 | 1 | -1/+1 |
* | Refactor tuple constraints | Simon Peyton Jones | 2015-05-13 | 1 | -17/+15 |
* | Fix fundep coverage-condition check for poly-kinds | Simon Peyton Jones | 2015-04-15 | 1 | -4/+5 |
* | Some simplification and refactoring of FunDeps | Simon Peyton Jones | 2015-01-20 | 1 | -67/+54 |
* | Rewrite `Coercible` solver | Richard Eisenberg | 2014-12-12 | 1 | -3/+3 |
* | compiler: de-lhs typecheck/ | Austin Seipp | 2014-12-03 | 1 | -0/+566 |