From af88f50d44e10f089c9a78d12954a5517653e887 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= <sebastien@dynare.org>
Date: Thu, 19 May 2022 14:35:05 +0200
Subject: [PATCH] =?UTF-8?q?Forbid=20multiple=20identical=20clauses=20in=20?=
=?UTF-8?q?=E2=80=9Coccbin=5Fconstraints=E2=80=9D=20block?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Closes: #97
---
src/DynareBison.yy | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/DynareBison.yy b/src/DynareBison.yy
index 69761e37..59e8bcae 100644
--- a/src/DynareBison.yy
+++ b/src/DynareBison.yy
@@ -871,7 +871,9 @@ occbin_constraints_regime_options_list : occbin_constraints_regime_option
| occbin_constraints_regime_options_list occbin_constraints_regime_option
{
$$ = $1;
- $$.insert($2);
+ auto [it, success] = $$.insert($2);
+ if (!success)
+ driver.error("The '" + $2.first + "' clause is declared multiple times");
}
;
--
GitLab