Implement %inline feature compliant with Menhir specification
#771
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This PR makes Lrama's inline feature compliant with the [Menhir](https://gallium.inria.fr/~fpottier/menhir/) specification. Changed from macro-like substitution (simple string replacement of `$n`) to a temporary variable binding approach. Before: ```c // Simple substitution of $2 with inline_action_string $$ = $1 inline_action_string $3; ``` After: ```c // Variable binding ensures single evaluation YYSTYPE _inline_2; { _inline_2 = '+'; } $$ = $1 _inline_2 $3; ``` This resolves the issue where inline actions with side effects could be evaluated multiple times. Added a Validator that detects the following errors per Menhir specification: - Direct recursion (inline rule references itself) - Mutual recursion (multiple inline rules form a reference cycle) - Start symbol declared as inline Added an option to ignore all `%inline` keywords in the grammar specification. Useful for verifying whether inlining contributes to conflict resolution. Added samples demonstrating the core use case of `%inline` (resolving precedence conflicts): - `sample/calc_inline.y`: Resolves precedence issue with `%inline` - `sample/calc_no_inline.y`: Shows conflicts without `%inline` - [Menhir Reference Manual - Inlining](https://gallium.inria.fr/~fpottier/menhir/manual.html#sec%3Ainlining) - [Menhir GitHub Repository](https://github.com/LexiFi/menhir)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
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.
This PR makes Lrama's inline feature compliant with the Menhir specification.
Key Changes
Menhir-style Variable Binding for Action Merging
Changed from macro-like substitution (simple string replacement of
$n) to a temporary variable binding approach.Before:
After:
This resolves the issue where inline actions with side effects could be evaluated multiple times.
Added Recursion Detection Validator
Added a Validator that detects the following errors per Menhir specification:
Added
--no-inlineOptionAdded an option to ignore all
%inlinekeywords in the grammar specification. Useful for verifying whether inlining contributes to conflict resolution.Added Sample Files
Added samples demonstrating the core use case of
%inline(resolving precedence conflicts):sample/calc_inline.y: Resolves precedence issue with%inlinesample/calc_no_inline.y: Shows conflicts without%inlineReferences