[Chapel Merge] Discuss ref intent in candidate selection

Notifications Commits
1

Branch: refs/heads/master
Revision: 20d5e30
Author: mppf
Log Message:

Merge pull request #16553 from mppf/resolution-discuss-ref

Discuss ref intent in candidate selection

This PR makes several adjustments tot he Function Resolution section of
the Procedures chapter in the spec:

  • Adds a Notation section
  • Updates the Legal Argument Mapping section to include consideration of
    intents; including that ref intent requires the types be the same
  • Updates the discussion about generic formals in Determining More
    Specific Functions to not use the type, since this section reasons
    about instantiated types
  • Updates the notation to use X and Y for the function names; F_X and
    F_Y for the formal names; and T_X and T_Y for the types.
    (Previously it considered F1 and F_1 to be two different things,
    which is confusing).

Reviewed by @vasslitvinov - thanks!

Modified Files:
M doc/rst/language/spec/procedures.rst

Compare: https://github.com/chapel-lang/chapel/compare/47cb2dd24a6b...20d5e307afdb