Ashley Yakeley wrote: > 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.
But in the absense of compiler diagnostics, how do you make sure that your program really requires only rank-2 types? Roman _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
