On Thu, Dec 15, 2011 at 11:07, Niklas Broberg wrote: > 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.
That's good to know! I presume it's something like Haskell98 to start with? I'd be even more impressed (and possibly also concerned for your health) if you were going to tackle all of the extensions! I'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... ;) Regards, Sean [1] http://www.staff.science.uu.nl/~heere112/phdthesis/
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
