[m-rev.] promises, promises

[Mark Brown]

On 16-Dec-2005, in another thread, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> Can I suggest we introduce a more general
> 
> :- promise <thing>.
> 
> to the language, rather than a whole pile of
> 
> :- promise_pure ...
> :- promise_semipure ...
> :- promise_impure ...
> 
> etc?
> 
> I think we should do some spring cleaning and migrate promise
> declarations to `:- promise' forms.

Okay, but I think I'll deal with the promise declarations a separate change,
since it is an orthogonal issue.  We should try to consolidate all the
various promise declarations that we support (or partially support).
Offhand, these are:

	- pragma promise_(semi)pure
	- "promise true" declarations
	- promise_exclusive/exhaustive.

Anyone want to suggest a syntax that covers all of these?

Cheers,
Mark.

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