| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Coercion Quantification | ningning | 2018-09-15 | 1 | -5/+29 |
| * | Replace most occurences of foldl with foldl'. | klebinger.andreas@gmx.at | 2018-08-21 | 1 | -1/+1 |
| * | Treat isConstraintKind more consistently | Simon Peyton Jones | 2018-07-25 | 1 | -1/+0 |
| * | Small spelling fixes for Unify.hs | Sasa Bogicevic | 2018-07-19 | 1 | -4/+4 |
| * | Refactor coercion rule | ningning | 2018-07-09 | 1 | -18/+31 |
| * | Adjust comments (Trac #14164) | Simon Peyton Jones | 2018-06-19 | 1 | -2/+2 |
| * | Typofixes in docs and comments [ci skip] | Gabor Greif | 2018-06-18 | 1 | -4/+4 |
| * | Fix an infinite loop in niFixTCvSubst | Simon Peyton Jones | 2018-06-18 | 1 | -30/+86 |
| * | Embrace -XTypeInType, add -XStarIsType | Vladislav Zavialov | 2018-06-14 | 1 | -1/+1 |
| * | Caching coercion roles in NthCo and coercionKindsRole refactoring | Tobias Dammers | 2018-04-20 | 1 | -2/+2 |
| * | Apply the interim fix for #14119 to liftCoMatch | Richard Eisenberg | 2018-03-31 | 1 | -1/+7 |
| * | Fix two obscure bugs in rule matching | Simon Peyton Jones | 2018-03-21 | 1 | -55/+66 |
| * | Comments only | Simon Peyton Jones | 2018-02-27 | 1 | -0/+1 |
| * | Fix a nasty bug in the pure unifier | Simon Peyton Jones | 2018-02-27 | 1 | -26/+33 |
| * | Comments in Unify, fixing #12442 | Richard Eisenberg | 2018-02-22 | 1 | -0/+46 |
| * | Typofixes | Gabor Greif | 2017-09-27 | 1 | -1/+1 |
| * | 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 |
| * | Interim fix for a nasty type-matching bug | Simon Peyton Jones | 2017-09-14 | 1 | -10/+58 |
| * | Canonicalise MonoidFail instances in GHC | Herbert Valerio Riedel | 2017-09-09 | 1 | -1/+1 |
| * | Fix #14060 by more conservatively annotating TH-reified types | Ryan Scott | 2017-08-14 | 1 | -1/+1 |
| * | Drop GHC 7.10 compatibility | Ryan Scott | 2017-08-01 | 1 | -4/+0 |
| * | Fix the pure unifier | Simon Peyton Jones | 2017-05-16 | 1 | -196/+184 |
| * | Clean up coreView/tcView. | Ben Gamari | 2017-03-31 | 1 | -6/+7 |
| * | Upgrade UniqSet to a newtype | David Feuer | 2017-03-01 | 1 | -5/+6 |
| * | Add VarSet.anyDVarSet, allDVarSet | Simon Peyton Jones | 2017-02-28 | 1 | -2/+2 |
| * | Make Specialise work with casts | Simon Peyton Jones | 2017-02-28 | 1 | -1/+1 |
| * | Typos in manual, tests and comments | Gabor Greif | 2017-02-20 | 1 | -1/+1 |
| * | Generalize kind of the (->) tycon | Ben Gamari | 2017-02-18 | 1 | -5/+15 |
| * | Tweaks and typos in manual, note refs, comments | Gabor Greif | 2017-02-09 | 1 | -1/+1 |
| * | Typos in comments [ci skip] | Gabor Greif | 2017-01-25 | 1 | -1/+1 |
| * | Fix #12442. | Richard Eisenberg | 2016-09-23 | 1 | -17/+92 |
| * | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 1 | -5/+5 |
| * | Document some benign nondeterminism | Bartosz Nitka | 2016-05-24 | 1 | -3/+11 |
| * | Add uniqSetAny and uniqSetAll and use them | Bartosz Nitka | 2016-04-28 | 1 | -2/+2 |
| * | Comments only in Unify.hs | Simon Peyton Jones | 2016-03-30 | 1 | -69/+81 |
| * | Clarify Note [Kind coercions in Unify] | Richard Eisenberg | 2016-03-26 | 1 | -1/+24 |
| * | Add two small optimizations. (#11196) | Richard Eisenberg | 2016-03-21 | 1 | -8/+12 |
| * | Fix exponential algorithm in pure unifier. | Richard Eisenberg | 2016-03-21 | 1 | -22/+30 |
| * | Add missing kind cast to pure unifier. | Richard Eisenberg | 2016-02-17 | 1 | -1/+1 |
| * | Define mkTvSubst, and use it | Simon Peyton Jones | 2016-02-08 | 1 | -10/+8 |
| * | Simplify API to tcMatchTys | Simon Peyton Jones | 2016-01-18 | 1 | -21/+22 |
| * | Canonicalise `MonadPlus` instances | Herbert Valerio Riedel | 2016-01-01 | 1 | -8/+4 |
| * | Remove some redundant definitions/constraints | Herbert Valerio Riedel | 2015-12-31 | 1 | -2/+0 |
| * | Drop pre-AMP compatibility CPP conditionals | Herbert Valerio Riedel | 2015-12-31 | 1 | -3/+0 |
| * | Refactoring only | Simon Peyton Jones | 2015-12-24 | 1 | -0/+32 |
| * | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -405/+832 |
| * | Get rid of tcView altogether | Ömer Sinan Ağacan | 2015-12-07 | 1 | -6/+6 |
| * | Create a deterministic version of tyVarsOfType | Bartosz Nitka | 2015-11-21 | 1 | -1/+1 |
| * | MonadFail proposal, phase 1 | David Luposchainsky | 2015-11-17 | 1 | -0/+8 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |