mirascript 0.0.6__tar.gz

mirascript-0.0.6/PKG-INFO

@@ -0,0 +1,17 @@
+Metadata-Version: 2.1
+Name: mirascript
+Version: 0.0.6
+Summary: cloudpss mirascript
+Home-page: https://www.cloudpss.net
+Author: cloudpss
+Author-email: zhangdaming@cloudpss.net
+License: MIT Licence
+Keywords: cloudpss,cloudpss-mirascript,mirascript
+Platform: any
+Classifier: Programming Language :: Rust
+Classifier: Programming Language :: Python :: Implementation :: CPython
+Classifier: Programming Language :: Python :: Implementation :: PyPy
+Requires-Python: >=3.7
+Description-Content-Type: text/markdown
+
+MiraScript 的 Python 绑定允许在 Python 中使用 MiraScript 编译器。它提供了一个简单的接口来编译 MiraScript 脚本，并返回编译结果和诊断信息。

mirascript-0.0.6/README.md

@@ -0,0 +1,24 @@
+# MiraScript Python Bindings
+
+MiraScript 的 Python 绑定允许在 Python 中使用 MiraScript 编译器。它提供了一个简单的接口来编译 MiraScript 脚本，并返回编译结果和诊断信息。
+
+## 开发
+
+1. 初始化虚拟环境
+
+   ```bash
+   python -m venv .venv
+   source .venv/bin/activate # Windows: .venv\Scripts\activate
+   ```
+
+2. 安装依赖
+
+   ```bash
+   pip install -r requirements.txt
+   ```
+
+3. 编译并安装 bindings
+
+   ```bash
+   maturin develop
+   ```

mirascript-0.0.6/mirascript/__init__.py

@@ -0,0 +1,11 @@
+"""
+MiraScript Python Module
+
+This module provides the main entry point for compiling MiraScript code
+"""
+
+from .mirascript import Config
+from .diagnostics import Diagnostic
+from .main import compile
+__version__ = '0.0.6'
+__all__ = ["Config", "Diagnostic", "compile","__version__"]

mirascript-0.0.6/mirascript/deep_nonlocal_fix.py

@@ -0,0 +1,136 @@
+## 将所有 nonlocal 声明提升到函数体顶部,有些情况下nonlocal声明可能在条件语句或循环内
+import ast
+
+
+def deep_nonlocal_fix(node, nonlocal_vars=None):
+    """
+    将函数体内部所有非嵌套位置的 `nonlocal` 声明收集并提升到函数体顶部。
+    对 FunctionDef / AsyncFunctionDef 递归处理，保持嵌套函数的 nonlocal 在其自身作用域内。
+    """
+    class _Hoister(ast.NodeTransformer):
+        def visit_FunctionDef(self, fn: ast.FunctionDef):
+            # 先处理内部（从底向上）
+            self.generic_visit(fn)
+
+            # 收集当前函数作用域（不进入嵌套函数/类/lambda）的 nonlocal 名称
+            names = set()
+
+            def collect_from_nodes(stmts):
+                for s in stmts:
+                    if isinstance(s, ast.Nonlocal):
+                        for n in s.names:
+                            names.add(n)
+                    # 不进入嵌套作用域
+                    elif isinstance(s, (ast.FunctionDef, ast.AsyncFunctionDef, ast.ClassDef, ast.Lambda)):
+                        continue
+                    else:
+                        if s is None:
+                            continue
+                        for field, value in ast.iter_fields(s):
+                            if isinstance(value, list):
+                                collect_from_nodes(value)
+                            elif isinstance(value, ast.AST):
+                                if isinstance(value, (ast.FunctionDef, ast.AsyncFunctionDef, ast.ClassDef, ast.Lambda)):
+                                    continue
+                                collect_from_nodes([value])
+
+            collect_from_nodes(fn.body)
+
+            if names:
+                # 从当前函数体及其子节点中移除所有 Nonlocal 节点（不进入嵌套函数/类/lambda）
+                def remove_from_nodes(stmts):
+                    new_stmts = []
+                    for s in stmts:
+                        if isinstance(s, ast.Nonlocal):
+                            # 跳过（已收集）
+                            continue
+                        elif isinstance(s, (ast.FunctionDef, ast.AsyncFunctionDef, ast.ClassDef, ast.Lambda)):
+                            new_stmts.append(s)
+                        else:
+                            for field, value in list(ast.iter_fields(s)):
+                                if isinstance(value, list):
+                                    filtered = remove_from_nodes(value)
+                                    setattr(s, field, filtered)
+                                elif isinstance(value, ast.AST):
+                                    if isinstance(value, (ast.FunctionDef, ast.AsyncFunctionDef, ast.ClassDef, ast.Lambda)):
+                                        pass
+                                    else:
+                                        replaced = remove_from_nodes([value])
+                                        if replaced:
+                                            setattr(s, field, replaced[0])
+                            new_stmts.append(s)
+                    return new_stmts
+
+                fn.body = remove_from_nodes(fn.body)
+
+                # 构造新的 nonlocal 节点并插入到函数体顶部，若首节点为 Try 则插入到 Try.body 顶部
+                nl_node = ast.Nonlocal(names=sorted(names))
+                if fn.body and isinstance(fn.body[0], ast.Try):
+                    try_node: ast.Try = fn.body[0]
+                    try_node.body.insert(0, nl_node)
+                else:
+                    fn.body.insert(0, nl_node)
+
+            return fn
+
+        def visit_AsyncFunctionDef(self, fn: ast.AsyncFunctionDef):
+            # 同样处理异步函数
+            self.generic_visit(fn)
+
+            names = set()
+
+            def collect_from_nodes(stmts):
+                for s in stmts:
+                    if isinstance(s, ast.Nonlocal):
+                        for n in s.names:
+                            names.add(n)
+                    elif isinstance(s, (ast.FunctionDef, ast.AsyncFunctionDef, ast.ClassDef, ast.Lambda)):
+                        continue
+                    else:
+                        for field, value in ast.iter_fields(s):
+                            if isinstance(value, list):
+                                collect_from_nodes(value)
+                            elif isinstance(value, ast.AST):
+                                if isinstance(value, (ast.FunctionDef, ast.AsyncFunctionDef, ast.ClassDef, ast.Lambda)):
+                                    continue
+                                collect_from_nodes([value])
+
+            collect_from_nodes(fn.body)
+
+            if names:
+                def remove_from_nodes(stmts):
+                    new_stmts = []
+                    for s in stmts:
+                        if isinstance(s, ast.Nonlocal):
+                            continue
+                        elif isinstance(s, (ast.FunctionDef, ast.AsyncFunctionDef, ast.ClassDef, ast.Lambda)):
+                            new_stmts.append(s)
+                        else:
+                            for field, value in list(ast.iter_fields(s)):
+                                if isinstance(value, list):
+                                    filtered = remove_from_nodes(value)
+                                    setattr(s, field, filtered)
+                                elif isinstance(value, ast.AST):
+                                    if isinstance(value, (ast.FunctionDef, ast.AsyncFunctionDef, ast.ClassDef, ast.Lambda)):
+                                        pass
+                                    else:
+                                        replaced = remove_from_nodes([value])
+                                        if replaced:
+                                            setattr(s, field, replaced[0])
+                            new_stmts.append(s)
+                    return new_stmts
+
+                fn.body = remove_from_nodes(fn.body)
+                nl_node = ast.Nonlocal(names=sorted(names),lineno=0)
+                if fn.body and isinstance(fn.body[0], ast.Try):
+                    fn.body[0].body.insert(0, nl_node)
+                else:
+                    fn.body.insert(0, nl_node)
+
+            return fn
+
+    hoister = _Hoister()
+    return hoister.visit(node)
+
+# ...existing code...
+   

mirascript-0.0.6/mirascript/diagnostics.py

@@ -0,0 +1,82 @@
+
+from .mirascript import get_diagnostic_message
+
+
+# DiagnosticLevel = Literal["Error", "Warning", "Info", "Hint", "Reference", "Unknown"]
+
+
+class Diagnostic:
+    """
+    诊断信息类
+    """
+
+    __cache = {}
+
+    start_line: int
+    """起始行号"""
+    start_column: int
+    """起始列号"""
+    end_line: int
+    """结束行号"""
+    end_column: int
+    """结束列号"""
+    code: int
+    """诊断代码"""
+    level: str
+    """诊断级别"""
+    name: str
+    """诊断名称"""
+    message: str
+    """诊断消息"""
+
+    def __init__(
+        self,
+        start_line: int,
+        start_column: int,
+        end_line: int,
+        end_column: int,
+        code: int,
+    ):
+        self.start_line = start_line
+        self.start_column = start_column
+        self.end_line = end_line
+        self.end_column = end_column
+        self.code = code
+        info = Diagnostic.__cache.get(self.code)
+        if info is None:
+            try:
+                info = get_diagnostic_message(self.code)
+                Diagnostic.__cache[self.code] = info
+            except:
+                info = (
+                    "Unknown",
+                    f"{self.code}",
+                    f"Unknown diagnostic code",
+                )
+            Diagnostic.__cache[self.code] = info
+        self.level = info[0]
+        self.name = info[1]
+        self.message = info[2]
+
+    def __repr__(self) -> str:
+        return f"Diagnostic(code={self.code}, level={self.level}, name={self.name}, start=({self.start_line}, {self.start_column}), end=({self.end_line}, {self.end_column}))"
+
+    def __str__(self) -> str:
+        return (
+            f"[{self.level}] {self.message} ({self.name}) at "
+            f"{self.start_line}:{self.start_column} - "
+            f"{self.end_line}:{self.end_column}"
+        )
+
+
+def decode_diagnostics(diagnostics) :
+    """
+    解析诊断信息
+
+    Args:
+        diagnostics (list[int]): 诊断信息列表，包含 [start_line, start_column, end_line, end_column, code]
+
+    Returns:
+        list[Diagnostic]: 解析后的诊断信息列表
+    """
+    return [Diagnostic(*diagnostics[i : i + 5]) for i in range(0, len(diagnostics), 5)]