On Mon, Oct 22, 2012 at 11:02 AM, Ashley Yakeley <ash...@semantic.org> wrote: > I think it's OK if a compiler accepts a program incorrectly marked > "Rank2Types" when it actually requires rank-n types?
It's an interesting question: does Rank2Types mean "I require at least rank-2 types" or "I only use rank-2 types"? _______________________________________________ cabal-devel mailing list cabal-devel@haskell.org http://www.haskell.org/mailman/listinfo/cabal-devel
