Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Turn EvTerm (almost) into CoreExpr (#14691) | Joachim Breitner | 2018-01-26 | 1 | -16/+18 | |
* | Refactor coercion holes | Simon Peyton Jones | 2017-12-21 | 1 | -1/+1 | |
* | Get rid of some stuttering in comments and docs | Gabor Greif | 2017-12-19 | 1 | -2/+2 | |
* | Catch a few more typos in comments | Gabor Greif | 2017-10-30 | 1 | -1/+1 | |
* | A bit more tc-tracing | Simon Peyton Jones | 2017-10-30 | 1 | -2/+8 | |
* | Comments and white space | Simon Peyton Jones | 2017-10-20 | 1 | -1/+1 | |
* | Better solving for representational equalities | Simon Peyton Jones | 2017-10-18 | 1 | -9/+5 | |
* | Don't deeply expand insolubles | Simon Peyton Jones | 2017-10-18 | 1 | -6/+16 | |
* | Remove wc_insol from WantedConstraints | Simon Peyton Jones | 2017-10-11 | 1 | -25/+21 | |
* | Fix solving of implicit parameter constraints | Simon Peyton Jones | 2017-09-25 | 1 | -1/+40 | |
* | compiler: introduce custom "GhcPrelude" Prelude | Herbert Valerio Riedel | 2017-09-19 | 1 | -0/+2 | |
* | Fix ASSERT failure in tc269 | Simon Peyton Jones | 2017-07-28 | 1 | -6/+3 | |
* | Fix #12176 by being a bit more careful instantiating. | Richard Eisenberg | 2017-07-27 | 1 | -2/+2 | |
* | Track visibility in TypeEqOrigin | Richard Eisenberg | 2017-07-27 | 1 | -6/+12 | |
* | Improve error messages around kind mismatches. | Richard Eisenberg | 2017-07-27 | 1 | -127/+169 | |
* | Spelling fixes | Gabor Greif | 2017-07-20 | 1 | -1/+1 | |
* | Fix constraint solving for forall-types | Simon Peyton Jones | 2017-06-28 | 1 | -21/+74 | |
* | Use lengthIs and friends in more places | Ryan Scott | 2017-06-02 | 1 | -1/+1 | |
* | Re-engineer Given flatten-skolems | Simon Peyton Jones | 2017-05-26 | 1 | -1/+1 | |
* | Comments only | Simon Peyton Jones | 2017-05-25 | 1 | -4/+3 | |
* | Ensure that insolubles are fully rewritten | Simon Peyton Jones | 2017-05-19 | 1 | -1/+1 | |
* | Reset cc_pend_sc flag in dropDerivedCt | Simon Peyton Jones | 2017-05-09 | 1 | -8/+17 | |
* | Fix #13333 by fixing the covar's type in ctEvCoercion | Richard Eisenberg | 2017-05-02 | 1 | -80/+18 | |
* | Clean up coreView/tcView. | Ben Gamari | 2017-03-31 | 1 | -6/+6 | |
* | Fix error-message suppress on given equalities | Simon Peyton Jones | 2017-03-27 | 1 | -4/+5 | |
* | Treat all TyCon with hole names as skolem abstract. | Edward Z. Yang | 2017-02-26 | 1 | -2/+2 | |
* | Generalize kind of the (->) tycon | Ben Gamari | 2017-02-18 | 1 | -3/+44 | |
* | Typos in notes and comments [ci skip] | Gabor Greif | 2017-02-13 | 1 | -1/+1 | |
* | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 1 | -2/+1 | |
* | Fix zonk_eq_types in TcCanonical | Simon Peyton Jones | 2017-01-09 | 1 | -5/+14 | |
* | Another major constraint-solver refactoring | Simon Peyton Jones | 2016-11-25 | 1 | -1/+1 | |
* | Fix a bug in mk_superclasses_of | Simon Peyton Jones | 2016-11-25 | 1 | -6/+12 | |
* | Improve TcCanonical.unifyWanted and unifyDerived | Simon Peyton Jones | 2016-10-21 | 1 | -14/+19 | |
* | Define emitNewWantedEq, and use it | Simon Peyton Jones | 2016-10-21 | 1 | -4/+3 | |
* | Refactor occurrence-check logic | Simon Peyton Jones | 2016-10-21 | 1 | -8/+2 | |
* | New story for abstract data types in hsig files. | Edward Z. Yang | 2016-10-20 | 1 | -0/+5 | |
* | Fix a bug in occurs checking | Simon Peyton Jones | 2016-09-30 | 1 | -127/+27 | |
* | Deal correctly with unused imports for 'coerce' | Simon Peyton Jones | 2016-06-28 | 1 | -12/+10 | |
* | s/Invisible/Inferred/g s/Visible/Required/g | Richard Eisenberg | 2016-06-25 | 1 | -2/+2 | |
* | Expand given superclasses more eagerly | Simon Peyton Jones | 2016-06-22 | 1 | -33/+54 | |
* | Major patch to introduce TyConBinder | Simon Peyton Jones | 2016-06-15 | 1 | -2/+2 | |
* | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 1 | -6/+6 | |
* | A little more debug tracing | Simon Peyton Jones | 2016-04-22 | 1 | -1/+1 | |
* | Improve TcFlatten.flattenTyVar | Simon Peyton Jones | 2016-04-15 | 1 | -2/+5 | |
* | Fix suggestions for unbound variables (#11680) | Jason Eisenberg | 2016-04-10 | 1 | -7/+5 | |
* | Fix #11716. | Richard Eisenberg | 2016-03-17 | 1 | -2/+2 | |
* | Comments only | Simon Peyton Jones | 2016-03-01 | 1 | -2/+3 | |
* | Address #11471 by putting RuntimeRep in kinds.wip/runtime-rep | Richard Eisenberg | 2016-02-24 | 1 | -3/+1 | |
* | Document and improve superclass expansion | Simon Peyton Jones | 2016-02-08 | 1 | -13/+32 | |
* | Special-case implicit params in superclass expansion | Simon Peyton Jones | 2016-01-25 | 1 | -5/+6 |