The dreaded M-R

[Taral]

On 1/30/06, lennart at augustsson.net <lennart at 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 <taralx at gmail.com>
"Computer science is no more about computers than astronomy is about
telescopes."
    -- Edsger Dijkstra