Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Major patch to introduce TyConBinder | Simon Peyton Jones | 2016-06-15 | 1 | -9/+6 |
* | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 1 | -23/+26 |
* | Improve typechecking of let-bindings | Simon Peyton Jones | 2016-06-13 | 1 | -25/+23 |
* | Kill varSetElemsWellScoped in quantifyTyVars | Bartosz Nitka | 2016-04-26 | 1 | -6/+6 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -2/+2 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -21/+22 |
* | Rearrange error msgs and add section markers (Trac #11014). | Evan Laforge | 2015-11-24 | 1 | -3/+3 |
* | Add regression tests for #10045, #10999 | Simon Peyton Jones | 2015-10-27 | 1 | -0/+24 |