Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Infer types with flexible contexts | Simon Peyton Jones | 2015-07-09 | 1 | -9/+7 |
* | Tidy up treatment of FlexibleContexts | Simon Peyton Jones | 2015-04-30 | 1 | -8/+10 |
* | Wibbles (usually improvements) to error messages | Simon Peyton Jones | 2014-11-21 | 1 | -1/+1 |
* | Testsuite error message changes | Simon Peyton Jones | 2014-11-04 | 1 | -8/+8 |
* | Improve error message in Trac #8883 | Simon Peyton Jones | 2014-06-11 | 1 | -7/+8 |
* | Validate inferred theta. Fixes #8883 | Jan Stolarek | 2014-04-19 | 1 | -0/+7 |