On 22.10.2012 11:05, Johan Tibell 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"?
I think it means "I require at least rank-2 types".
To clarify, I think it's OK if a compiler accepts a program marked
"Rank2Types" and incorrectly not marked "RankNTypes" when it actually
requires rank-n types.
-- Ashley
_______________________________________________
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
