fixed dynamic post-parse filtering test

usethesource · May 8, 2024 · 046b09c · 046b09c
1 parent 448a6bc
commit 046b09c
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/src/org/rascalmpl/library/lang/rascal/tests/concrete/Syntax3.rsc b/src/org/rascalmpl/library/lang/rascal/tests/concrete/Syntax3.rsc
@@ -8,11 +8,13 @@ syntax Aas
   | aas: [a][a][a]*
   ;
 
-&T <:Tree ambFilter(amb(set[&T <:Tree] alternatives)) {
-  set[&T <:Tree] result = {a | &T a <- alternatives, !(a is nil)};
-  if ({&T <: Tree oneTree} := result) {
+Aas ambFilter(amb(set[Aas] alternatives)) {
+  set[Aas] result = {a | Aas a <- alternatives, !(a is nil)};
+
+  if ({oneTree} := result) {
     return oneTree;
   }
+
   return ParseTree::amb(result);
 }