On 1/30/06, [EMAIL PROTECTED] <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED]>
"Computer science is no more about computers than astronomy is about
telescopes."
    -- Edsger Dijkstra
_______________________________________________
Haskell-prime mailing list
[email protected]
http://haskell.org/mailman/listinfo/haskell-prime

Reply via email to