| I know that those warnings below are longstanding buglets, but would
| it be possible to remove them before the release of 4.07? I had a
| medium-quick look at the desugarer/type checker, but with no real
| success.
I'd love to fix them too, but it's all in a couple of modules
written by a research student, Juan Quintela. Like any mass of new
code, it's hard to get to grips with, and I never have. In short, we are
no better equipped to fix this one than anyone else. I'd love to see it
fixed, but other things have always come higher up the wish list.
A good thing for a long flight, perhaps.
Bottom line: I agree it is annoying, but I don't really want to commit
to fixing it for 4.07 unless someone volunteers
Simon
