[m-rev.] diff: s/inst_id/inst_ctor/ s/mode_id/mode_ctor/

[Zoltan Somogyi]

This should not need review.

Next, I would also like to fix the type

:- type sym_name_and_arity
    --->    sym_name_arity(sym_name, arity).

and its pf_sym_name_and_arity brother. When I work with
code using this type, I am always tripped up by the fact that
the type name and the function symbol name differ by the presence
of the "and_" in the type name. Even when I remember that there is
this difference, I tend to forget *which* name has the "and_" and
which doesn't.

The obvious thing to do is to standardize on either the presence or the
absence of the "and_". I propose the absence, since that leads to fewer
long lines that need to be wrapped. Any objections?

As mentioned in a recent XXX, I would also replace all uses of the old
simple_call_id with the recent pf_sym_name_and_arity type (or its "and_"-less
version, depending on the choice above), which is isomorphic to it,
but whose name does imply that it is specifying something being called.
Again, are there any objection to this?

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.ctor
Type: application/octet-stream
Size: 578 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20200315/4198eb72/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.ctor
Type: application/octet-stream
Size: 53033 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20200315/4198eb72/attachment-0003.obj>