stash

Author: sumneko

GLOBAL_SEMANTIC_REQUIREMENTS.md

@@ -157,7 +157,7 @@ print(x)              --> 10 (外层全局 x 未改变)
 
 ## 需要添加的诊断类型
 
-### 1. UNDEFINED_IN_GLOBAL_SCOPE
+### 1. VARIABLE_NOT_DECLARED
 在显式 global 作用域内使用未声明的变量。
 
 ```lua
@@ -237,7 +237,7 @@ global x <close>  -- 错误：global 不能有 close 属性
 3. **ASSIGN_TO_CONST** - 赋值给 const 全局变量
 
 **P1 - 中优先级（作用域错误）：**
-4. **UNDEFINED_IN_GLOBAL_SCOPE** - 在显式 global 作用域内使用未声明变量
+4. **VARIABLE_NOT_DECLARED** - 在显式 global 作用域内使用未声明变量
 
 **P2 - 低优先级（警告）：**
 5. **POSSIBLE_GLOBAL_REDEFINITION** - 可能的跨文件重复初始化（警告）
@@ -266,7 +266,7 @@ global <const> PI = 3.14
 PI = 3.15  -- 错误！PI 是常量
 ```
 
-**UNDEFINED_IN_GLOBAL_SCOPE**:
+**VARIABLE_NOT_DECLARED**:
 ```lua
 -- 检测逻辑：
 -- 1. 跟踪当前作用域是否有显式 global 声明
@@ -291,7 +291,7 @@ Y = 1  -- 错误！Y 未声明（隐式 global * 已失效）
 ### 阶段 1：基础作用域支持
 1. 实现隐式 `global *` 的跟踪
 2. 实现 global 声明使隐式 `global *` 失效
-3. 添加 UNDEFINED_IN_GLOBAL_SCOPE 诊断
+3. 添加 VARIABLE_NOT_DECLARED 诊断
 
 ### 阶段 2：属性支持
 1. 实现 const 属性的跟踪

locale/en-us/script.lua

@@ -44,12 +44,10 @@ DIAG_AMBIGUITY_1        =
 'Compute `{}` first. You may need to add brackets.'
 DIAG_LOWERCASE_GLOBAL   =
 'Global variable in lowercase initial, Did you miss `local` or misspell it?'
-GLOBAL_DUPLICATE_INIT   =
-'Duplicate initialization of global variable `{}`.'
 ASSIGN_CONST_GLOBAL     =
 'Cannot assign to <const> global variable `{}`.'
-UNDEFINED_IN_GLOBAL_SCOPE =
-'Undefined global variable `{}` (global declarations active).'
+VARIABLE_NOT_DECLARED =
+'Variable `{}` not declared (global declarations active).'
 DIAG_EMPTY_BLOCK        =
 'Empty block.'
 DIAG_DIAGNOSTICS        =

locale/zh-cn/script.lua

@@ -44,12 +44,10 @@ DIAG_AMBIGUITY_1        =
 '会优先运算 `{}`，你可能需要加个括号。'
 DIAG_LOWERCASE_GLOBAL   =
 '首字母小写的全局变量，你是否漏了 `local` 或是有拼写错误？'
-GLOBAL_DUPLICATE_INIT   =
-'重复初始化全局变量 `{}`。'
 ASSIGN_CONST_GLOBAL     =
 '不能赋值给 <const> 全局变量 `{}`。'
-UNDEFINED_IN_GLOBAL_SCOPE =
-'未声明的全局变量 `{}`（当前已使用 global 语法声明作用域）。'
+VARIABLE_NOT_DECLARED =
+'未声明的变量 `{}`（当前已使用 global 语法声明作用域）。'
 DIAG_EMPTY_BLOCK        =
 '空代码块'
 DIAG_DIAGNOSTICS        =

test/parser_test/syntax_check.lua

@@ -819,58 +819,6 @@ global <!<close>!> x
     type = 'GLOBAL_CLOSE_ATTRIBUTE',
 }
 
-TEST [[
-global x = 1
-global <!x!> = 2
-]]
-{
-    type = 'GLOBAL_DUPLICATE_INIT',
-}
-
--- Duplicate global definitions: multiple initializations of the same name
-TEST [[
-global x = 1
-global function <!x!>() end
-]]
-{
-    type = 'GLOBAL_DUPLICATE_INIT',
-}
-
-TEST [[
-global function f() end
-global function <!f!>() end
-]]
-{
-    type = 'GLOBAL_DUPLICATE_INIT',
-}
-
-TEST [[
-global <const> x = 1
-global <!x!> = 2
-]]
-{
-    type = 'GLOBAL_DUPLICATE_INIT',
-}
-
-TEST [[
-global x = 1
-global x
-global <!x!> = 2
-]]
-{
-    type = 'GLOBAL_DUPLICATE_INIT',
-}
-
-TEST [[
-global x = 1
-do
-    global <!x!> = 2
-end
-]]
-{
-    type = 'GLOBAL_DUPLICATE_INIT',
-}
-
 TEST [[
 global <const> x = 1
 <!x!> = 2
@@ -892,7 +840,7 @@ global x
 <!y!> = 1
 ]]
 {
-    type = 'UNDEFINED_IN_GLOBAL_SCOPE',
+    type = 'VARIABLE_NOT_DECLARED',
 }
 
 TEST [[
@@ -965,5 +913,55 @@ do
 end
 ]]
 {
-    type = 'UNDEFINED_IN_GLOBAL_SCOPE',
+    type = 'VARIABLE_NOT_DECLARED',
+}
+
+TEST [[
+global X <const> = 1
+global X
+
+X = 2
+]]
+(nil)
+
+TEST [[
+global X
+
+do
+    global X <const> = 1
+end
+
+X = 2
+]]
+(nil)
+
+TEST [[
+do
+    global X
+    <!Y!> = 1
+end
+
+Y = 1
+]]
+{
+    type = 'VARIABLE_NOT_DECLARED',
+}
+
+TEST [[
+global *
+
+do
+    global X
+    do
+        global X <const> = 10
+        <!X!> = 1
+        Y = 1
+    end
+    X = 1
+end
+
+Y = 1
+]]
+{
+    type = 'ASSIGN_CONST_GLOBAL',
 }