Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Make T11361 actually run with reversed uniques | Bartosz Nitka | 2016-02-15 | 1 | -1/+2 | |
* | Split off -Wunused-type-variables from -Wunused-matches | RyanGlScott | 2016-01-26 | 1 | -2/+2 | |
* | Fix typecheck of default associated type decls | Simon Peyton Jones | 2016-01-18 | 1 | -0/+2 | |
* | Fix a number of subtle solver bugs | Simon Peyton Jones | 2016-01-16 | 1 | -0/+1 | |
* | Warn about unused type variables in type families | Michał Sośnicki | 2015-12-21 | 1 | -0/+2 | |
* | Allow recursive (undecidable) superclasses | Simon Peyton Jones | 2015-12-15 | 1 | -0/+2 | |
* | Test Trac #11187 | Simon Peyton Jones | 2015-12-10 | 1 | -0/+1 | |
* | Test Trac #10931 | Simon Peyton Jones | 2015-10-12 | 1 | -0/+1 | |
* | Fix #10815 by kind-checking type patterns against known kinds. | Richard Eisenberg | 2015-09-19 | 1 | -0/+1 | |
* | Add a test for Trac #10806 | Simon Peyton Jones | 2015-09-11 | 1 | -1/+1 | |
* | Test Trac #10753 | Simon Peyton Jones | 2015-08-07 | 1 | -0/+2 | |
* | Fix #10713. | Richard Eisenberg | 2015-08-04 | 1 | -1/+2 | |
* | Testsuite: delete remaining only_compiler_types(['ghc']) setups | Thomas Miedema | 2015-07-14 | 1 | -1/+0 | |
* | Test Trac #10634 | Simon Peyton Jones | 2015-07-13 | 1 | -1/+1 | |
* | Remove derived CFunEqCans after solving givens | Simon Peyton Jones | 2015-06-15 | 1 | -0/+2 | |
* | Testsuite: delete expect_fail setups for ghc < 7.1 | Thomas Miedema | 2015-06-09 | 1 | -1/+1 | |
* | Permit empty closed type families | Adam Gundry | 2015-05-04 | 1 | -0/+4 | |
* | Test Trac #10226 | Simon Peyton Jones | 2015-04-29 | 1 | -1/+1 | |
* | Improve improvement in the constraint solver | Simon Peyton Jones | 2015-04-29 | 1 | -0/+1 | |
* | Don't use self {-# SOURCE #-} import in test-cases. | Edward Z. Yang | 2015-04-22 | 1 | -2/+2 | |
* | Do proper depth checking in the flattener to avoid looping. | Richard Eisenberg | 2015-03-23 | 1 | -0/+2 | |
* | Fix #10079 by recurring after flattening exposes a TyConApp. | Richard Eisenberg | 2015-02-11 | 1 | -0/+1 | |
* | Fix the nullary-type-class case for associated types | Simon Peyton Jones | 2015-02-06 | 1 | -0/+1 | |
* | Consider equality contexts exotic, uninferrable by "deriving" | Richard Eisenberg | 2014-12-19 | 1 | -1/+0 | |
* | Test Trac #9090 | Simon Peyton Jones | 2014-12-11 | 1 | -0/+1 | |
* | Fix the handling of instance signatures (Trac #9582, #9833) | Simon Peyton Jones | 2014-12-01 | 1 | -0/+1 | |
* | Testsuite error message changes | Simon Peyton Jones | 2014-11-04 | 1 | -1/+1 | |
* | Test Trac #9747 | Simon Peyton Jones | 2014-11-04 | 1 | -0/+1 | |
* | Test Trac #9211 | Simon Peyton Jones | 2014-11-04 | 1 | -0/+1 | |
* | Another test for type function saturation | Simon Peyton Jones | 2014-09-04 | 1 | -0/+1 | |
* | Rename red-black test in indexed-types to red-black-delete | Simon Peyton Jones | 2014-08-29 | 1 | -1/+1 | |
* | Add an interesting type-family/GADT example of deletion for red-black trees | Simon Peyton Jones | 2014-08-28 | 1 | -0/+1 | |
* | Further improvements to floating equalities | Simon Peyton Jones | 2014-07-18 | 1 | -0/+1 | |
* | Test #9085. | Richard Eisenberg | 2014-06-11 | 1 | -0/+1 | |
* | Fix egregious blunder in the type flattener | Simon Peyton Jones | 2014-04-10 | 1 | -0/+2 | |
* | Flattener preserves synonyms, rewriteEvidence can drop buggy "optimisation" | Simon Peyton Jones | 2014-03-24 | 1 | -0/+1 | |
* | Test Trac #8889 | Simon Peyton Jones | 2014-03-17 | 1 | -0/+1 | |
* | Some typos in comments | Gabor Greif | 2014-01-23 | 1 | -1/+1 | |
* | Typos in comments | Krzysztof Gogolewski | 2014-01-16 | 1 | -1/+1 | |
* | Test Trac #8651 | Simon Peyton Jones | 2014-01-10 | 1 | -0/+1 | |
* | T5246 and T7474 back working with -DDEBUG | Joachim Breitner | 2013-11-22 | 1 | -1/+1 | |
* | Mark tests as expect_broken when borken with -DDEBUG | Joachim Breitner | 2013-11-22 | 1 | -2/+2 | |
* | Test Trac #8500 | Simon Peyton Jones | 2013-11-06 | 1 | -0/+6 | |
* | Added test cases for closed type families in .hs-boot files. | Richard Eisenberg | 2013-08-05 | 1 | -1/+5 | |
* | Add new test for #8020. | Richard Eisenberg | 2013-08-02 | 1 | -1/+2 | |
* | Add test case T8018 | Richard Eisenberg | 2013-06-28 | 1 | -0/+2 | |
* | Test Trac #8011 | Simon Peyton Jones | 2013-06-25 | 1 | -0/+6 | |
* | Test Trac #8002 | Simon Peyton Jones | 2013-06-24 | 1 | -0/+5 | |
* | Updates to support closed type families. | Richard Eisenberg | 2013-06-21 | 1 | -0/+2 | |
* | Test DerivingNewType now passes | Simon Peyton Jones | 2013-05-30 | 1 | -1/+1 |