* Andy Morris
On the GSOC ideas page for haskell.org is haskell-type-exts[1], which—as the name may suggest :)—is a proposal for a typechecker for haskell-src-exts.
It doesn't seem to have got much attention, having only a single comment from two years ago, and I haven't seen anyone talking about it here or elsewhere. I guess this is still something that would be useful, so unless anyone has a reason why not, I'd like to apply to do it. I'll probably start working on the application later today unless some objections surface :)
(Is Niklas Broberg subscribed to this list? If so: would you still be willing to mentor this project?)
It was already accepted for GSoC (and worked on) a couple of years ago. Sadly, it hasn't got much attention since then. http://cleantypecheck.wordpress.com/ Roman