[m-dev.] reference manual

[Ian MacLarty]

Hello,

In section 2.9 of the reference manual, I don't think the order of the 
different allowed goals reads very well, especially for new users.

First we have the 'some' and 'all' goals, then we have a whole lot of 
promise goals, then we have the usual declarative goals such as 
conjunction, disjunction, etc.  I think the promise goals should go at 
the end of the list, since they are quite advanced features and not 
nearly as common as disjunction, conjunction etc.

Would anyone object to the order being changed?

Ian.

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------