<div dir="ltr"><div><div>As an outsider, I would like to suggest thinking about MonoLocalBinds.  GHC has a rather convincing story (at least to me) that "(local) let should not be generalised" (since it becomes problematic in combination with several other language extensions) and the journal version of the OutsideIn(X) paper has empirical data that indicates it is not a big problem to remove.  If there is a concern about backwards compatibility, perhaps the committee could deprecate local let generalisation in Haskell2020 and remove it in a subsequent iteration of the report?<br><br></div>Regards,<br></div>Dominique<br><div><div><div><br><div class="gmail_quote"><div dir="ltr">Op wo 4 mei 2016 om 07:00 schreef M Farkas-Dyck <<a href="mailto:m.farkasdyck@gmail.com">m.farkasdyck@gmail.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 02/05/2016, Cale Gibbard <<a href="mailto:cgibbard@gmail.com" target="_blank">cgibbard@gmail.com</a>> wrote:<br>
> This question implicitly has two parts:<br>
><br>
> 1) Are there GHC extensions which the Report ought to describe in their<br>
> entirety? ...<br>
><br>
> 2) Are there extensions which ought to stop being extensions? ...<br>
<br>
I agree here, except as noted in my earlier mail in this thread.<br>
<br>
An extension i might like to no longer be an extension is<br>
NoMonomorphismRestriction, which i haven't yet seen brought up in this<br>
thread. I recognize it has some rationale for it, but i surely want<br>
this committee to at least re-evaluate its merits.<br>
_______________________________________________<br>
Haskell-prime mailing list<br>
<a href="mailto:Haskell-prime@haskell.org" target="_blank">Haskell-prime@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime</a><br>
</blockquote></div></div></div></div></div>