Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Embrace -XTypeInType, add -XStarIsType | Vladislav Zavialov | 2018-06-14 | 34 | -85/+104 |
* | testsuite: Fix dynamic-paper stderr file | Ben Gamari | 2018-06-07 | 1 | -1/+15 |
* | Remove ad-hoc special case in occAnal | Simon Peyton Jones | 2018-06-07 | 2 | -1/+2 |
* | Another batch of './validation --slow' tweaks | Alp Mestanogullari | 2018-05-20 | 1 | -1/+10 |
* | Fix another batch of `./validate --slow` failures | Alp Mestanogullari | 2018-05-13 | 1 | -1/+8 |
* | testsuite: Fix `./validate --slow` | Alp Mestanogullari | 2018-04-19 | 1 | -4/+1 |
* | Fix #14991. | Richard Eisenberg | 2018-04-02 | 2 | -0/+35 |
* | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 6 | -1/+123 |
* | Fix the test for #13938 | Ryan Scott | 2018-03-27 | 4 | -68/+102 |
* | Fix #12919 by making the flattener homegeneous. | Richard Eisenberg | 2018-03-26 | 3 | -3/+87 |
* | 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 |
* | Fix #12176 by being a bit more careful instantiating. | Richard Eisenberg | 2017-07-27 | 2 | -0/+19 |
* | 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 |
* | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 1 | -3/+3 |
* | Fix #12442. | Richard Eisenberg | 2016-09-23 | 2 | -0/+58 |
* | 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 |
* | Improve typechecking of let-bindings | Simon Peyton Jones | 2016-06-13 | 1 | -6/+4 |
* | Warn about simplifiable class constraints | Simon Peyton Jones | 2016-04-22 | 1 | -1/+4 |
* | 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 |
* | Fix #11648. | Richard Eisenberg | 2016-03-14 | 1 | -1/+3 |
* | 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 | 1 | -1/+1 |
* | 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 | 2 | -0/+9 |
* | 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 |
* | Test case for #7961. | Richard Eisenberg | 2015-12-11 | 2 | -0/+27 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 12 | -0/+255 |