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
_______________________________________________
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
