[module.reach] p3 "any" is ambiguity in the rule
Nobody has claimed this yet.
- Dominant language
- TeX
- Stars
- 221
- Forks
- 813
- Avg merge
- 16h 4m
- Merged PRs (30d)
- 36
Description
[module.reach] p3 says
A declaration is reachable if it is reachable from any point in the instantiation context ([module.context]).
Does "any" in the rule mean
option a
there exists a point from which it is reachable
or
option b
The declaration is reachable from all points in the instantiation context such that the declaration can be reachable from an arbitrary point?
According to the example in [module.context] p7, option a seems to be the right intent. [module.reach] p3 may be an improvement if it is
A declaration is reachable if there exists a point in the instantiation context ([module.context]) from which the declaration is reachable.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with [module.reach] p3 and compare its wording with the example in [module.context] p7. Confirm whether the example supports the existential interpretation, then update the rule so “any” is unambiguous; done means the wording clearly expresses the intended reachability condition.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- tex
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Clearly specified
- Newbie friendliness
- 42/100