[m-rev.] for review: --warn-actually-ambiguous-pragmas

[Zoltan Somogyi]

For review by Peter, since this diff implements his preferred semantics.

The change to the reference manual updates the documentation
of only one pragma, inline, that does not allow the specification of modes,
and one pragma, type_spec, that does allow them. After the review
of the wording, I intend to make the same changes to the other pragmas
that take name/arity pairs to specify a predicate or function.

Since repeating the text about what happens when a pragma does not
have a pred(...) or func(...) wrapper around the name/arity will get boring
quite fast, I also intend to factor out this text, including it just once in a new
subsection, unless there is an objection.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.pfprag
Type: application/octet-stream
Size: 2065 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20220727/0fc5823f/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.pfprag
Type: application/octet-stream
Size: 49707 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20220727/0fc5823f/attachment-0003.obj>