From be39bea8be77efde71285cd12f6dd428d71315a9 Mon Sep 17 00:00:00 2001 From: deesh-code Date: Fri, 31 Oct 2025 21:10:17 +0530 Subject: [PATCH] Add test case for issue #25: duplicate declarations should report error - Added neg_duplicate_decl.mg test case demonstrating the issue - Test includes two declarations of the same predicate foo/3 - Expected behavior: analysis should report error for duplicate declarations Addresses: https://github.com/google/mangle/issues/25 --- analysis/test_cases/neg_duplicate_decl.mg | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 analysis/test_cases/neg_duplicate_decl.mg diff --git a/analysis/test_cases/neg_duplicate_decl.mg b/analysis/test_cases/neg_duplicate_decl.mg new file mode 100644 index 0000000..0fabaed --- /dev/null +++ b/analysis/test_cases/neg_duplicate_decl.mg @@ -0,0 +1,8 @@ +# Test case for issue #25 - duplicate declarations should cause an error + +Decl foo(X, Y, Z) descr [ extensional() ] bound [/x, /y, /z]. + +# This should cause an error - duplicate declaration +Decl foo(X, Y, Z) descr [ extensional() ]. + +foo(1, 2, 3). \ No newline at end of file