On 23/10/2012 09:04, Roman Leshchinskiy wrote:
Bryan O'Sullivan wrote:
On Mon, Oct 22, 2012 at 4:14 PM, Simon Peyton-Jones
wrote:
Do you mean “silently and forever�?
I think that's what I mean, yes.
As Johan notes, many of us run our continuous builds of our packages with
-Wall -Werro
On 22/10/2012 19:15, 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 "
| > 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
