On Thu, Dec 15, 2011 at 11:07, Niklas Broberg wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Envisioned: The function you ask for can definitely be written for haskell-src-exts, which I know you are currently using. I just need to complete my type checker for haskell-src-exts first. Which is not a small task, but one that has been started.</blockquote>

<div><br></div><div>That&#39;s good to know! I presume it&#39;s something like Haskell98 to start with? I&#39;d be even more impressed (and possibly also concerned for your health) if you were going to tackle all of the extensions!</div>

<div><br></div><div>I&#39;ve been trying to find a student to write a haskell-src-exts type checker for me. It should use a particular kind of mechanism though, using constraints similar to [1]. Then, I want to adapt that to do transformations. What approach are you using? Maybe I can somehow steal your work... ;)</div>

<div><br></div><div>Regards,</div><div>Sean</div><div><br></div><div>[1] <a href="http://www.staff.science.uu.nl/~heere112/phdthesis/">http://www.staff.science.uu.nl/~heere112/phdthesis/</a></div></div>