[m-rev.] promises, promises
Mark Brown
mark at cs.mu.OZ.AU
Fri Dec 16 15:32:50 AEDT 2005
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
--------------------------------------------------------------------------
More information about the reviews
mailing list