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

Reply via email to