witiko
In the upcoming v0.22.0 release of explcheck, planned for the end of May, I aim to add flow-aware analysis of the expandability of functions and boolean expressions, which we have been building towards over the past several releases.
For users, this will introduce support for the following new issue types:
1. E508 (Unexpandable or restricted-expandable boolean expression)
2. E512 (Defined an unexpandable function as unprotected)
This is another major step towards the first stable release of explcheck. I also plan to publish a blog post describing the underlying algorithm and its trade-offs. The current design is being discussed in https://github.com/Witiko/expltools/issues/215.
Report issues E508 (Unexpandable or restricted-expandable boolean expression) and E512 (Defined an unexpandable function as unprotected) · Issue #215 · Witiko/expltools
This PR continues #201 based on the tasks outlined there: In the syntactic analysis, consider a standalone variable or constant control sequence \⟨name⟩_⟨type⟩ to be a variable use like \⟨type⟩_use...
