RE: deprecating

Ashley Yakeley <[email protected]> Mon, 22 Oct 2012 11:02:46 -0700

Newsgroups	gmane.comp.lang.haskell.cvs.ghc,gmane.comp.lang.haskell.cabal.devel
Message-ID	<[email protected]>

On 22.10.2012 09:52, Simon Peyton-Jones wrote:

> The trouble is that it's painful to check that a program uses rank-2
> *only*, which is what you might naively think of the flag. So rather
than
> fiddle about with distinctions that no one really cares about, the 
> idea
> is to abolish the distinction.
>
> But if the will of the masses is to silently and forever make
> Rank2Types=RankNtypes (documented of course), that's ok with me. It 
> just
> seems odd. I thought that's what deprecation was *for*.
>
> Simon

I think it's OK if a compiler accepts a program incorrectly marked 
"Rank2Types" when it actually requires rank-n types?

-- Ashley