<div dir="ltr">Hello,<div><br></div><div>I think it'd be great to get started by specifying a few simple extensions, such as the ones Lennart listed. Even though they are very well understood, and we have text about them in the GHC manual, we'd still have to think of how to integrate their descriptions with the rest of the report, and actually write the text.</div><div><br></div><div>I'd be happy to start working on any of these as soon as we've decided what tools we'd like to use---I didn't follow the other thread closely, and I'd be happy to use whatever people are comfortable with (as long as it works on Linux, but I can't imagine that would be an issue).</div><div><br></div><div>-Iavor</div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, May 3, 2016 at 1:57 AM, Augustsson, Lennart <span dir="ltr"><<a href="mailto:Lennart.Augustsson@sc.com" target="_blank">Lennart.Augustsson@sc.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Then I suggest we keep EmptyDataDecls!<br>
<div class="HOEnZb"><div class="h5"><br>
-----Original Message-----<br>
From: Herbert Valerio Riedel [mailto:<a href="mailto:hvriedel@gmail.com">hvriedel@gmail.com</a>]<br>
Sent: 03 May 2016 09:50<br>
To: Augustsson, Lennart<br>
Cc: John Wiegley; <a href="mailto:haskell-prime@haskell.org">haskell-prime@haskell.org</a><br>
Subject: Re: Are there GHC extensions we'd like to incorporate wholesale?<br>
<br>
On 2016-05-03 at 10:36:31 +0200, Augustsson, Lennart wrote:<br>
<br>
> I'd say there are extensions we should just adopt wholesale, but they<br>
> are all of a very simple syntactic kind.<br>
><br>
> E.g., EmptyDataDecls<br>
<br>
Btw, I have no idea why EmptyDataDecls keeps getting proposed for inclusion in the next report: `EmptyDataDecls` is one of the extensions that went into Haskell2010! :-)<br>
<br>
To quote Haskell2010, Ch. 12:<br>
<br>
| Those implementations are also encouraged to support the following<br>
| named language features:<br>
|<br>
| - PatternGuards,<br>
| - NoNPlusKPatterns,<br>
| - RelaxedPolyRec,<br>
| - EmptyDataDecls,<br>
| - ForeignFunctionInterface<br>
|<br>
| These are the named language extensions supported by some pre-Haskell<br>
| 2010 implementations, that have been integrated into this report.<br>
<br>
<br>
There's actually a few more deltas to H98 (like e.g. DoAndIfThenElse), so<br>
<br>
{-# LANGUAGE Haskell2010 #-}<br>
<br>
is not equivalent to<br>
<br>
{-# LANGUAGE Haskell98,<br>
PatternGuards, NoNPlusKPatterns, RelaxedPolyRec,<br>
EmptyDataDecls, ForeignFunctionInterface #-}<br>
<br>
But surprisingly this kind of information seems hard to find in the<br>
H2010 report.<br>
<br>
</div></div><span class="im HOEnZb">This email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please delete all copies and notify the sender immediately. You may wish to refer to the incorporation details of Standard Chartered PLC, Standard Chartered Bank and their subsidiaries at <a href="http://www.standardchartered.com/en/incorporation-details.html" rel="noreferrer" target="_blank">http://www.standardchartered.com/en/incorporation-details.html</a><br>
<br>
Insofar as this communication contains any market commentary, the market commentary has been prepared by sales and/or trading desk of Standard Chartered Bank or its affiliate. It is not and does not constitute research material, independent research, recommendation or financial advice. Any market commentary is for information purpose only and shall not be relied for any other purpose, and is subject to the relevant disclaimers available at <a href="http://wholesalebanking.standardchartered.com/en/utility/Pages/d-mkt.aspx" rel="noreferrer" target="_blank">http://wholesalebanking.standardchartered.com/en/utility/Pages/d-mkt.aspx</a><br>
<br>
Insofar as this e-mail contains the term sheet for a proposed transaction, by responding affirmatively to this e-mail, you agree that you have understood the terms and conditions in the attached term sheet and evaluated the merits and risks of the transaction. We may at times also request you to sign on the term sheet to acknowledge in respect of the same.<br>
<br>
Please visit <a href="http://wholesalebanking.standardchartered.com/en/capabilities/financialmarkets/Pages/doddfrankdisclosures.aspx" rel="noreferrer" target="_blank">http://wholesalebanking.standardchartered.com/en/capabilities/financialmarkets/Pages/doddfrankdisclosures.aspx</a> for important information with respect to derivative products.<br>
</span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
Haskell-prime mailing list<br>
<a href="mailto:Haskell-prime@haskell.org">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>
</div></div></blockquote></div><br></div>