The dreaded M-R

Taral taralx at
Mon Jan 30 17:32:12 EST 2006

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

More information about the Haskell-prime mailing list