From 3b7216763120d9bda4aaaa0912e4c9f313a76e6f Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Wed, 26 Nov 2025 13:46:12 +0100
Subject: [PATCH] remove chain rule removal from constructor generator for
 syntax rules

---
 .../lang/rascalcore/check/CollectSyntaxDeclaration.rsc       | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/org/rascalmpl/compiler/lang/rascalcore/check/CollectSyntaxDeclaration.rsc b/src/org/rascalmpl/compiler/lang/rascalcore/check/CollectSyntaxDeclaration.rsc
index 6a474472b4..e720009ebe 100644
--- a/src/org/rascalmpl/compiler/lang/rascalcore/check/CollectSyntaxDeclaration.rsc
+++ b/src/org/rascalmpl/compiler/lang/rascalcore/check/CollectSyntaxDeclaration.rsc
@@ -153,9 +153,6 @@ private bool isTerminalSym((Sym) `(<Sym symbol1> <Sym symbol2>)`) = isTerminalSy
 private bool isTerminalSym((Sym) `()`) = true;
 private default bool isTerminalSym(Sym s) =  s is characterClass || s is literal || s is caseInsensitiveLiteral;
 
-private AType removeChainRule(aprod(prod(AType adt1,[AType adt2]))) = adt2 when isNonTerminalAType(adt2);
-private default AType removeChainRule(AType t) = t;
-
 void collect(current: (Prod) `<ProdModifier* modifiers> <Name name> : <Sym* syms>`, Collector c){
     symbols = [sym | sym <- syms, !(sym is empty)];
 
@@ -192,7 +189,7 @@ void collect(current: (Prod) `<ProdModifier* modifiers> <Name name> : <Sym* syms
                                !isTerminalSym(sym),
                                tsym := s.getType(sym),
                                isNonTerminalAType(tsym),
-                               stp := getSyntaxType(removeChainRule(tsym), s)
+                               stp := getSyntaxType(tsym, s)
                              ];
 
                     def = \start(sdef) := def ? sdef : def;