Re: The dreaded M-R

On 1/30/06, lennart@augustsson.net wrote:

So I envisage that you'd turn off the warning in the same way as you turn off the M-R today: by a type signature. If you write the type you pretty much show that you know that you're doing something special.

This requires scoped type variables. -- Taral "Computer science is no more about computers than astronomy is about telescopes." -- Edsger Dijkstra