Not sure whether this is actually wanted, but it does follow what we already have for $ with APPLY. Infix direction and precedence follows value-level #.
Checklist:
[x] Added the change to the changelog's "Unreleased" section with a reference to this PR (e.g. "- Made a change (#0000)")
[ ] Linked any existing issues or proposals that this pull request should close
[ ] Updated or added relevant documentation
[ ] Added a test for the contribution (if applicable)
Description of the change
Not sure whether this is actually wanted, but it does follow what we already have for
$
with APPLY. Infix direction and precedence follows value-level#
.Checklist: