Re: deprecating

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