Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Overhaul -fprint-explicit-kinds to use VKA | Ryan Scott | 2018-11-22 | 1 | -3/+3 |
* | Replace most occurences of foldl with foldl'. | klebinger.andreas@gmx.at | 2018-08-21 | 1 | -1/+1 |
* | tc-tracing only | Simon Peyton Jones | 2018-07-25 | 1 | -1/+8 |
* | A bunch of typofixes | Gabor Greif | 2017-09-26 | 1 | -2/+2 |
* | compiler: introduce custom "GhcPrelude" Prelude | Herbert Valerio Riedel | 2017-09-19 | 1 | -0/+2 |
* | Use lengthIs and friends in more places | Ryan Scott | 2017-06-02 | 1 | -2/+2 |
* | Typos in manual and comments | Gabor Greif | 2017-03-14 | 1 | -1/+1 |
* | Comments only [ci skip] | Gabor Greif | 2017-03-09 | 1 | -1/+1 |
* | Refactor functional dependencies a bit | Simon Peyton Jones | 2016-11-25 | 1 | -6/+10 |
* | Make a panic into an ASSERT | Simon Peyton Jones | 2016-11-25 | 1 | -4/+2 |
* | Take account of injectivity when doing fundeps | Simon Peyton Jones | 2016-11-04 | 1 | -3/+36 |
* | Fundeps work even for unary type classes | Simon Peyton Jones | 2016-10-26 | 1 | -2/+1 |
* | Fix #12442. | Richard Eisenberg | 2016-09-23 | 1 | -4/+4 |
* | 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 |