stash

Author: sumneko

GLOBAL_SEMANTIC_REQUIREMENTS.md

@@ -233,28 +233,16 @@ global x <close>  -- 错误：global 不能有 close 属性
 
 **P0 - 高优先级（确定性错误）：**
 1. **GLOBAL_CLOSE_ATTRIBUTE** - global 不能有 close 属性（✅ 已在 parser 实现）
-2. **GLOBAL_DUPLICATE_INIT** - 同一文件中同一全局变量的多次初始化
-3. **ASSIGN_TO_CONST** - 赋值给 const 全局变量
+2. **ASSIGN_TO_CONST** - 赋值给 const 全局变量
 
 **P1 - 中优先级（作用域错误）：**
-4. **VARIABLE_NOT_DECLARED** - 在显式 global 作用域内使用未声明变量
+3. **VARIABLE_NOT_DECLARED** - 在显式 global 作用域内使用未声明变量
 
 **P2 - 低优先级（警告）：**
 5. **POSSIBLE_GLOBAL_REDEFINITION** - 可能的跨文件重复初始化（警告）
 
 #### 详细实现说明：
 
-**GLOBAL_DUPLICATE_INIT**:
-```lua
--- 检测逻辑：
--- 1. 扫描 AST，找到所有 setglobal 节点
--- 2. 对于有 value 的节点（初始化），记录变量名和位置
--- 3. 如果同一变量名出现第二次初始化，报错
-
-global X = 10   -- 记录：X 在此初始化
-global X = 20   -- 错误！X 已在第 1 行初始化
-```
-
 **ASSIGN_TO_CONST**:
 ```lua
 -- 检测逻辑：

script/parser/compile.lua

@@ -2907,41 +2907,23 @@ local function bindValue(n, v, index, lastValue, isLocal, isSet)
         if n.type == 'setglobal' then
             local gi = State.globalInfo
             local nameKey = n[1]
-            if n.isGlobalDecl then
-                -- duplicate initialization check (only for global declarations with value)
+            -- assignment / definition in strict global scope
+            if gi.active then
                 local info = gi.names[nameKey]
-                if v then
-                    if info and info.initialized then
-                        pushError {
-                            type   = 'GLOBAL_DUPLICATE_INIT',
-                            start  = n.start,
-                            finish = n.finish,
-                        }
-                    else
-                        if info then
-                            info.initialized = true
-                        end
-                    end
+                if not gi.hasAll and not info then
+                    pushError {
+                        type   = 'UNDEFINED_IN_GLOBAL_SCOPE',
+                        start  = n.start,
+                        finish = n.finish,
+                    }
                 end
-            else
-                -- assignment / definition in strict global scope
-                if gi.active then
-                    local info = gi.names[nameKey]
-                    if not gi.hasAll and not info then
-                        pushError {
-                            type   = 'UNDEFINED_IN_GLOBAL_SCOPE',
-                            start  = n.start,
-                            finish = n.finish,
-                        }
-                    end
-                    local isConst = (info and info.const) or gi.allConst
-                    if isConst then
-                        pushError {
-                            type   = 'ASSIGN_CONST_GLOBAL',
-                            start  = n.start,
-                            finish = n.finish,
-                        }
-                    end
+                local isConst = (info and info.const) or gi.allConst
+                if isConst then
+                    pushError {
+                        type   = 'ASSIGN_CONST_GLOBAL',
+                        start  = n.start,
+                        finish = n.finish,
+                    }
                 end
             end
         end
@@ -3223,21 +3205,10 @@ local function parseGlobal()
             name.vstart  = func.start
             name.range   = func.finish
             func.parent  = name
-            name.isGlobalDecl = true
             local gi = State.globalInfo
             gi.active = true
             local nameKey = name[1]
-            local info = gi.names[nameKey]
-            if info and info.initialized then
-                pushError {
-                    type   = 'GLOBAL_DUPLICATE_INIT',
-                    start  = name.start,
-                    finish = name.finish,
-                }
-            else
-                gi.names[nameKey] = gi.names[nameKey] or { declared = true, const = false, initialized = false }
-                gi.names[nameKey].initialized = true
-            end
+            gi.names[nameKey] = gi.names[nameKey] or { declared = true, const = false }
             pushActionIntoCurrentChunk(name)
             return name
         else
@@ -3293,10 +3264,9 @@ local function parseGlobal()
         finish = name.finish,
         [1]    = name[1],
     }
-    glob.isGlobalDecl = true
     local gi = State.globalInfo
     gi.active = true
-    gi.names[glob[1]] = gi.names[glob[1]] or { declared = true, const = false, initialized = false }
+    gi.names[glob[1]] = gi.names[glob[1]] or { declared = true, const = false }
 
     if attrs then
         glob.attrs = attrs
@@ -3356,8 +3326,7 @@ local function parseGlobal()
                 finish = nameN.finish,
                 [1]    = nameN[1],
             }
-            gN.isGlobalDecl = true
-            gi.names[gN[1]] = gi.names[gN[1]] or { declared = true, const = false, initialized = false }
+            gi.names[gN[1]] = gi.names[gN[1]] or { declared = true, const = false }
             if attrsN then
                 gN.attrs = attrsN
                 attrsN.parent = gN
@@ -4406,7 +4375,7 @@ local function initState(lua, version, options)
     end
     -- Lua 5.5 global keyword semantic tracking (syntax-level errors)
     state.globalInfo = {
-        names    = {},   -- map name -> { declared=true, const=bool, initialized=bool }
+        names    = {},   -- map name -> { declared=true, const=bool }
         hasAll   = false, -- global * encountered
         allConst = false, -- global <const> * encountered
         active   = false, -- any global declaration activates strict global scope