[m-rev.] for post-commit review: move more pred name creation to pred_name.m

[Zoltan Somogyi]

For review by anyone.

I would like to embed in item_xyz_infos that contain sym_names
that that the parser implicitly quantifies (if the source code did not
do so explicitly) the fact that that these sym_names can never be unqualified.
I can do this either by replacing each sym_name with a module_name
and string pair, or by using a subtype of sym_name, named possibly
qual_sym_name, that rules out unqualified sym_names. The latter
would be the first use of subtypes in the compiler, but it is
semantically nicer.

Peter: I asked a while ago whether you think subtype support
is ready for this, but I don't remember a clear answer. Can you
please tell us whether subtype support has been exercised enough,
and its design is stable enough, for us to rely on it?

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.pn5
Type: application/octet-stream
Size: 4961 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20220215/7f705ed5/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.pn5
Type: application/octet-stream
Size: 95086 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20220215/7f705ed5/attachment-0003.obj>