infinity-data 1.1.0__tar.gz → 1.2.0__tar.gz

{infinity_data-1.1.0/src/infinity_data.egg-info → infinity_data-1.2.0}/PKG-INFO

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

{infinity_data-1.1.0 → infinity_data-1.2.0}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "infinity-data"
-version = "1.1.0"
+version = "1.2.0"
 description = "InfinityData：声明式配置语言（.infd/.inft）的 Python 编译器库"
 readme = "README.md"
 license = { text = "MIT" }
@@ -57,6 +57,9 @@ package-dir = {"" = "src"}
 [tool.setuptools.packages.find]
 where = ["src"]
 
+[tool.setuptools.package-data]
+infinity_data = ["py.typed"]
+
 [tool.ruff]
 line-length = 120
 target-version = "py312"

{infinity_data-1.1.0 → infinity_data-1.2.0}/src/infinity_data/parser/diagnostics.py

@@ -48,6 +48,11 @@ register_diagnostic_define(
         '[{location}] 导入项之间必须用逗号分隔（import 列表不接受换行/空格分隔）',
         en='[{location}] import items must be separated by commas (newlines/spaces are not allowed)',
     ),
+    diagnostic_define(
+        'parse.import_requires_newline',
+        '[{location}] 导入语句必须以换行结尾（同一行逗号后不能再接其他语句）',
+        en='[{location}] import statement must end with a newline (cannot be followed by more tokens on the same line)',
+    ),
     diagnostic_define(
         'parse.value_field',
         '[{location}] 值位置出现字段定义 {name}（外层数组/对象未闭合）',

{infinity_data-1.1.0 → infinity_data-1.2.0}/src/infinity_data/parser/parser.py

@@ -138,8 +138,13 @@ class Parser:
 
     @staticmethod
     def _parse_statement(stream: TokenStream, collector: DiagnosticCollector) -> Statement | None:
-        """解析一条顶层语句。"""
-        stream.skip_newlines()
+        """解析一条顶层语句。
+
+        顶层与块内一致，接受**逗号或换行**分隔（二者等价，可混用）——
+        整个文件（含模板定义、字段、结构级约束）可压缩成一行；
+        导入语句内部仍强制逗号分隔（见 §3.2）。
+        """
+        stream.skip_separators()
 
         # EofToken 或物理耗尽均视为流结束
         if stream.eof():
@@ -223,6 +228,21 @@ class Parser:
             stream.advance()
             alias = stream.expect(IdentifierToken).name
 
+        # 导入语句必须换行/EOF 结尾：!env 无导入项列表，若不加检查，同一行的逗号会被
+        # 顶层 skip_separators 吞掉（`!env import A as a, x = 1` 被误认为合法），与
+        # !from / !file 的「尾部必须换行」行为不一致。
+        tok = stream.peek()
+        # 显式排除 NoNextType 以收窄类型：stream.eof() 是方法调用，无法据此收窄 tok，
+        # 否则 tok 仍为 Token | NoNextType，访问 tok.raw 会触发类型错误。
+        if not isinstance(tok, NoNextType) and not (stream.eof() or isinstance(tok, NewlineToken)):
+            collector.add(
+                diag(
+                    'parse.import_requires_newline',
+                    {'actual': tok.raw.type.name},
+                    stream.single_span(tok),
+                )
+            )
+
         # 注意：不在此消费尾部换行——语句间分隔由 _parse_statement 开头统一处理，
         # 否则语句 source 会把下一行行首吞入（与 Field 不一致）
         return EnvImportStmt(

{infinity_data-1.1.0 → infinity_data-1.2.0}/src/infinity_data/semantic/registry/dict_constraints.py

@@ -1,4 +1,9 @@
-"""内置字典约束：has / field。"""
+"""内置字典约束：has / field。
+
+与三态可空的交互：``noexist`` 字段（键不出现）对二者均视为**不存在**——
+``has(noexist字段)`` 不满足、``field(noexist字段, c)`` 视为字段缺失。
+（noexist 在 StdObject 中是非 None 哨兵，渲染时才过滤，须显式排除。）
+"""
 
 from __future__ import annotations
 
@@ -19,7 +24,7 @@ from infinity_data.semantic.registry._core import (
 )
 from infinity_data.tokenizer.models.raw_tokens import SourceRange
 
-__all__ = ['_check_has', '_check_field']
+__all__ = ['_check_field', '_check_has']
 
 
 def _check_has(
@@ -32,7 +37,10 @@ def _check_has(
     if not isinstance(val, StdObject):
         return fail_result('constraint.has_only', {}, source, path)
     key = _spec_name(args[0])
-    if val.get(key) is not None:
+    f = val.get(key)
+    # noexist 字段在 StdObject 中仍以非 None 哨兵存在（渲染时才过滤），
+    # 但按三态语义「键不出现」应视为不存在（回归：one(has(a), has(b)) 误判 both）。
+    if f is not None and not f.is_noexist:
         return ok_result()
     return fail_result('constraint.has_missing', {'key': key}, source, path)
 
@@ -51,6 +59,7 @@ def _check_field(
     if spec is None:
         return fail_result('constraint.field_need', {}, source, path)
     f = val.get(name)
-    if f is None:
+    # noexist = 键不出现 → 视为字段缺失（与 has 同理）
+    if f is None or f.is_noexist:
         return fail_result('constraint.field_missing', {'field': name}, source, path)
     return executor(spec, f.value, source, f'{path}.{name}')

{infinity_data-1.1.0 → infinity_data-1.2.0/src/infinity_data.egg-info}/PKG-INFO

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

{infinity_data-1.1.0 → infinity_data-1.2.0}/src/infinity_data.egg-info/SOURCES.txt

@@ -4,6 +4,7 @@ pyproject.toml
 src/infinity_data/__init__.py
 src/infinity_data/frontend.py
 src/infinity_data/pipeline.py
+src/infinity_data/py.typed
 src/infinity_data.egg-info/PKG-INFO
 src/infinity_data.egg-info/SOURCES.txt
 src/infinity_data.egg-info/dependency_links.txt