Forbid multiple identical clauses in “occbin_constraints” block

Closes: #97
2022-05-19 14:35:05 +02:00 · 2022-05-19 14:35:05 +02:00 · af88f50d44
parent 0284b249f5
commit af88f50d44
1 changed files with 3 additions and 1 deletions
--- 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");
                                         }
                                       ;