[m-rev.] Extended inst syntax documentation

[Ralph Becket]

David Overton, Wednesday, 12 February 2003:
> 
> Lists might not be the clearest example to use here, given the special
> syntax for list construction.  It might be better to use something like
> 
> :- inst maybe ---> no ; yes(ground).

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