[m-rev.] for review: pure mutable access predicates

[Julien Fischer]

On Wed, 5 Oct 2005, Ralph Becket wrote:

> Julien Fischer, Wednesday,  5 October 2005:
> >
> > On Wed, 5 Oct 2005, Ian MacLarty wrote:
> > >
> > > I would prefer the pure version to be the default and that there be an
> > > `impure' attribute that generates the impure access predicates.
> >
> > Only one of the access predicates is impure; the other is semipure
> > so perhaps the attribute should be called `nonpure'.
>
> I would vote for something like `attach_to_io_state'...

In place of the `pure' attribute?

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------