Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Test case for #10141 | Richard Eisenberg | 2015-04-24 | 1 | -0/+1 | |
* | Don't use self {-# SOURCE #-} import in test-cases. | Edward Z. Yang | 2015-04-22 | 1 | -1/+1 | |
* | Do proper depth checking in the flattener to avoid looping. | Richard Eisenberg | 2015-03-23 | 1 | -1/+3 | |
* | Eliminate so-called "silent superclass parameters" | Simon Peyton Jones | 2014-12-23 | 1 | -1/+1 | |
* | Consider equality contexts exotic, uninferrable by "deriving" | Richard Eisenberg | 2014-12-19 | 1 | -0/+2 | |
* | Fix wrong-kind-of-family error message (Trac #9896) | Simon Peyton Jones | 2014-12-18 | 1 | -0/+1 | |
* | Revert "Test Trac #9318" | Herbert Valerio Riedel | 2014-11-22 | 1 | -1/+0 | |
* | Test T2239 actually succeeds without impredicativity, because of the new co/c... | Simon Peyton Jones | 2014-11-21 | 1 | -1/+1 | |
* | Test Trac #9318 | Simon Peyton Jones | 2014-11-21 | 1 | -0/+1 | |
* | Test Trac #7862 | Simon Peyton Jones | 2014-11-11 | 1 | -1/+1 | |
* | Test Trac #9662 | Simon Peyton Jones | 2014-11-11 | 1 | -0/+1 | |
* | Clean up Coercible handling, and interaction of data families with newtypes | Simon Peyton Jones | 2014-09-19 | 1 | -0/+1 | |
* | Another test for type function saturation | Simon Peyton Jones | 2014-09-04 | 1 | -0/+1 | |
* | Check for un-saturated type family applications | Simon Peyton Jones | 2014-08-25 | 1 | -0/+2 | |
* | Test #9371 (indexed-types/should_fail/T9371) | Richard Eisenberg | 2014-08-12 | 1 | -0/+1 | |
* | Check for boxed tau types in the LHS of type family instances | Simon Peyton Jones | 2014-07-25 | 1 | -0/+1 | |
* | Fix elemLocalRdrEnv (Trac #9160) | Simon Peyton Jones | 2014-06-12 | 1 | -0/+1 | |
* | Test #9097. | Richard Eisenberg | 2014-06-11 | 1 | -1/+1 | |
* | Suggest -fprint-explicit-kinds when only kind variables are ambiguous | Simon Peyton Jones | 2014-06-09 | 1 | -0/+1 | |
* | Check that an associated type mentions at least one type variable from the class | Simon Peyton Jones | 2014-06-09 | 1 | -1/+2 | |
* | Test Trac #9036 | Simon Peyton Jones | 2014-04-28 | 1 | -0/+1 | |
* | Test Trac #8518 | Simon Peyton Jones | 2013-11-12 | 1 | -1/+3 | |
* | New tests for #8368. | Richard Eisenberg | 2013-10-03 | 1 | -0/+2 | |
* | Test Trac #8129 | Simon Peyton Jones | 2013-09-20 | 1 | -0/+5 | |
* | Test Trac #8227 | Simon Peyton Jones | 2013-09-10 | 1 | -0/+4 | |
* | Test Trac #8155 | Simon Peyton Jones | 2013-08-29 | 1 | -1/+2 | |
* | Wibble to tests from improving comments about apartness. | Richard Eisenberg | 2013-08-28 | 1 | -0/+1 | |
* | Added test cases for closed type families in .hs-boot files. | Richard Eisenberg | 2013-08-05 | 1 | -1/+5 | |
* | Add test case for #7938. | Richard Eisenberg | 2013-08-04 | 1 | -0/+1 | |
* | Updates to support closed type families. | Richard Eisenberg | 2013-06-21 | 1 | -2/+3 | |
* | Test Trac #7967 | Simon Peyton Jones | 2013-06-12 | 1 | -0/+1 | |
* | Test Trac #7786 | Simon Peyton Jones | 2013-04-22 | 1 | -0/+1 | |
* | Test Trac #7729 | Simon Peyton Jones | 2013-03-01 | 1 | -1/+3 | |
* | Remove T5763 | Ian Lynagh | 2013-02-11 | 1 | -1/+0 | |
* | Convert more helper functions | Ian Lynagh | 2013-02-11 | 1 | -1/+1 | |
* | SimpleFail9 now passes, which is actually fine | Simon Peyton Jones | 2013-01-29 | 1 | -1/+1 | |
* | Rename a test that shared its name with another test | Ian Lynagh | 2013-01-25 | 1 | -1/+1 | |
* | Add new testcase for Trac #7560. | Richard Eisenberg | 2013-01-08 | 1 | -0/+2 | |
* | Test Trac #7536 | Simon Peyton Jones | 2013-01-02 | 1 | -4/+1 | |
* | Implement overlapping type family instances. | Richard Eisenberg | 2012-12-21 | 1 | -0/+10 | |
* | Another test for Trac #7354 | Simon Peyton Jones | 2012-10-26 | 1 | -0/+8 | |
* | Test Trac #7354 | Simon Peyton Jones | 2012-10-26 | 1 | -0/+1 | |
* | Add expected output for T7194 | Ian Lynagh | 2012-10-11 | 1 | -1/+1 | |
* | Test Trac #7194 | Simon Peyton Jones | 2012-08-28 | 1 | -0/+1 | |
* | Test Trac #5978 and #7010 | Simon Peyton Jones | 2012-07-14 | 1 | -2/+2 | |
* | Forgotten entry. | Dimitrios.Vytiniotis | 2012-06-08 | 1 | -0/+1 | |
* | Test Trac #6123, and improve an error message in T2627b | Simon Peyton Jones | 2012-05-25 | 1 | -1/+1 | |
* | Adding testcase for Trac 5934 | Dimitrios.Vytiniotis | 2012-04-10 | 1 | -0/+2 | |
* | Lots of error message wibbling, following the | Simon Peyton Jones | 2012-01-12 | 1 | -1/+2 | |
* | Error message modifications for the new constraint solver. | Dimitrios Vytiniotis | 2011-11-16 | 1 | -1/+1 |