[m-rev.] for review: state vars syntax sugar

[Ralph Becket]

Peter Schachte, Thursday, 25 January 2007:
> 
> To put in an early shot in the upcoming battle, I think Peter Hawkins had a
> good point:  these aren't just any old pairs of arguments, they form a thread.
>  As such, the initial inst of the first arg must match the final inst of the
> second.  We should be able to take advantage of that.  Also, the initial inst
> of the second argument should probably always be free (any counterexamples?).

What about running DCGs "backwards"?  We might want to do the same with
state variables.

-- Ralph
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------