From 97a5ea4fc16ae01fb78dc925601e000c7d8a703d Mon Sep 17 00:00:00 2001 From: Davy Landman Date: Mon, 5 Oct 2026 10:03:18 +0200 Subject: [PATCH] Disabling a test that doesn't work --- .../library/lang/rascal/syntax/tests/ImplodeTests.rsc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 2c34703b447..99dd93ce638 100644 --- a/src/org/rascalmpl/library/lang/rascal/syntax/tests/ImplodeTests.rsc +++ b/src/org/rascalmpl/library/lang/rascal/syntax/tests/ImplodeTests.rsc @@ -5,6 +5,7 @@ which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html } +@ignore{This module does not work because of #2546 and #2547 and #2885} @synopsis{Tests the potential clashes among value constructors of different adts, plus, the identified clash with: bool eq(value, value);} module lang::rascal::\syntax::tests::ImplodeTests @@ -124,4 +125,4 @@ test bool test24() { return Expr::eq(Expr::id("a"), Expr::number(Number::\int("11"))) := implodeExprLit2(); catch ImplodeError(_): return false; -} \ No newline at end of file +}