21 Feb
2006
21 Feb
'06
10:15 a.m.
John Meacham <john@repetae.net> 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