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