<p dir="ltr">Just a quick thought: The term "built-in" seems a bit myopic IMO since all these extensions are in a sense built-in, and especially if any of them make it into Haskell 2020. I wonder if "standard" would be better or something similar.</p>
<div class="gmail_extra"><br><div class="gmail_quote">On Jul 17, 2016 08:57, "Ryan Scott" <<a href="mailto:ryan.gl.scott@gmail.com">ryan.gl.scott@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Ben,<br>
<br>
> I think it would be a great idea. That being said, given that it's not<br>
> be approved yet, I'm in no position to require it. Ryan, I'll leave this<br>
> call up to you. If you would like to write up a proposal using the<br>
> template in the repository then by all means let's give it a try.<br>
> If not, then no worries; we can continue here.<br>
<br>
I hadn't thought of using ghc-proposals for this, and since it's still<br>
in a nascent state, I'll opt to continue using the GHC devs mailing<br>
list for this dicussion.<br>
<br>
<br>
Alexey,<br>
<br>
> I can't see how this doesn't require changes to Template Haskell.<br>
<br>
You are correct, I got my wires crossed when trying to recall the<br>
details. I think what I (sloppily) remembered was that in an earlier<br>
revision of <a href="https://phabricator.haskell.org/D2280" rel="noreferrer" target="_blank">https://phabricator.haskell.org/D2280</a>, I had implemented a<br>
pragma-based approach that didn't require a language extension. But I<br>
now consider that a mistake, so I've introduced the<br>
-XDerivingStrategies extension, which should be required regardless of<br>
what syntax we decide to adopt.<br>
<br>
Ryan S.<br>
<br>
On Sun, Jul 17, 2016 at 6:36 AM, Ben Gamari <<a href="mailto:ben@smart-cactus.org">ben@smart-cactus.org</a>> wrote:<br>
> Oleg Grenrus <<a href="mailto:oleg.grenrus@iki.fi">oleg.grenrus@iki.fi</a>> writes:<br>
><br>
>> Should we test drive <a href="https://github.com/ghc-proposals/ghc-proposals" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals</a><br>
>> <<a href="https://github.com/ghc-proposals/ghc-proposals" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals</a>> on this proposal?<br>
>><br>
> I think it would be a great idea. That being said, given that it's not<br>
> be approved yet, I'm in no position to require it. Ryan, I'll leave this<br>
> call up to you. If you would like to write up a proposal using the<br>
> template in the repository then by all means let's give it a try.<br>
> If not, then no worries; we can continue here.<br>
><br>
> Cheers,<br>
><br>
> - Ben<br>
><br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div></div>