[m-rev.] for post-commit review: clarify wording in manual

[Zoltan Somogyi]

The reason I looked at this part of the manual was because
in the course of working on something else, I looked at the
code adding initialise and finalise preds to the HLDS, and
I found it strange that this code does NOT insist on
the symname/arity pair specified in an initialise or finalise
declaration actually being a predicate; it would happily accept
a function whose arg list, after the conversion of the function
to predicate form, matches the compiler's expectations.

The documentation does say that initialise and finalise
declarations should specify predicates, not functions.
Would anyone object if I changed the code to enforce this?

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.order
Type: application/octet-stream
Size: 736 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20210520/3f6c6061/attachment.obj>