[Haskell] Re: Question for the haskell implementors: Arrays, unsafePerformIO, runST

John Meacham john at repetae.net
Tue Feb 21 05:51:32 EST 2006

On Tue, Feb 21, 2006 at 10:15:59AM +0000, Malcolm Wallace wrote:
> John Meacham <john at repetae.net> 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 Meacham - ⑆repetae.net⑆john⑈

More information about the Haskell mailing list