<div dir="ltr">indeed! Thanks erik!<div><br></div><div style>On the paralllel list, edkso shares with us a single commit that adds all the requested features as a user land lib</div><div style><br></div><div style><a href="https://github.com/haskell-distributed/distributed-static/commit/d2bd2ebca5a96ea5df621770e98bfb7a3b745bc7">https://github.com/haskell-distributed/distributed-static/commit/d2bd2ebca5a96ea5df621770e98bfb7a3b745bc7</a><br>

</div><div style><br></div><div style>@tweag folks, please do not write personal attacks on the issue tracker, if you find yourself frustrated, I probably am too! please keep a positive constructive tone in all future communications.  </div>

<div style><br></div><div style><br></div><div style><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Jan 28, 2014 at 9:20 PM, Erik de Castro Lopo <span dir="ltr"><<a href="mailto:mle+hs@mega-nerd.com" target="_blank">mle+hs@mega-nerd.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">Mathieu Boespflug wrote:<br>
<br>
> [Sorry for the multiple reposts - couldn't quite figure out which<br>
> email address doesn't get refused by the list..]<br>
><br>
><br>
> Hi Carter,<br>
><br>
> thank you for the good points you raise. I'll try and address each of<br>
> them as best I can below.<br>
><br>
> > 0) I think you could actually implement this proposal as a userland library,<br>
> > at least as you've described it. Have you tried doing so?<br>
><br>
> Indeed, this could be done without touching the compiler at all.<br>
<br>
</div>We had this response really early on in this discussion.<br>
<br>
Quite honestly I think that should have been the end of the discussion.<br>
<br>
The existing GHC release already have a huge workload getting releases<br>
out the door and adding to that workload without adding manpower and<br>
resources would be a bad idea.<br>
<br>
You really should try doing this as a library outside of GHC and if GHC<br>
needs a few small additional features, they can be added.<br>
<div class="im"><br>
> The `static e` form could as well be a piece of Template Haskell, but<br>
> making it a proper extension means that the compiler can enforce more<br>
> invariants and be a bit more helpful to the user.<br>
<br>
</div>Once it works outside GHC and has proven useful, then it might be worthwhile<br>
add small specific, easily testable/maintainable features to GHC to support<br>
what goes on on your library.<br>
<span class="HOEnZb"><font color="#888888"><br>
Erik<br>
--<br>
----------------------------------------------------------------------<br>
Erik de Castro Lopo<br>
<a href="http://www.mega-nerd.com/" target="_blank">http://www.mega-nerd.com/</a><br>
</font></span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
</div></div></blockquote></div><br></div>