Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improved Valid Hole Fits | Matthías Páll Gissurarson | 2018-05-30 | 1 | -5/+4 |
* | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -3/+1 |
* | Sort valid substitutions for typed holes by "relevance" | Matthías Páll Gissurarson | 2018-01-26 | 1 | -3/+3 |
* | Inform hole substitutions of typeclass constraints (fixes #14273). | Matthías Páll Gissurarson | 2018-01-18 | 1 | -0/+1 |
* | Also show types that subsume a hole as valid substitutions for that hole. | Matthías Páll Gissurarson | 2017-09-21 | 1 | -6/+18 |
* | Rearrange error msgs and add section markers (Trac #11014). | Evan Laforge | 2015-11-24 | 1 | -2/+2 |
* | Testsuite: accept new stderr for T9497{a,b,c}-run (#10224) | Thomas Miedema | 2015-07-18 | 1 | -2/+2 |
* | Fix typecheck tests (--slow) | Thomas Miedema | 2015-03-02 | 1 | -0/+1 |
* | Add -fdefer-typed-holes flag which defers hole errors to runtime. | Merijn Verstraaten | 2014-11-21 | 1 | -0/+7 |