Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[mlir] Change end of OperationDefinition. #77273

Merged
merged 1 commit into from Jan 10, 2024
Merged

[mlir] Change end of OperationDefinition. #77273

merged 1 commit into from Jan 10, 2024

Commits on Jan 8, 2024

  1. [mlir] Change end of OperationDefinition. 

    Store the last token parsed in the parser state so that the range parsed can
utilize its end rather than the start of the token after parsed. This results
in a tighter range return (especially true in the case of comments, see
https://gist.github.com/jpienaar/9598339b504157b189c3a3c38314a703 for example
of effect of change).
    @jpienaar
    jpienaar committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    6a9eb92 View commit details
    Browse the repository at this point in the history