From 73d5ed77262407449c5483fe884c22436e41004e Mon Sep 17 00:00:00 2001
From: dsac <arnaud@dabyseesaram.info>
Date: Wed, 14 Dec 2022 18:41:59 +0100
Subject: [PATCH] [parser] avoid redefinition of nodes

---
 src/parser.mly | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/parser.mly b/src/parser.mly
index 1fae9a5..2c72e62 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -195,7 +195,12 @@ node_content:
           n_automata = aut;
           n_inputs_type = t_in;
           n_outputs_type = t_out; } in
-      Hashtbl.add defined_nodes node_name n; n };
+      if Hashtbl.find_opt defined_nodes node_name <> None
+        then raise (MyParsingError
+                    (Format.asprintf "The node %s is already defined."
+                                      node_name,
+                    current_location()))
+        else Hashtbl.add defined_nodes node_name n; n };
 
 node_body:
   | /* empty */ { ([], []) }