<div dir="ltr">+1 on the proposal, with an extension flag.<div><br></div><div>I think we should continue to be strict about language extension flags.  Extension flags allow the programmer to signal very clearly which features they're using, which allows us to write code that will be correctly rejected with a useful error message both by older versions of GHC and by hypothetical other compilers that don't support the extension.</div><div><br></div><div>If we start to relax the policy of having extension flags, then it's hard to know where to stop. Yes we have already diverged from Haskell2010, but so far there was a compelling reason to do so in each case: e.g. we had no good way to support both versions of the Monad hierarchy, and for NondecreasingIndentation I think we had been accepting the extended syntax (without the flag) already in previous versions.</div><div><br></div><div>Cheers</div><div>Simon</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On 17 August 2017 at 17:47, Christopher Allen <span dir="ltr"><<a href="mailto:cma@bitemyapp.com" target="_blank">cma@bitemyapp.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I'd tend to agree that we should strictly respect the standard,<br>
eschewing "benign" augmentations. Part of my discomfort with this is<br>
my experience talking to programmers who hand-waved effects in general<br>
as benign. Without a formal definition of benign such as exists in the<br>
Semantic Versioning standard I'd just as soon not add something like<br>
this without putting it behind an extension.<br>
<br>
I'm a soft +1 on the proposal as an extension.<br>
<div class="HOEnZb"><div class="h5"><br>
On Thu, Aug 17, 2017 at 10:05 AM, Richard Eisenberg <<a href="mailto:rae@cs.brynmawr.edu">rae@cs.brynmawr.edu</a>> wrote:<br>
><br>
>> On Aug 16, 2017, at 6:11 PM, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> wrote:<br>
>><br>
>> that touches on a more fundamental question: How strict do we want to<br>
>> be with the “every divergence from the standard requires an extension”<br>
>> rule.<br>
><br>
> I think this is a great question to ask, but I would want more community feedback on this point than just us in the committee. My stance is that, absent this discussion, we should stay quite strict on that rule.<br>
><br>
> (In the discussion, I would argue that adherence to the standard is less necessary.)<br>
><br>
> Richard<br>
> ______________________________<wbr>_________________<br>
> ghc-steering-committee mailing list<br>
> <a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@<wbr>haskell.org</a><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-<wbr>steering-committee</a><br>
<br>
<br>
<br>
</div></div><span class="HOEnZb"><font color="#888888">--<br>
Chris Allen<br>
Currently working on <a href="http://haskellbook.com" rel="noreferrer" target="_blank">http://haskellbook.com</a><br>
</font></span><div class="HOEnZb"><div class="h5">______________________________<wbr>_________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@<wbr>haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-<wbr>steering-committee</a><br>
</div></div></blockquote></div><br></div>