Page MenuHomePhabricator
Create Task
Maniphest T404066

Proveit should recognize auto-numbered parameters and handle them in a smarter way
Closed, DeclinedPublic
Actions

Related Objects

Event Timeline

Sophivorus created this task.Sep 9 2025, 11:22 AM
Sophivorus added a comment.Sep 9 2025, 11:25 AM

While T54582 is relevant, it isn't strictly needed to approach this task, as Proveit could recognize auto-numbered parameters with a simple regex.

Sophivorus closed this task as Declined.Sep 9 2025, 11:35 AM

After some thought, I can't think of a much better way to handle numbered parameters than we currently have (currently, we can filter parameters by name or number). Once T54582 is implemented, Proveit will need to be improved to recognize the new template data patterns for numbered parameters. But that's another task.

Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL · Credits