Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix #13391 by checking for kind-GADTs | Richard Eisenberg | 2017-09-28 | 3 | -4/+6 |
* | Test #13938, with expect_broken | Richard Eisenberg | 2017-09-14 | 2 | -0/+81 |
* | Make rejigConRes do kind substitutions | Richard Eisenberg | 2017-09-14 | 2 | -0/+148 |
* | Regression test for #12742 | Richard Eisenberg | 2017-09-14 | 2 | -0/+12 |
* | Test #14038 in dependent/should_compile/T14038 | Richard Eisenberg | 2017-09-14 | 2 | -0/+76 |
* | Typofixes [ci skip] | Gabor Greif | 2017-07-30 | 1 | -1/+1 |
* | Add regression tests for #13601, #13780, #13877 | Ryan Scott | 2017-07-28 | 8 | -0/+106 |
* | Fix #12176 by being a bit more careful instantiating. | Richard Eisenberg | 2017-07-27 | 2 | -0/+19 |
* | Improve error messages around kind mismatches. | Richard Eisenberg | 2017-07-27 | 3 | -6/+9 |
* | Add regression test for #11964 | Ryan Scott | 2017-05-12 | 3 | -1/+16 |
* | Add regression test for #11966 | Ryan Scott | 2017-05-12 | 2 | -0/+35 |
* | Add regression test for #13538 | Ryan Scott | 2017-04-06 | 2 | -0/+46 |
* | Type-indexed Typeable | Ben Gamari | 2017-02-18 | 3 | -39/+39 |
* | 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 |