Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Shell: Avoid position push/pop when checking for next_is()
This operation is not a rule and cannot produce nodes.
- Loading branch information