John Meacham <[EMAIL PROTECTED]> wrote:
> I generalized this primitive to
>
> drop__ :: a -> b -> b
Also known in the Prelude as "const"...
The difference is that you propose it be primitive, with the intention
that a clever compiler should not be able to bypass it by inlining its
definition and propagating the loss of the first argument outwards.
Regards,
Malcolm
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
