[m-rev.] For review: State Variables

[Simon Taylor]

On 27-Jun-2002, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> Simon Taylor, Thursday, 27 June 2002:
> > On 25-Jun-2002, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> > > diff -u make_hlds.m make_hlds.m
> > > --- make_hlds.m	7 Jun 2002 07:39:12 -0000
> > > +++ make_hlds.m	25 Jun 2002 06:45:05 -0000
> > > @@ -16,9 +16,6 @@
> > >  % super-homogenous form, and introduce implicit quantification.
> > >  % 
> > >  % XXX we should record each error using module_info_incr_errors.
> > > -%
> > > -% XXX For state variables, we should allow quantifiers around if-then-else
> > > -% expressions.
> > 
> > You still haven't handled quantification for if-then-else goals.
> > It's fine to do that as a separate change immediately after you commit.
> 
> Well, it works!  But I've just realized I hadn't submitted the requisite
> diff for prog_io_goal.m which is involved; parse_some_vars_goal now
> wraps the quantified goal with some_state_vars/2 if the quantifier
> includes state variables.  The state variable code for handling
> if-then-else expressions has been changed to allow these state variables
> to scope over the then-goal as well as the condition (see
> prepare_for_if_then_else_expr and friends.)

I was talking about if-then-else _goals_, not expressions.

I also haven't seen any test cases for quantified if-then-else
goals or expressions.

Simon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------