Skip to content

Commit

Permalink
Removed duplicate constructor \int(str name)
Browse files Browse the repository at this point in the history
  • Loading branch information
PaulKlint committed Aug 27, 2024
1 parent 05358f7 commit 19c2531
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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"));

Expand Down

0 comments on commit 19c2531

Please sign in to comment.