Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Reject nested predicates in impredicativity checking | Ryan Scott | 2019-03-20 | 1 | -2/+2 |
* | Replace Rank2Types and PolymorphicComponents by RankNTypes | Simon Peyton Jones | 2012-10-19 | 1 | -1/+1 |
* | Move tests from tests/ghc-regress/* to just tests/* | David Terei | 2011-07-20 | 1 | -0/+11 |