lrama 0.7.1 → 0.8.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: b9da05580a6b043f3aed0b59a8960a121b492fb12f206c305c158db5159a2ec0
-  data.tar.gz: 2021675193cc9cda3e60b0b8102f5105502abd9d7dd539d37748554d80ce09bb
+  metadata.gz: b4f465954bd574e3af961a8f81fabc1f09623e33a2713d61ebf81e0f3c0157c6
+  data.tar.gz: 21003fa125c6b7104321ddd8e4ed9d987f084a6091e2aabde380db3e75412032
 SHA512:
-  metadata.gz: 4bf20bb095d05dff1d433b1cbb28f6245e9abe162adbc26f19970344d9a1adcb582a43168c29709b765927ffebbc6272c6098561afeb9d536af778da42dfef81
-  data.tar.gz: 916d2dd4cb22e88b8bc543a8bc26b7246eada1beb7065d5ece965ffe143bcb06689480733e0ba969e5ba90a20e65af9ff7a288b4c27391b74224044d8d1e5452
+  metadata.gz: c70043eda6fc7daa5bb810d0d387d0cdda7d9d141e7b279894975b0084435c0b12eaeaaad0b6a15c3d6cf2eb7e67d110db9b153586b3452a56dd36aa4a9e106c
+  data.tar.gz: 0a2ab263ce326971b685497d200e2ca118a07808302f310066b8365d9727fc384f04b1c09a1311cc4930d79af8f7f1dc50c327c298f512d5408c59b5c8aeae93

data/Gemfile

@@ -17,7 +17,7 @@ gem "stackprof", platforms: [:ruby] # stackprof doesn't support Windows
 # Recent steep requires Ruby >= 3.0.0.
 # Then skip install on some CI jobs.
 if !ENV['GITHUB_ACTION'] || ENV['INSTALL_STEEP'] == 'true'
-  gem "rbs", "3.9.5", require: false
+  gem "rbs", "3.10.0", require: false
   gem "rbs-inline", require: false
   gem "steep", "1.10.0", require: false
 end

data/NEWS.md

@@ -1,5 +1,45 @@
 # NEWS for Lrama
 
+## Lrama 0.8.0 (2026-03-01)
+
+### Support parser generation without %union directive (Bison compatibility)
+
+When writing simple parsers or prototypes, defining `%union` can be cumbersome and unnecessary.
+Lrama now supports generating parsers without the `%union` directive, defaulting `YYSTYPE` to `int`, the same behavior as Bison.
+
+When `%union` is not defined:
+
+- `YYSTYPE` defaults to `int`
+- Semantic value references are generated without union member access
+- The generated parser behaves identically to Bison-generated parsers
+
+https://github.com/ruby/lrama/pull/765
+
+### Allow named references on parameterized rule calls inside %rule
+
+Named references (e.g. `[opt]`) can now be used with parameterized rule calls inside a `%rule` body.
+Previously, writing `f_opt_arg(value)[opt]` inside a `%rule` resulted in a parse error.
+
+```yacc
+%rule example(X): f_opt_arg(X)[opt] { $$ = $opt; }
+                ;
+```
+
+https://github.com/ruby/lrama/pull/778
+
+### Fix nested parameterized rule calls in subsequent argument positions
+
+Nested parameterized rule calls (e.g. `f_opt(number)`) can now appear in any argument position, not only the first one.
+Previously, using a nested call as the second or later argument caused a parse error.
+
+```yacc
+%%
+program: args_list(f_opt(number), opt_tail(string), number)
+       ;
+```
+
+https://github.com/ruby/lrama/pull/779
+
 ## Lrama 0.7.1 (2025-12-24)
 
 ### Optimize IELR

data/README.md

@@ -11,7 +11,8 @@ Lrama (pronounced in the same way as the noun “llama” in English) is LALR (1
 - [Usage](#usage)
 - [Documentation](#documentation)
 - [Versions and Branches](#versions-and-branches)
-  - [v0\_7 (`master` branch)](#v0_7-master-branch)
+  - [v0\_8 (`master` branch)](#v0_8-master-branch)
+  - [v0\_7 (`lrama_0_7` branch)](#v0_7-lrama_0_7-branch)
   - [v0\_6 (`lrama_0_6` branch)](#v0_6-lrama_0_6-branch)
   - [v0\_5 (`lrama_0_5` branch)](#v0_5-lrama_0_5-branch)
   - [v0\_4 (`lrama_0_4` branch)](#v0_4-lrama_0_4-branch)
@@ -84,9 +85,13 @@ https://ruby.github.io/lrama/ provides a comprehensive guide to Lrama's features
 
 ## Versions and Branches
 
-### v0_7 (`master` branch)
+### v0_8 (`master` branch)
 
-This branch is for Ruby 3.5. `lrama_0_7` branch is created from this branch, once Ruby 3.5 is released.
+This branch is for Ruby 4.1. `lrama_0_8` branch is created from this branch, once Ruby 4.1 is released.
+
+### v0_7 (`lrama_0_7` branch)
+
+This branch is for Ruby 4.0.
 
 ### v0_6 (`lrama_0_6` branch)
 

data/lib/lrama/grammar/binding.rb

@@ -30,6 +30,7 @@ module Lrama
       def create_instantiate_rule(sym)
         Lrama::Lexer::Token::InstantiateRule.new(
           s_value: sym.s_value,
+          alias_name: sym.alias_name,
           location: sym.location,
           args: resolve_args(sym.args),
           lhs_tag: sym.lhs_tag

data/lib/lrama/grammar/code/rule_action.rb

@@ -11,11 +11,13 @@ module Lrama
         #
         # @rbs!
         #   @rule: Rule
+        #   @grammar: Grammar
 
-        # @rbs (type: ::Symbol, token_code: Lexer::Token::UserCode, rule: Rule) -> void
-        def initialize(type:, token_code:, rule:)
+        # @rbs (type: ::Symbol, token_code: Lexer::Token::UserCode, rule: Rule, grammar: Grammar) -> void
+        def initialize(type:, token_code:, rule:, grammar:)
           super(type: type, token_code: token_code)
           @rule = rule
+          @grammar = grammar
         end
 
         private
@@ -53,9 +55,15 @@ module Lrama
           case
           when ref.type == :dollar && ref.name == "$" # $$
             tag = ref.ex_tag || lhs.tag
-            raise_tag_not_found_error(ref) unless tag
-            # @type var tag: Lexer::Token::Tag
-            "(yyval.#{tag.member})"
+            if tag
+              # @type var tag: Lexer::Token::Tag
+              "(yyval.#{tag.member})"
+            elsif union_not_defined?
+              # When %union is not defined, YYSTYPE defaults to int
+              "(yyval)"
+            else
+              raise_tag_not_found_error(ref)
+            end
           when ref.type == :at && ref.name == "$" # @$
             "(yyloc)"
           when ref.type == :index && ref.name == "$" # $:$
@@ -63,9 +71,15 @@ module Lrama
           when ref.type == :dollar # $n
             i = -position_in_rhs + ref.index
             tag = ref.ex_tag || rhs[ref.index - 1].tag
-            raise_tag_not_found_error(ref) unless tag
-            # @type var tag: Lexer::Token::Tag
-            "(yyvsp[#{i}].#{tag.member})"
+            if tag
+              # @type var tag: Lexer::Token::Tag
+              "(yyvsp[#{i}].#{tag.member})"
+            elsif union_not_defined?
+              # When %union is not defined, YYSTYPE defaults to int
+              "(yyvsp[#{i}])"
+            else
+              raise_tag_not_found_error(ref)
+            end
           when ref.type == :at # @n
             i = -position_in_rhs + ref.index
             "(yylsp[#{i}])"
@@ -99,6 +113,11 @@ module Lrama
           @rule.lhs
         end
 
+        # @rbs () -> bool
+        def union_not_defined?
+          @grammar.union.nil?
+        end
+
         # @rbs (Reference ref) -> bot
         def raise_tag_not_found_error(ref)
           raise "Tag is not specified for '$#{ref.value}' in '#{@rule.display_name}'"

data/lib/lrama/grammar/rule.rb

@@ -104,11 +104,11 @@ module Lrama
         id == 0
       end
 
-      # @rbs () -> String?
-      def translated_code
+      # @rbs (Grammar grammar) -> String?
+      def translated_code(grammar)
         return nil unless token_code
 
-        Code::RuleAction.new(type: :rule_action, token_code: token_code, rule: self).translated_code
+        Code::RuleAction.new(type: :rule_action, token_code: token_code, rule: self, grammar: grammar).translated_code
       end
 
       # @rbs () -> bool

data/lib/lrama/output.rb

@@ -246,7 +246,7 @@ module Lrama
         <<-STR
   case #{rule.id + 1}: /* #{rule.as_comment}  */
 #line #{code.line} "#{@grammar_file_path}"
-#{spaces}{#{rule.translated_code}}
+#{spaces}{#{rule.translated_code(@grammar)}}
 #line [@oline@] [@ofile@]
     break;
 

data/lib/lrama/parser.rb

@@ -655,7 +655,7 @@ end
 module Lrama
   class Parser < Racc::Parser
 
-module_eval(<<'...end parser.y/module_eval...', 'parser.y', 504)
+module_eval(<<'...end parser.y/module_eval...', 'parser.y', 505)
 
 include Lrama::Tracer::Duration
 
@@ -765,16 +765,17 @@ racc_action_table = [
     52,   110,   105,    53,    53,    52,    52,   110,   105,    53,
     53,    52,    52,   110,   105,    53,    53,    52,    52,   110,
    105,    53,    53,    52,    52,   110,   110,    53,    53,    52,
-   209,   110,   110,    53,    53,   209,    52,   110,   110,    53,
-    53,   209,    52,   110,   193,   194,   195,   137,   216,   222,
-   229,   217,   217,   217,    53,    53,    52,    52,   193,   194,
-   195,    57,    57,    57,    57,    66,    67,    68,    69,    70,
-    72,    72,    72,    86,    89,    47,    57,    57,   113,   117,
-   117,    79,   123,   124,   131,    47,   133,   137,   139,   143,
-   149,   150,   151,   152,   133,   155,   156,   157,   110,   166,
-   149,   169,   172,   173,    72,   175,   176,   183,   189,   166,
-   196,   137,   200,   202,   137,   166,   211,   166,   137,    72,
-   176,   218,   176,    72,    72,   227,   137,    72 ]
+   209,   110,   110,    53,    53,   209,   225,   110,   110,    53,
+    53,   209,   209,   110,   110,   193,   194,   195,   137,   216,
+   222,   232,   217,   217,   217,   235,    57,    53,   217,    52,
+    53,    53,    52,    52,   193,   194,   195,    57,    57,    57,
+    66,    67,    68,    69,    70,    72,    72,    72,    86,    89,
+    47,    57,    57,   113,   117,   117,    79,   123,   124,   131,
+    47,   133,   137,   139,   143,   149,   150,   151,   152,   133,
+   155,   156,   157,   110,   166,   149,   169,   172,   173,    72,
+   175,   176,   183,   189,   166,   196,   137,   200,   202,   137,
+   166,   211,   166,   137,    72,   176,   218,   176,    72,   137,
+   228,   137,    72,   231,    72 ]
 
 racc_action_check = [
     51,    97,    51,    97,    41,    75,   165,    75,   165,    75,
@@ -798,119 +799,120 @@ racc_action_check = [
     78,    65,    78,    65,    65,   106,    79,   106,    79,   106,
    106,   118,   180,   118,   180,   118,   180,   188,   196,   188,
    196,   188,   196,   202,   217,   202,   217,   202,   217,   218,
-   113,   218,   113,   218,   186,   186,   186,   186,   208,   213,
-   226,   208,   213,   226,   114,   123,   114,   123,   210,   210,
-   210,    24,    25,    26,    27,    28,    29,    30,    31,    32,
-    33,    34,    35,    40,    42,    47,    55,    60,    71,    74,
-    76,    80,    81,    87,    91,    92,    93,    94,   102,   116,
-   124,   125,   126,   127,   133,   136,   137,   138,   144,   150,
-   151,   153,   156,   158,   162,   163,   164,   170,   174,   176,
-   178,   179,   182,   184,   187,   189,   199,   200,   204,   205,
-   207,   209,   212,   214,   216,   221,   222,   228 ]
+   231,   218,   231,   218,   231,   186,   186,   186,   186,   208,
+   213,   227,   208,   213,   227,   234,    24,   113,   234,   113,
+   114,   123,   114,   123,   210,   210,   210,    25,    26,    27,
+    28,    29,    30,    31,    32,    33,    34,    35,    40,    42,
+    47,    55,    60,    71,    74,    76,    80,    81,    87,    91,
+    92,    93,    94,   102,   116,   124,   125,   126,   127,   133,
+   136,   137,   138,   144,   150,   151,   153,   156,   158,   162,
+   163,   164,   170,   174,   176,   178,   179,   182,   184,   187,
+   189,   199,   200,   204,   205,   207,   209,   212,   214,   216,
+   221,   222,   224,   225,   229 ]
 
 racc_action_pointer = [
     32,    23,    52,    93,   nil,    31,    63,   nil,   123,    68,
     74,    84,   103,   165,    94,   111,   123,   135,   141,   nil,
-   nil,   nil,   nil,   nil,   215,   216,   217,   218,   230,   231,
-   232,   233,   234,   232,   233,   234,    24,    25,    31,    32,
-   238,    -1,   242,   nil,   nil,   nil,    43,   232,   nil,   nil,
-   nil,    -5,   nil,   nil,   nil,   230,   nil,   nil,   nil,   nil,
-   231,   nil,   nil,   164,   170,   176,   nil,   nil,   nil,   nil,
-   nil,   240,   nil,   171,   241,     2,   242,   nil,   177,   183,
-   243,   244,   nil,   nil,   nil,   nil,   nil,   209,    45,   nil,
-    63,   245,   242,   243,   202,   nil,   nil,    -4,   nil,   nil,
-   nil,   nil,   256,   nil,   nil,   nil,   182,   nil,   nil,   nil,
-   nil,   nil,   nil,   207,   221,   nil,   253,    38,   188,   nil,
-   nil,   nil,   nil,   222,   255,   215,   218,   252,   nil,   nil,
-   nil,   nil,   nil,   251,   nil,   nil,   219,   261,   250,   nil,
-   nil,   nil,   nil,   nil,   261,   nil,   nil,   nil,   -24,   nil,
-   219,   265,   nil,   269,   nil,   nil,   216,   nil,   256,   nil,
-   nil,   nil,   266,   270,   227,     3,   nil,   nil,     3,   nil,
-   228,     9,   nil,   nil,   232,   nil,   229,     3,   236,   226,
-   189,   nil,   236,   nil,   239,   nil,   162,   229,   194,   235,
-    10,   nil,   nil,   nil,   nil,   nil,   195,   nil,   nil,   284,
-   237,    15,   200,   nil,   233,   281,   nil,   241,   173,   247,
-   176,   nil,   243,   174,   285,   nil,   286,   201,   206,   nil,
-   nil,   278,   241,   nil,   nil,   nil,   175,   nil,   289,   nil,
-   nil ]
+   nil,   nil,   nil,   nil,   210,   221,   222,   223,   235,   236,
+   237,   238,   239,   237,   238,   239,    24,    25,    31,    32,
+   243,    -1,   247,   nil,   nil,   nil,    43,   237,   nil,   nil,
+   nil,    -5,   nil,   nil,   nil,   235,   nil,   nil,   nil,   nil,
+   236,   nil,   nil,   164,   170,   176,   nil,   nil,   nil,   nil,
+   nil,   245,   nil,   171,   246,     2,   247,   nil,   177,   183,
+   248,   249,   nil,   nil,   nil,   nil,   nil,   214,    45,   nil,
+    63,   250,   247,   248,   207,   nil,   nil,    -4,   nil,   nil,
+   nil,   nil,   261,   nil,   nil,   nil,   182,   nil,   nil,   nil,
+   nil,   nil,   nil,   224,   227,   nil,   258,    38,   188,   nil,
+   nil,   nil,   nil,   228,   260,   220,   223,   257,   nil,   nil,
+   nil,   nil,   nil,   256,   nil,   nil,   224,   266,   255,   nil,
+   nil,   nil,   nil,   nil,   266,   nil,   nil,   nil,   -24,   nil,
+   224,   270,   nil,   274,   nil,   nil,   221,   nil,   261,   nil,
+   nil,   nil,   271,   275,   232,     3,   nil,   nil,     3,   nil,
+   233,     9,   nil,   nil,   237,   nil,   234,     3,   241,   231,
+   189,   nil,   241,   nil,   244,   nil,   163,   234,   194,   240,
+    10,   nil,   nil,   nil,   nil,   nil,   195,   nil,   nil,   289,
+   242,    15,   200,   nil,   238,   286,   nil,   246,   174,   252,
+   182,   nil,   248,   175,   290,   nil,   244,   201,   206,   nil,
+   nil,   283,   246,   nil,   294,   259,   nil,   176,   nil,   296,
+   nil,   207,   nil,   nil,   180,   nil ]
 
 racc_action_default = [
-    -1,  -136,    -1,    -3,   -10,  -136,  -136,    -2,    -3,  -136,
-   -14,   -14,  -136,  -136,  -136,  -136,  -136,  -136,  -136,   -28,
-   -29,   -34,   -35,   -36,  -136,  -136,  -136,  -136,  -136,  -136,
-  -136,  -136,  -136,   -54,   -54,   -54,  -136,  -136,  -136,  -136,
-  -136,  -136,  -136,   -13,   231,    -4,  -136,   -14,   -16,   -17,
-   -20,  -131,  -100,  -101,  -130,   -18,   -23,   -89,   -24,   -25,
-  -136,   -27,   -37,  -136,  -136,  -136,   -41,   -42,   -43,   -44,
-   -45,   -46,   -55,  -136,   -47,  -136,   -48,   -49,   -92,  -136,
-   -95,   -97,   -98,   -50,   -51,   -52,   -53,  -136,  -136,   -11,
-    -5,    -7,   -14,  -136,   -72,   -15,   -21,  -131,  -132,  -133,
-  -134,   -19,  -136,   -26,   -30,   -31,   -32,   -38,   -87,   -88,
-  -135,   -39,   -40,  -136,   -56,   -58,   -60,  -136,   -83,   -85,
-   -93,   -94,   -96,  -136,  -136,  -136,  -136,  -136,    -6,    -8,
-    -9,  -128,  -104,  -102,  -105,   -73,  -136,  -136,  -136,   -90,
-   -33,   -59,   -57,   -61,   -80,   -86,   -84,   -99,  -136,   -66,
-   -70,  -136,   -12,  -136,  -103,  -109,  -136,   -22,  -136,   -62,
-   -81,   -82,   -54,  -136,   -64,   -68,   -71,   -74,  -136,  -129,
-  -106,  -107,  -127,   -91,  -136,   -67,   -70,   -72,  -100,   -72,
-  -136,  -124,  -136,  -109,  -100,  -110,   -72,   -72,  -136,   -70,
-   -69,   -75,   -76,  -116,  -117,  -118,  -136,   -78,   -79,  -136,
-   -70,  -108,  -136,  -111,   -72,   -54,  -115,   -63,  -136,  -100,
-  -119,  -125,   -65,  -136,   -54,  -114,   -54,  -136,  -136,  -120,
-  -121,  -136,   -72,  -112,   -77,  -122,  -136,  -126,   -54,  -123,
-  -113 ]
+    -1,  -137,    -1,    -3,   -10,  -137,  -137,    -2,    -3,  -137,
+   -14,   -14,  -137,  -137,  -137,  -137,  -137,  -137,  -137,   -28,
+   -29,   -34,   -35,   -36,  -137,  -137,  -137,  -137,  -137,  -137,
+  -137,  -137,  -137,   -54,   -54,   -54,  -137,  -137,  -137,  -137,
+  -137,  -137,  -137,   -13,   236,    -4,  -137,   -14,   -16,   -17,
+   -20,  -132,  -100,  -101,  -131,   -18,   -23,   -89,   -24,   -25,
+  -137,   -27,   -37,  -137,  -137,  -137,   -41,   -42,   -43,   -44,
+   -45,   -46,   -55,  -137,   -47,  -137,   -48,   -49,   -92,  -137,
+   -95,   -97,   -98,   -50,   -51,   -52,   -53,  -137,  -137,   -11,
+    -5,    -7,   -14,  -137,   -72,   -15,   -21,  -132,  -133,  -134,
+  -135,   -19,  -137,   -26,   -30,   -31,   -32,   -38,   -87,   -88,
+  -136,   -39,   -40,  -137,   -56,   -58,   -60,  -137,   -83,   -85,
+   -93,   -94,   -96,  -137,  -137,  -137,  -137,  -137,    -6,    -8,
+    -9,  -129,  -104,  -102,  -105,   -73,  -137,  -137,  -137,   -90,
+   -33,   -59,   -57,   -61,   -80,   -86,   -84,   -99,  -137,   -66,
+   -70,  -137,   -12,  -137,  -103,  -109,  -137,   -22,  -137,   -62,
+   -81,   -82,   -54,  -137,   -64,   -68,   -71,   -74,  -137,  -130,
+  -106,  -107,  -128,   -91,  -137,   -67,   -70,   -72,  -100,   -72,
+  -137,  -125,  -137,  -109,  -100,  -110,   -72,   -72,  -137,   -70,
+   -69,   -75,   -76,  -116,  -117,  -118,  -137,   -78,   -79,  -137,
+   -70,  -108,  -137,  -111,   -72,   -54,  -115,   -63,  -137,  -100,
+  -119,  -126,   -65,  -137,   -54,  -114,   -72,  -137,  -137,  -120,
+  -121,  -137,   -72,  -112,   -54,  -100,  -122,  -137,  -127,   -54,
+   -77,  -137,  -124,  -113,  -137,  -123 ]
 
 racc_goto_table = [
     73,   118,   136,    54,    48,    49,   164,    96,    91,   120,
-   121,    93,   187,   148,   107,   111,   112,   119,   134,   171,
-    56,    58,    59,     3,    61,     7,    78,    78,    78,    78,
-    62,    63,    64,    65,   115,    74,    76,   192,     1,   129,
-   168,    95,   187,   118,   118,   207,   204,   201,    77,    83,
-    84,    85,   128,   138,   147,    93,   212,   140,   154,   145,
-   146,   101,   130,   116,    42,   127,   103,   208,    78,    78,
-   219,     9,    51,   213,   141,   142,    45,    71,   159,   144,
-   190,   160,   161,   102,   158,   191,   132,   197,   122,   226,
-   170,   177,   220,   199,   203,   205,   221,   186,   153,   nil,
+   121,    93,   187,   208,   107,   111,   112,   119,   134,   213,
+    56,    58,    59,   171,    61,     1,    78,    78,    78,    78,
+    62,    63,    64,    65,   115,   227,   129,   192,   148,    74,
+    76,    95,   187,   118,   118,   207,   204,     3,   234,     7,
+   130,   201,   128,   138,   147,    93,   212,   140,   154,   145,
+   146,   101,     9,   116,    42,   168,   103,    45,    78,    78,
+   219,   127,    51,    71,   141,   142,    77,    83,    84,    85,
+   159,   144,   190,   160,   161,   191,   132,   197,   102,   158,
+   122,   177,   170,   220,   203,   205,   199,   186,   221,   153,
    nil,   nil,   nil,   116,   116,   nil,   198,   nil,   nil,   nil,
    nil,   nil,   214,    78,   206,   nil,   177,   nil,   nil,   nil,
-   nil,   nil,   210,   nil,   nil,   nil,   nil,   186,   210,   174,
-   228,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
-   nil,   nil,   nil,   225,   210,   nil,   nil,   nil,   nil,   nil,
-   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   210,   nil,   224,   nil,   nil,   186,   210,   174,
+   229,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   226,   210,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   210,   nil,   nil,
    nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
    nil,   nil,   215,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
-   nil,   223,   nil,   224,   nil,   nil,   nil,   nil,   nil,   nil,
-   nil,   nil,   nil,   nil,   nil,   230 ]
+   nil,   223,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   230,   nil,   nil,   nil,   nil,   233 ]
 
 racc_goto_check = [
     29,    22,    42,    31,    14,    14,    35,    16,     8,    48,
-    48,    13,    40,    34,    24,    24,    24,    45,    52,    54,
-    18,    18,    18,     6,    17,     6,    31,    31,    31,    31,
-    17,    17,    17,    17,    30,    26,    26,    38,     1,     5,
-    34,    14,    40,    22,    22,    35,    38,    54,    27,    27,
-    27,    27,     8,    16,    48,    13,    35,    24,    52,    45,
-    45,    18,     9,    31,    10,    11,    17,    39,    31,    31,
-    38,     7,    15,    39,    30,    30,     7,    25,    32,    33,
-    36,    43,    44,    46,    47,    42,    14,    42,    50,    39,
-    53,    22,    55,    56,    42,    42,    57,    22,    58,   nil,
+    48,    13,    40,    39,    24,    24,    24,    45,    52,    39,
+    18,    18,    18,    54,    17,     1,    31,    31,    31,    31,
+    17,    17,    17,    17,    30,    39,     5,    38,    34,    26,
+    26,    14,    40,    22,    22,    35,    38,     6,    39,     6,
+     9,    54,     8,    16,    48,    13,    35,    24,    52,    45,
+    45,    18,     7,    31,    10,    34,    17,     7,    31,    31,
+    38,    11,    15,    25,    30,    30,    27,    27,    27,    27,
+    32,    33,    36,    43,    44,    42,    14,    42,    46,    47,
+    50,    22,    53,    55,    42,    42,    56,    22,    57,    58,
    nil,   nil,   nil,    31,    31,   nil,    22,   nil,   nil,   nil,
    nil,   nil,    42,    31,    22,   nil,    22,   nil,   nil,   nil,
-   nil,   nil,    22,   nil,   nil,   nil,   nil,    22,    22,    29,
+   nil,   nil,    22,   nil,    42,   nil,   nil,    22,    22,    29,
     42,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
    nil,   nil,   nil,    22,    22,   nil,   nil,   nil,   nil,   nil,
-   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,    22,   nil,   nil,
    nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
    nil,   nil,    29,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
-   nil,    29,   nil,    29,   nil,   nil,   nil,   nil,   nil,   nil,
-   nil,   nil,   nil,   nil,   nil,    29 ]
+   nil,    29,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,    29,   nil,   nil,   nil,   nil,    29 ]
 
 racc_goto_pointer = [
-   nil,    38,   nil,   nil,   nil,   -52,    23,    68,   -38,   -29,
-    60,   -24,   nil,   -35,    -6,    59,   -44,     6,     6,   nil,
-   nil,   nil,   -74,   nil,   -49,    44,     1,    12,   nil,   -33,
-   -39,   -10,   -66,   -37,  -111,  -144,   -96,   nil,  -140,  -129,
-  -159,   nil,   -92,   -63,   -62,   -58,    26,   -55,   -69,   nil,
-     8,   nil,   -75,   -65,  -136,  -118,   -88,  -115,   -33 ]
+   nil,    25,   nil,   nil,   nil,   -55,    47,    59,   -38,   -41,
+    60,   -18,   nil,   -35,    -6,    59,   -44,     6,     6,   nil,
+   nil,   nil,   -74,   nil,   -49,    40,     5,    40,   nil,   -33,
+   -39,   -10,   -64,   -35,   -86,  -144,   -94,   nil,  -140,  -183,
+  -159,   nil,   -92,   -61,   -60,   -58,    31,   -50,   -69,   nil,
+    10,   nil,   -75,   -63,  -132,  -117,   -85,  -113,   -32 ]
 
 racc_goto_default = [
    nil,   nil,     2,     8,    90,   nil,   nil,   nil,   nil,   nil,
@@ -998,7 +1000,7 @@ racc_reduce_table = [
   1, 94, :_reduce_74,
   3, 94, :_reduce_75,
   3, 94, :_reduce_76,
-  6, 94, :_reduce_77,
+  7, 94, :_reduce_77,
   3, 94, :_reduce_78,
   3, 94, :_reduce_79,
   0, 102, :_reduce_none,
@@ -1044,23 +1046,24 @@ racc_reduce_table = [
   1, 113, :_reduce_none,
   2, 97, :_reduce_121,
   3, 97, :_reduce_122,
-  4, 97, :_reduce_123,
-  0, 114, :_reduce_124,
-  0, 115, :_reduce_125,
-  5, 98, :_reduce_126,
-  3, 95, :_reduce_127,
-  0, 116, :_reduce_128,
-  3, 63, :_reduce_129,
+  6, 97, :_reduce_123,
+  4, 97, :_reduce_124,
+  0, 114, :_reduce_125,
+  0, 115, :_reduce_126,
+  5, 98, :_reduce_127,
+  3, 95, :_reduce_128,
+  0, 116, :_reduce_129,
+  3, 63, :_reduce_130,
   1, 73, :_reduce_none,
   0, 74, :_reduce_none,
   1, 74, :_reduce_none,
   1, 74, :_reduce_none,
   1, 74, :_reduce_none,
-  1, 101, :_reduce_135 ]
+  1, 101, :_reduce_136 ]
 
-racc_reduce_n = 136
+racc_reduce_n = 137
 
-racc_shift_n = 231
+racc_shift_n = 236
 
 racc_token_table = {
   false => 0,
@@ -1828,7 +1831,7 @@ module_eval(<<'.,.,', 'parser.y', 274)
   def _reduce_77(val, _values, result)
               on_action_error("intermediate %prec in a rule", val[1]) if @trailing_prec_seen
           builder = val[0]
-          builder.symbols << Lrama::Lexer::Token::InstantiateRule.new(s_value: val[1].s_value, location: @lexer.location, args: val[3], lhs_tag: val[5])
+          builder.symbols << Lrama::Lexer::Token::InstantiateRule.new(s_value: val[1].s_value, alias_name: val[5], location: @lexer.location, args: val[3], lhs_tag: val[6])
           result = builder
 
     result
@@ -2192,13 +2195,20 @@ module_eval(<<'.,.,', 'parser.y', 457)
 
 module_eval(<<'.,.,', 'parser.y', 458)
   def _reduce_123(val, _values, result)
-     result = [Lrama::Lexer::Token::InstantiateRule.new(s_value: val[0].s_value, location: @lexer.location, args: val[2])]
+     result = val[0].append(Lrama::Lexer::Token::InstantiateRule.new(s_value: val[2].s_value, location: @lexer.location, args: val[4]))
     result
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 463)
+module_eval(<<'.,.,', 'parser.y', 459)
   def _reduce_124(val, _values, result)
+     result = [Lrama::Lexer::Token::InstantiateRule.new(s_value: val[0].s_value, location: @lexer.location, args: val[2])]
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 464)
+  def _reduce_125(val, _values, result)
               if prec_seen?
             on_action_error("multiple User_code after %prec", val[0]) if @code_after_prec
             @code_after_prec = true
@@ -2209,39 +2219,39 @@ module_eval(<<'.,.,', 'parser.y', 463)
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 471)
-  def _reduce_125(val, _values, result)
+module_eval(<<'.,.,', 'parser.y', 472)
+  def _reduce_126(val, _values, result)
               end_c_declaration
 
     result
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 475)
-  def _reduce_126(val, _values, result)
+module_eval(<<'.,.,', 'parser.y', 476)
+  def _reduce_127(val, _values, result)
               result = val[2]
 
     result
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 478)
-  def _reduce_127(val, _values, result)
+module_eval(<<'.,.,', 'parser.y', 479)
+  def _reduce_128(val, _values, result)
      result = val[1].s_value
     result
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 483)
-  def _reduce_128(val, _values, result)
+module_eval(<<'.,.,', 'parser.y', 484)
+  def _reduce_129(val, _values, result)
               begin_c_declaration('\Z')
 
     result
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 487)
-  def _reduce_129(val, _values, result)
+module_eval(<<'.,.,', 'parser.y', 488)
+  def _reduce_130(val, _values, result)
               end_c_declaration
           @grammar.epilogue_first_lineno = val[0].first_line + 1
           @grammar.epilogue = val[2].s_value
@@ -2250,8 +2260,6 @@ module_eval(<<'.,.,', 'parser.y', 487)
   end
 .,.,
 
-# reduce 130 omitted
-
 # reduce 131 omitted
 
 # reduce 132 omitted
@@ -2260,8 +2268,10 @@ module_eval(<<'.,.,', 'parser.y', 487)
 
 # reduce 134 omitted
 
-module_eval(<<'.,.,', 'parser.y', 499)
-  def _reduce_135(val, _values, result)
+# reduce 135 omitted
+
+module_eval(<<'.,.,', 'parser.y', 500)
+  def _reduce_136(val, _values, result)
      result = Lrama::Lexer::Token::Ident.new(s_value: val[0].s_value)
     result
   end

data/lib/lrama/version.rb

@@ -2,5 +2,5 @@
 # frozen_string_literal: true
 
 module Lrama
-  VERSION = "0.7.1".freeze #: String
+  VERSION = "0.8.0".freeze #: String
 end

data/parser.y

@@ -270,11 +270,11 @@ rule
           builder.symbols << Lrama::Lexer::Token::InstantiateRule.new(s_value: val[2], location: @lexer.location, args: [val[1]])
           result = builder
         }
-    | rule_rhs IDENTIFIER "(" parameterized_args ")" TAG?
+    | rule_rhs IDENTIFIER "(" parameterized_args ")" named_ref? TAG?
         {
           on_action_error("intermediate %prec in a rule", val[1]) if @trailing_prec_seen
           builder = val[0]
-          builder.symbols << Lrama::Lexer::Token::InstantiateRule.new(s_value: val[1].s_value, location: @lexer.location, args: val[3], lhs_tag: val[5])
+          builder.symbols << Lrama::Lexer::Token::InstantiateRule.new(s_value: val[1].s_value, alias_name: val[5], location: @lexer.location, args: val[3], lhs_tag: val[6])
           result = builder
         }
     | rule_rhs action named_ref?
@@ -456,6 +456,7 @@ rule
           end
         }
     | parameterized_args ',' symbol { result = val[0].append(val[2]) }
+    | parameterized_args ',' IDENTIFIER "(" parameterized_args ")" { result = val[0].append(Lrama::Lexer::Token::InstantiateRule.new(s_value: val[2].s_value, location: @lexer.location, args: val[4])) }
     | IDENTIFIER "(" parameterized_args ")" { result = [Lrama::Lexer::Token::InstantiateRule.new(s_value: val[0].s_value, location: @lexer.location, args: val[2])] }
 
   action:

data/sig/generated/lrama/grammar/code/rule_action.rbs

@@ -6,8 +6,10 @@ module Lrama
       class RuleAction < Code
         @rule: Rule
 
-        # @rbs (type: ::Symbol, token_code: Lexer::Token::UserCode, rule: Rule) -> void
-        def initialize: (type: ::Symbol, token_code: Lexer::Token::UserCode, rule: Rule) -> void
+        @grammar: Grammar
+
+        # @rbs (type: ::Symbol, token_code: Lexer::Token::UserCode, rule: Rule, grammar: Grammar) -> void
+        def initialize: (type: ::Symbol, token_code: Lexer::Token::UserCode, rule: Rule, grammar: Grammar) -> void
 
         private
 
@@ -55,6 +57,9 @@ module Lrama
         # @rbs () -> Grammar::Symbol
         def lhs: () -> Grammar::Symbol
 
+        # @rbs () -> bool
+        def union_not_defined?: () -> bool
+
         # @rbs (Reference ref) -> bot
         def raise_tag_not_found_error: (Reference ref) -> bot
       end

data/sig/generated/lrama/grammar/rule.rbs

@@ -68,8 +68,8 @@ module Lrama
       # @rbs () -> bool
       def initial_rule?: () -> bool
 
-      # @rbs () -> String?
-      def translated_code: () -> String?
+      # @rbs (Grammar grammar) -> String?
+      def translated_code: (Grammar grammar) -> String?
 
       # @rbs () -> bool
       def contains_at_reference?: () -> bool

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: lrama
 version: !ruby/object:Gem::Version
-  version: 0.7.1
+  version: 0.8.0
 platform: ruby
 authors:
 - Yuichiro Kaneko
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2025-12-24 00:00:00.000000000 Z
+date: 2026-03-02 00:00:00.000000000 Z
 dependencies: []
 description: LALR (1) parser generator written by Ruby
 email: