Support #detailed_message for RBS::ParsingError #1166
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Exception#detailed_message
is a new feature supported from Ruby v3.2.0 and above.https://bugs.ruby-lang.org/issues/18564
I would like to propose that this feature be applied to RBS.
CLI usage.
Script usage.
This feature is inspired by error_highlight.
Scope is limited to Ruby 3.2.0 or later and
ParsingError
combinations.To support Ruby 3.1 or earlier, incompatible changes need to be made, so they are out of scope.
It is likely that other errors could also be supported, but I have limited the scope to
ParsingError
only to keep the PR scope small.