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

[Zoltan Somogyi]

2021-05-20 22:48 GMT+10:00 "Julien Fischer" <jfischer at opturion.com>:
>> 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?
> 
> No, go ahead.

Actually, I was mistaken; the code was already enforcing this.
It was screwing up another invariant, which the diff I recently posted
should fix.

Here is another clarification of the manual, as requested by Fabrice.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.univ
Type: application/octet-stream
Size: 1834 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20210524/a1356964/attachment.obj>