Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Major patch to introduce TyConBinder | Simon Peyton Jones | 2016-06-15 | 1 | -1/+1 |
* | Kill varSetElemsWellScoped in quantifyTyVars | Bartosz Nitka | 2016-04-26 | 1 | -1/+1 |
* | Pattern synonyms: swap provided/required | Simon Peyton Jones | 2015-10-28 | 1 | -1/+2 |
* | Pattern synonym names need to be in scope before renaming bindings (#9889) | Dr. ERDI Gergo | 2015-01-09 | 1 | -1/+1 |
* | Add support for pattern synonym type signatures. | Dr. ERDI Gergo | 2014-11-20 | 1 | -1/+1 |
* | Add test case for #8776 | Dr. ERDI Gergo | 2014-03-14 | 1 | -0/+1 |