From 19c253116902ea720cbf04c2658bb288f6a02956 Mon Sep 17 00:00:00 2001 From: paulklint Date: Tue, 27 Aug 2024 17:08:39 +0200 Subject: [PATCH] Removed duplicate constructor \int(str name) --- .../library/lang/rascal/syntax/tests/ImplodeTests.rsc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/org/rascalmpl/library/lang/rascal/syntax/tests/ImplodeTests.rsc b/src/org/rascalmpl/library/lang/rascal/syntax/tests/ImplodeTests.rsc index 476897ea5e6..61f3813df40 100644 --- a/src/org/rascalmpl/library/lang/rascal/syntax/tests/ImplodeTests.rsc +++ b/src/org/rascalmpl/library/lang/rascal/syntax/tests/ImplodeTests.rsc @@ -12,11 +12,11 @@ import lang::rascal::\syntax::tests::ImplodeTestGrammar; import ParseTree; import Exception; -public data Num(loc src=|unknown:///|, map[int,list[str]] comments = ()) = \int(str n); +public data Num(loc src=|unknown:///|, map[int,list[str]] comments = ()); public data Exp(loc src=|unknown:///|, map[int,list[str]] comments = ()) = id(str name) | eq(Exp e1, Exp e2) | number(Num n); public Exp number(Num::\int("0")) = Exp::number(Num::\int("01")); -public data Number(loc src=|unknown:///|, map[int,list[str]] comments = ()) = \int(str n); +public data Number(loc src=|unknown:///|, map[int,list[str]] comments = ()); public data Expr(loc src=|unknown:///|, map[int,list[str]] comments = ()) = id(str name) | eq(Expr e1, Expr e2) | number(Number n); public Expr number(Number::\int("0")) = Expr::number(Number::\int("02"));