Re: deprecating
Ashley Yakeley <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc,gmane.comp.lang.haskell.cabal.devel |
|---|---|
| Message-ID | <[email protected]> |
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