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

[Julien Fischer]

On Wed, 5 Oct 2005, Julien Fischer wrote:

> On Wed, 5 Oct 2005, Ralph Becket wrote:
>
> > Julien Fischer, Wednesday,  5 October 2005:
> > >
> > > The mutable still won't necessarily be attached to the IO
> > > state - we still generate the nonpure access preds.  Plus
> > > I don't really like that name.
> >
> > I just think `pure' is the wrong name.  What the extra attribute does is
> > construct an extra pair of pure access predicates that adjust the IO
> > state.  It seems to me that the io state should therefore be mentioned
> > in the new attribute name.  Apart from that I'm not really bothered
> > about what name we pick for it.
> >
>
> Well, in the absence of any better suggestions we'll go with
> `attach_to_io_state' then.
>
After some discussion in the office:

	- the attribute name will be `attach_to_io_state'
	- the pure access predicates will be optional

I'll commit the diff after making the change to the name
of the attribute.

Cheers,
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
--------------------------------------------------------------------------