Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix TcSimplify.decideQuantification for kind variables | Simon Peyton Jones | 2017-03-10 | 1 | -18/+18 |
* | Testsuite: remove Windows CR [skip ci] | Thomas Miedema | 2016-06-20 | 1 | -53/+53 |
* | Improve typechecking of let-bindings | Simon Peyton Jones | 2016-06-13 | 1 | -25/+21 |
* | Error message wibbles, re partial type sigs | Simon Peyton Jones | 2016-05-10 | 1 | -59/+57 |
* | Testsuite: accept new output for 2 partial-sigs tests | Thomas Miedema | 2016-04-30 | 1 | -49/+54 |
* | Implement Partial Type Signatures | Thomas Winant | 2014-11-28 | 1 | -0/+54 |