Update semantico.py

semantico.py

@@ -14,10 +14,22 @@ class AnalizadorSemantico:
 
     def analizar_instruccion(self, nodo):
         tipo = nodo["type"]
-        if tipo == "assign":
+        if tipo == "declaration":
+            var = nodo["var"]
+            dtype = nodo["datatype"]
+            if var in self.tabla_simbolos:
+                self.errores.append(f"Variable '{var}' ya fue declarada.")
+            else:
+                self.tabla_simbolos[var] = dtype
+        elif tipo == "assign":
+            if nodo["var"] not in self.tabla_simbolos:
+                self.errores.append(f"Variable '{nodo['var']}' usada sin declarar.")
+                return
             tipo_valor = self.analizar_expresion(nodo["value"])
-            self.tabla_simbolos[nodo["var"]] = tipo_valor
-        elif tipo == "if" or tipo == "while":
+            tipo_var = self.tabla_simbolos[nodo["var"]]
+            if tipo_valor != tipo_var and tipo_valor != "error":
+                self.errores.append(f"Tipo incompatible en asignación a '{nodo['var']}': {tipo_var} = {tipo_valor}")
+        elif tipo in ("if", "while"):
             tipo_cond = self.analizar_expresion(nodo["condition"])
             if tipo_cond != "boolean":
                 self.errores.append(
@@ -46,7 +58,9 @@ class AnalizadorSemantico:
             if tipo_izq != tipo_der:
                 self.errores.append(f"Tipos incompatibles: {tipo_izq} y {tipo_der}")
                 return "error"
-            return tipo_izq if expr["op"] not in ("EQUAL", "NOT_EQUAL", "GREATER", "LESS") else "boolean"
+            if expr["op"] in ("EQUAL", "NOT_EQUAL", "GREATER", "LESS"):
+                return "boolean"
+            return tipo_izq
         elif tipo == "bool":
             return "boolean"
         elif tipo == "string":