On Tue, Feb 21, 2006 at 10:15:59AM +0000, Malcolm Wallace wrote: > John Meacham <[EMAIL PROTECTED]> wrote: > > > I generalized this primitive to > > > > drop__ :: a -> b -> b > > Also known in the Prelude as "const"...
well, 'flip const' but yes. > 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. sure, well whatever is required on a given compiler to ensure it has the above qualities, which might mean making it a primitive or have it have some compiler-specific pragmas attached. John -- John Meacham - ⑆repetae.net⑆john⑈ _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell