Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Adapt to being a bit more picky about inference with GADTs | Simon Peyton Jones | 2012-10-19 | 1 | -0/+1 |
* | Replace Rank2Types and PolymorphicComponents by RankNTypes | Simon Peyton Jones | 2012-10-19 | 1 | -1/+1 |
* | Test Trac #5655 | Simon Peyton Jones | 2011-11-24 | 1 | -0/+26 |