From 7fab3cc6625910913c3100c6d678197a9a03d585 Mon Sep 17 00:00:00 2001
From: Luke <luke.k.xu@hotmail.com>
Date: Sun, 3 Aug 2025 00:36:34 +0800
Subject: [PATCH] =?UTF-8?q?feat:=20=E6=A3=80=E6=9F=A5=E5=85=A8=E5=B1=80?=
 =?UTF-8?q?=E5=8F=98=E9=87=8F=E9=87=8D=E5=A4=8D=E5=A3=B0=E6=98=8E?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- 在 FunctionChecker 类中增加了对全局变量重复声明的检查
- 如果全局变量已经存在，则添加语义错误信息
---
 .../jcnc/snow/compiler/semantic/core/FunctionChecker.java | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/main/java/org/jcnc/snow/compiler/semantic/core/FunctionChecker.java b/src/main/java/org/jcnc/snow/compiler/semantic/core/FunctionChecker.java
index cb54eb6..50f1ec6 100644
--- a/src/main/java/org/jcnc/snow/compiler/semantic/core/FunctionChecker.java
+++ b/src/main/java/org/jcnc/snow/compiler/semantic/core/FunctionChecker.java
@@ -59,7 +59,13 @@ public record FunctionChecker(Context ctx) {
             SymbolTable globalScope = new SymbolTable(null);
             for (DeclarationNode g : mod.globals()) {
                 var t = ctx.parseType(g.getType());
-                globalScope.define(new Symbol(g.getName(), t, SymbolKind.VARIABLE));
+                // 检查全局变量是否重复声明
+                if (!globalScope.define(new Symbol(g.getName(), t, SymbolKind.VARIABLE))) {
+                    ctx.errors().add(new SemanticError(
+                            g,
+                            "全局变量重复声明: " + g.getName()
+                    ));
+                }
             }
 
             // 遍历模块中所有函数定义