Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Apply the right substitution in ty-fam improvement | Simon Peyton Jones | 2017-01-23 | 3 | -0/+133 |
* | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 2 | -4/+4 |
* | Add HsSyn prettyprinter tests | Alan Zimmerman | 2016-12-07 | 3 | -13/+12 |
* | Kill Type pretty-printer | Ben Gamari | 2016-11-13 | 1 | -1/+1 |
* | Test Trac #12081 | Simon Peyton Jones | 2016-10-24 | 3 | -0/+17 |
* | Test Trac #12174 | Simon Peyton Jones | 2016-10-24 | 3 | -0/+17 |
* | Fix #12442. | Richard Eisenberg | 2016-09-23 | 2 | -0/+58 |
* | Wibble error message for #11471 | Simon Peyton Jones | 2016-06-28 | 1 | -0/+1 |
* | Typos in comments [skip ci] | Gabor Greif | 2016-06-22 | 1 | -1/+1 |
* | Testsuite: remove Windows CR [skip ci] | Thomas Miedema | 2016-06-20 | 1 | -4/+4 |
* | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 1 | -3/+3 |
* | Improve typechecking of let-bindings | Simon Peyton Jones | 2016-06-13 | 1 | -6/+4 |
* | Kill varSetElems in TcErrors | Bartosz Nitka | 2016-04-26 | 1 | -1/+1 |
* | Kill varSetElemsWellScoped in quantifyTyVars | Bartosz Nitka | 2016-04-26 | 1 | -3/+3 |
* | Warn about simplifiable class constraints | Simon Peyton Jones | 2016-04-22 | 1 | -1/+4 |
* | Deeply instantiate in :type | Simon Peyton Jones | 2016-04-04 | 2 | -5/+6 |
* | Default RuntimeRep variables unless -fprint-explicit-runtime-reps | Ben Gamari | 2016-03-24 | 4 | -1/+30 |
* | Fix #11723 and #11724. | Richard Eisenberg | 2016-03-21 | 1 | -5/+4 |
* | Rename test for #11334 to 11334b, fixing conflict | Richard Eisenberg | 2016-03-21 | 3 | -5/+5 |
* | Fix #11635 / #11719. | Richard Eisenberg | 2016-03-21 | 3 | -0/+27 |
* | TypeApplications does not imply AllowAmbiguousTypes | Richard Eisenberg | 2016-03-21 | 1 | -1/+1 |
* | Fix #11512 by getting visibility right for methods | Richard Eisenberg | 2016-03-17 | 1 | -2/+2 |
* | Fix #11716. | Richard Eisenberg | 2016-03-17 | 2 | -0/+698 |
* | Fix #11711. | Richard Eisenberg | 2016-03-17 | 2 | -0/+59 |
* | Clean up some pretty-printing in errors. | Richard Eisenberg | 2016-03-15 | 3 | -0/+34 |
* | Fix #11473. | Richard Eisenberg | 2016-03-15 | 3 | -0/+35 |
* | Fix #11648. | Richard Eisenberg | 2016-03-14 | 6 | -1/+33 |
* | Fix #11334. | Richard Eisenberg | 2016-03-14 | 3 | -0/+33 |
* | Fix #11407. | Richard Eisenberg | 2016-03-14 | 3 | -0/+19 |
* | Print which flag controls emitted desugaring warnings | Herbert Valerio Riedel | 2016-02-27 | 1 | -1/+1 |
* | Print which warning-flag controls an emitted warning | Michael Walker | 2016-02-25 | 1 | -1/+1 |
* | Address #11471 by putting RuntimeRep in kinds.wip/runtime-rep | Richard Eisenberg | 2016-02-24 | 4 | -10/+10 |
* | Fix #11241. | Richard Eisenberg | 2016-02-17 | 3 | -1/+13 |
* | Mark dynamic-paper as expect_fail_for optasm and optllvm (#11330) | Thomas Miedema | 2016-01-29 | 1 | -1/+4 |
* | Fix two cloning-related bugs | Simon Peyton Jones | 2016-01-26 | 1 | -0/+5 |
* | Add "ticks-exhausted" comment | Simon Peyton Jones | 2016-01-26 | 1 | -0/+7 |
* | Fix #11405. | Richard Eisenberg | 2016-01-15 | 1 | -1/+1 |
* | Constrained types have kind * in validity check. | Richard Eisenberg | 2016-01-15 | 2 | -0/+11 |
* | Fix #11311 | Richard Eisenberg | 2016-01-15 | 5 | -0/+24 |
* | Have mkCastTy look more closely for reflexivity. | Richard Eisenberg | 2015-12-26 | 2 | -0/+342 |
* | Test #9632 in dependent/should_compile/T9632 | Richard Eisenberg | 2015-12-14 | 2 | -0/+12 |
* | Suggest import Data.Kinds when * is out of scope | Richard Eisenberg | 2015-12-14 | 3 | -0/+17 |
* | Test case for #7961. | Richard Eisenberg | 2015-12-11 | 2 | -0/+27 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 33 | -0/+480 |