[m-rev.] for review: promise scopes (part 1)

[Ralph Becket]

Zoltan Somogyi, Monday, 21 March 2005:
> For review by Ralph. I would like feedback on the reference manual
> in particular.
> 
> Zoltan.
> 
> Replace the some() HLDS goal with a more general scope() goal, which can be
> used not just for existential quantification but also for other purposes.
> 
> The main such purposes are new goal types that allow the programmer
> to annotate arbitrary goals, and not just whole procedure bodies, with the
> equivalents of promise_pure/promise_semipure and promise_only_solution:
> 
> 	promise_pure ( <impure/semipure goal> )
> 	promise_semipure ( <impure goal> )
> 
> 	promise_equivalent_solution [OutVar1, OutVar2] (
> 		<cc_multi/cc_nondet goal that computed OutVar1 & OutVar2>
> 	)
> 
> Both are intended to be helpful in writing constraint solvers, as well as in
> other situations.
> 
> [...]
> compiler/purity.m:
> 	Check code that uses the 

?!

> compiler/passes_aux.m:
> 	Bring this module up to date with ur current style guidelines,
> 	by using state variable syntax where appropriate.

s/ur/our/

The rest of the diff looks fine.

-- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------