<div dir="ltr"><div>I hope that the GHC people will give to this a high priority. Specially for the people of FP Complete for which this should be a first target. </div><div> </div><div>I know that Simon Peyton Jones gave up in "avoid success at all costs" and not it invest in the industry. Isn't?</div>
<div> </div><div>Alberto</div><div>---------</div><div><a href="http://frictionfreedemocracy.org">frictionfreedemocracy.org</a></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">2013/4/27 Ozgur Akgun <span dir="ltr"><<a href="mailto:ozgurakgun@gmail.com" target="_blank">ozgurakgun@gmail.com</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra">Hi,</div><div class="gmail_extra"><div class="im"><br><div class="gmail_quote">
On 27 April 2013 10:07, Alberto G. Corona <span dir="ltr"><<a href="mailto:agocorona@gmail.com" target="_blank">agocorona@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;padding-left:1ex;border-left-color:rgb(204,204,204);border-left-width:1px;border-left-style:solid"><div dir="ltr"><div>I created a ticket for the feature request:</div>
<div> </div><div>Ticket #7870</div><div> </div><div>Teachers, newbies and people working in Industry: Please push it!</div></div><div class="gmail_extra"></div></blockquote></div><div class="gmail_extra"><br></div></div>
A link to the ticket may be helpful for the lazy.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra"><a href="http://hackage.haskell.org/trac/ghc/ticket/7870" target="_blank">http://hackage.haskell.org/trac/ghc/ticket/7870</a><br><br>I quite like this idea, and I think this is one thing people use TH for now instead.</div>
<div class="gmail_extra">(Using quasi-quotes, you can produce any compilation error you like...)</div><div class="gmail_extra">It would be great if we didn't have to pull in the full power of TH (or QQ) for this.</div>
<div class="gmail_extra"><br><br>Cheers,
</div><div class="gmail_extra">Ozgur</div><div class="gmail_extra"><br></div></div>
</blockquote></div><br><br clear="all"><br>-- <br>Alberto.
</div>