Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add a testcase for #11362 | Bartosz Nitka | 2016-02-15 | 1 | -0/+2 |
* | Wrap solveEqualities in checkNoErrs | Simon Peyton Jones | 2016-02-10 | 1 | -0/+3 |
* | Fix a nasty superclass expansion bug | Simon Peyton Jones | 2016-02-08 | 1 | -0/+1 |
* | Add Edward Kmett's example as a test case | Simon Peyton Jones | 2016-02-08 | 1 | -0/+1 |
* | Special-case implicit params in superclass expansion | Simon Peyton Jones | 2016-01-25 | 1 | -0/+1 |
* | Allow implicit parameters in constraint synonyms | Simon Peyton Jones | 2016-01-21 | 1 | -1/+2 |
* | Re-add missing kind generalisation | Simon Peyton Jones | 2016-01-21 | 1 | -0/+1 |
* | Fix #11255. | Richard Eisenberg | 2015-12-26 | 1 | -0/+1 |
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -0/+1 |
* | Fix super-class cycle check | Simon Peyton Jones | 2015-12-23 | 1 | -1/+1 |
* | Test Trac #11248, #11249 | Simon Peyton Jones | 2015-12-18 | 1 | -0/+3 |
* | Fix tcTyClTyVars to handle SigTvs | Richard Eisenberg | 2015-12-17 | 1 | -1/+1 |
* | Test #9017 in polykinds/T9017 | Richard Eisenberg | 2015-12-11 | 1 | -0/+1 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -3/+7 |
* | Fix kind-var abstraction in SimplUtils.abstractFloats | Simon Peyton Jones | 2015-10-06 | 1 | -0/+1 |
* | Test Trac #10742 | Simon Peyton Jones | 2015-08-06 | 1 | -0/+1 |
* | Test Trac #10134 | Simon Peyton Jones | 2015-08-03 | 1 | -0/+1 |
* | Fix Trac #10670 | Simon Peyton Jones | 2015-07-23 | 1 | -0/+2 |
* | Testsuite: delete remaining only_compiler_types(['ghc']) setups | Thomas Miedema | 2015-07-14 | 1 | -2/+0 |
* | Improve error message for fundeps | Simon Peyton Jones | 2015-07-10 | 1 | -0/+1 |
* | Test Trac #10503 | Simon Peyton Jones | 2015-06-18 | 1 | -0/+1 |
* | Report arity errors correctly despite kinds | Simon Peyton Jones | 2015-06-18 | 1 | -0/+1 |
* | Test Trac #10451 | Simon Peyton Jones | 2015-06-02 | 1 | -1/+1 |
* | Test Trac #10041 | Simon Peyton Jones | 2015-02-06 | 1 | -0/+2 |
* | Test Trac #7908 | Simon Peyton Jones | 2014-12-01 | 1 | -1/+1 |
* | Fix the handling of instance signatures (Trac #9582, #9833) | Simon Peyton Jones | 2014-12-01 | 1 | -0/+2 |
* | Kind variables in RHS of an associated type instances should be bound on LHS | Simon Peyton Jones | 2014-11-28 | 1 | -0/+1 |
* | Don't require ConstraintKinds at usage sites (Trac #9838) | Simon Peyton Jones | 2014-11-27 | 1 | -0/+1 |
* | Test Trac #9569 | Simon Peyton Jones | 2014-11-21 | 1 | -0/+1 |
* | Trac #9222 is actually an ambiguous type, now detected | Simon Peyton Jones | 2014-11-21 | 1 | -1/+1 |
* | Test Trac #9750 | Simon Peyton Jones | 2014-11-04 | 1 | -0/+1 |
* | Testsuite wibbles around #9200 | Richard Eisenberg | 2014-08-12 | 1 | -1/+1 |
* | Added more testing for #9200. (polykinds/T9200b) | Richard Eisenberg | 2014-08-12 | 1 | -0/+1 |
* | Test #9200. (polykinds/T9200) | Richard Eisenberg | 2014-08-12 | 1 | -0/+1 |
* | Entirely re-jig the handling of default type-family instances (fixes Trac #9063) | Simon Peyton Jones | 2014-07-15 | 1 | -0/+3 |
* | Test Trac #9222 | Simon Peyton Jones | 2014-07-01 | 1 | -0/+1 |
* | Test Trac #9144 | Simon Peyton Jones | 2014-05-27 | 1 | -0/+1 |
* | Make the unifier a fixpoint even for the free kind vars of a tyvar | Simon Peyton Jones | 2014-05-23 | 1 | -0/+1 |
* | Test Trac #8985 | Simon Peyton Jones | 2014-04-14 | 1 | -0/+1 |
* | Keep kind-inconsistent Given type equalities (fixes Trac #8705) | Simon Peyton Jones | 2014-02-18 | 1 | -1/+2 |
* | Test #7481, which had already been fixed. | Richard Eisenberg | 2014-02-09 | 1 | -0/+1 |
* | Add an expect-broken test for Trac #8566 | Simon Peyton Jones | 2014-01-17 | 1 | -0/+1 |
* | Test Trac #8616 | Simon Peyton Jones | 2014-01-13 | 1 | -0/+1 |
* | Test Trac #8566 | Simon Peyton Jones | 2013-12-10 | 1 | -0/+1 |
* | Test Trac #8534 | Simon Peyton Jones | 2013-11-19 | 1 | -0/+1 |
* | Test Trac #8449 | Simon Peyton Jones | 2013-10-18 | 1 | -0/+1 |
* | Test Trac #8391 | Simon Peyton Jones | 2013-10-03 | 1 | -0/+1 |
* | Test Trac #8359 | Simon Peyton Jones | 2013-10-01 | 1 | -1/+2 |
* | Add test for #8132 | Jose Pedro Magalhaes | 2013-09-04 | 1 | -1/+2 |
* | Test kind inference for closed type families/T7939. | Richard Eisenberg | 2013-06-27 | 1 | -0/+1 |