PyPI - infinity-data - Versions diffs - 3.2.0__tar.gz → 3.3.0__tar.gz - Mend

@@ -192,6 +192,7 @@ class TemplateGraphResolver:
         """把 ``!from`` 的导入项映射进目标 scope；冲突一律 ERROR。
         - 导入文件中不存在该模板 → ERROR
+        - 可见名（含 ``as`` 别名）与注册约束同名 → ERROR（模板即约束，内置约束不可被遮蔽）
         - 可见名与文件内定义同名 → ERROR（与文件内定义冲突）
         - 可见名已存在（重复导入）→ ERROR，保留先到者（拒绝隐式覆盖）
         """
@@ -203,6 +204,8 @@ class TemplateGraphResolver:
                 )
                 continue
             visible = item.alias or item.name
+            if self._check_template_name_conflict(visible, item.source):
+                continue
             if visible in scope.visible:
                 if visible in local_names:
                     self._collector.add(
@@ -295,9 +298,9 @@ class TemplateGraphResolver:
         imported_doc = self._parse_document(file)
         # 1) 本地模板：先注册（循环导入时依赖文件的本地名部分已可见）
-        #    身份含来源文件路径：不同路径的文件即使内容相同也是不同模板身份——
-        #    模板内部 !from 按定义文件所在目录解析，内容相同的文件其依赖语义
-        #    可能不同，不能互相覆盖（纯内容寻址无法表达这一区别）
+        #    身份初始按来源文件路径区分（收集阶段，避免同名互相覆盖）；最终由
+        #    _remap_content_identities 重算为依赖闭包组合哈希（§2.5）——内容 + 依赖
+        #    相同 → 同身份；依赖不同 → 依赖 identity 进 hash → 自然区分
         scope: Scope = Scope()
         local_names: set[str] = set()
         for s in imported_doc.statements:

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: infinity-data
-Version: 3.2.0
+Version: 3.3.0
 Summary: InfinityData：声明式配置语言（.infd/.inft）的 Python 编译器库
 Author: infinity_system: yin_bailiang
 License: MIT

@@ -1,6 +1,6 @@
 [project]
 name = "infinity-data"
-version = "3.2.0"
+version = "3.3.0"
 description = "InfinityData：声明式配置语言（.infd/.inft）的 Python 编译器库"
 readme = "README.md"
 license = { text = "MIT" }

@@ -541,6 +541,8 @@ class AstBuilder:
         type_cast 为显式 as bool/int/float/str 转换；source 为 ``$name`` 表达式在源码中的位置。
         本文件空间查不到 → ``dollar.undefined`` 警告取 null（不中断编译）。
+        非字符串结构化值（list / dict）应用 as → ``dollar.convert_unsupported``
+        错误 + 原样返回（容错继续编译，§1.8）。
         """
         namespace = scope.namespaces if scope is not None else {}
         if name not in namespace:
@@ -552,7 +554,15 @@ class AstBuilder:
         if type_cast is None:
             return raw
         if isinstance(raw, (StdArray, StdObject)):
-            return raw  # 结构化值 cast 不适用
+            # 结构化值（list / dict）不支持 as 转换：写了 as 就必须转换、不静默忽略——
+            # 报错 + 原样返回容错（继续编译）
+            self._err(
+                'dollar.convert_unsupported',
+                {'name': name, 'kind': 'list' if isinstance(raw, StdArray) else 'dict', 'type': type_cast},
+                source,
+                path,
+            )
+            return raw
         # 空字面量：as 转换**保持传播**（null → null、noexist → noexist），
         # 不做任何转换、不产生警告——三态可空语义不因显式 as 而丢失
         # （此时 raw 已收窄为 StdLiteral）

@@ -135,6 +135,11 @@ register_diagnostic_define(
         '{path_prefix}无法将 ${name}={raw!r} 转为 {type}',
         en='{path_prefix}cannot convert ${name}={raw!r} to {type}',
     ),
+    diagnostic_define(
+        'dollar.convert_unsupported',
+        '{path_prefix}结构化值 ${name}（{kind}）不支持 as {type} 转换，已原样保留',
+        en='{path_prefix}structured value ${name} ({kind}) does not support as {type}; kept as-is',
+    ),
     diagnostic_define('inft.not_allowed', '{path_prefix}.inft 文件只允许模板定义，发现其他语句'),
     diagnostic_define('error.generic', '{path_prefix}{message}'),
     # ═══════════════════════════════════════════════════════════

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: infinity-data
-Version: 3.2.0
+Version: 3.3.0
 Summary: InfinityData：声明式配置语言（.infd/.inft）的 Python 编译器库
 Author: infinity_system: yin_bailiang
 License: MIT

infinity-data 3.2.0__tar.gz → 3.3.0__tar.gz

infinity-data 3.2.0tar.gz → 3.3.0tar.gz