jaclang 0.6.5__py3-none-any.whl → 0.7.1__py3-none-any.whl

jaclang/langserve/tests/fixtures/circle_err.jac

@@ -0,0 +1,73 @@
+"""
+This module demonstrates a simple circle class and a function to calculate
+the area of a circle in all of Jac's glory.
+"""
+
+import:py math;
+# Module-level global var
+
+glob RAD = 5;
+
+"""Function to calculate the area of a circle."""
+can calculate_area(radius: float) -> float {
+    return math.pi * radius * radius;
+}
+#* (This is multiline comments in Jac)
+Above we have the demonstration of a function to calculate the area of a circle.
+Below we have the demonstration of a class to calculate the area of a circle.
+*#
+
+"""Enum for shape types"""
+enum ShapeType  {
+    CIRCLE="Circle"
+    UNKNOWN="Unknown"
+}
+
+"""Base class for a shape."""
+obj Shape {
+    has shape_type: ShapeType;
+
+    """Abstract method to calculate the area of a shape."""
+    can area -> float abs;
+}
+
+"""Circle class inherits from Shape."""
+obj Circle :Shape: {
+    can init(radius: float) {
+        super.init(ShapeType.CIRCLE);
+        self.radius = radius;
+    }
+
+    """Overridden method to calculate the area of the circle."""
+    override can area -> float {
+        return math.pi * self.radius * self.radius;
+    }
+}
+
+with entry {
+    c = Circle(RAD);
+}
+# Global also works here
+
+with entry:__main__ {
+# To run the program functionality
+print(f"Area of a circle with radius {RAD} using function: {calculate_area(RAD)}");
+print(f"Area of a {c.shape_type.value} with radius {RAD} using class: {c.area()}");
+}
+# Unit Tests!
+
+glob expected_area = 78.53981633974483;
+
+test calc_area   {
+    check.assertAlmostEqual(calculate_area(RAD), expected_area);
+}
+
+test circle_area   {
+    c = Circle(RAD);
+    check.assertAlmostEqual(c.area(), expected_area);
+}
+
+test circle_type   {
+    c = Circle(RAD);
+    check.assertEqual(c.shape_type, ShapeType.CIRCLE);
+}

jaclang/langserve/tests/fixtures/circle_pure.impl.jac

@@ -0,0 +1,28 @@
+"""Enum for shape types"""
+
+:enum:ShapeType {
+    CIRCLE="Circle",
+    UNKNOWN="Unknown"
+}
+
+"""Function to calculate the area of a circle."""
+:can:calculate_area
+(radius: float) -> float {
+    return math.pi * radius * radius;
+}
+
+:obj:Circle:can:init
+(radius: float) {
+    self.radius = radius;
+    super.init(ShapeType.CIRCLE);
+}
+
+"""Overridden method to calculate the area of the circle."""
+:obj:Circle:can:area -> float {
+    return math.pi * self.radius * self.radius;
+}
+
+:can:main_run {
+    print(f"Area of a circle with radius {RAD} using function: {calculate_area(RAD)}");
+    print(f"Area of a {c.shape_type.value} with radius {RAD} using class: {c.area()}");
+}

jaclang/langserve/tests/fixtures/circle_pure.jac

@@ -0,0 +1,34 @@
+"""
+This module demonstrates a simple circle class and a function to calculate
+the area of a circle in all of Jac's glory.
+"""
+
+import:py math;
+
+enum ShapeType;
+
+can calculate_area(radius: float) -> float;
+can main_run;
+
+"""Base class for a shape."""
+obj Shape {
+    has shape_type: ShapeType;
+
+    can area -> float abs;
+}
+
+"""Circle class inherits from Shape."""
+obj Circle :Shape: {
+    has radius: float;
+
+    can init(radius: float);
+    can area -> float;
+}
+# Radius of the demo circle
+
+glob RAD = 5, c = Circle(radius=RAD);
+
+"""Here we run the main program."""
+with entry:__main__ {
+    main_run();
+}

jaclang/langserve/tests/fixtures/circle_pure_err.impl.jac

@@ -0,0 +1,32 @@
+"""Enum for shape types"""
+
+:enum:ShapeType {
+    CIRCLE = "Circle",
+    UNKNOWN = "Unknown"
+}
+
+"""Function to calculate the area of a circle."""
+:can:calculate_area
+(radius: float) -> float {
+    return math.pi * radius * radius;
+}
+
+:obj:Circle:can:init
+(radius: float) {
+    self.radius = radius;
+    super.init(ShapeType.CIRCLE);
+}
+
+"""Overridden method to calculate the area of the circle."""
+:obj:Circle:can:area -> float {
+    return math.pi * self.radius * self.radius;
+}
+
+:can:main_run {
+    print(
+        f"Area of a circle with radius {RAD} using function: {calculate_area(RAD)}"
+    );
+    print(
+        f"Area of a {c.shape_type.value} with radius {RAD} using class: {c.area()}"
+    );
+}

jaclang/langserve/tests/fixtures/circle_pure_err.jac

@@ -0,0 +1,34 @@
+"""
+This module demonstrates a simple circle class and a function to calculate
+the area of a circle in all of Jac's glory.
+"""
+
+import:py math;
+
+enum ShapeType;
+
+can calculate_area(radius: float) -> float;
+can main_run;
+
+"""Base class for a shape."""
+obj Shape {
+    has shape_type: ShapeType;
+
+    can area -> float abs;
+}
+
+"""Circle class inherits from Shape."""
+obj Circle :Shape: {
+    has radius: float;
+
+    can init(radius: float);
+    can area -> float;
+}
+# Radius of the demo circle
+
+glob RAD = 5, c = Circle(radius=RAD);
+
+"""Here we run the main program."""
+with entry:__main__ {
+    main_run();
+}

jaclang/langserve/tests/test_server.py

@@ -1,5 +1,7 @@
 from jaclang.utils.test import TestCase
 from jaclang.vendor.pygls import uris
+from jaclang.vendor.pygls.workspace import Workspace
+from jaclang.langserve.engine import JacLangServer
 from .session import LspSession
 
 
@@ -28,9 +30,39 @@ class TestJacLangServer(TestCase):
                     {
                         "range": {
                             "start": {"line": 0, "character": 0},
-                            "end": {"line": 4, "character": 0},
+                            "end": {"line": 2, "character": 0},
                         },
                         "newText": 'with entry {\n    print("Hello, World!");\n}\n',
                     }
                 ],
             )
+
+    def test_syntax_diagnostics(self) -> None:
+        """Test diagnostics."""
+        lsp = JacLangServer()
+        # Set up the workspace path to "fixtures/"
+        workspace_path = self.fixture_abs_path("")
+        workspace = Workspace(workspace_path, lsp)
+        lsp.lsp._workspace = workspace
+        circle_file = uris.from_fs_path(self.fixture_abs_path("circle_err.jac"))
+        lsp.quick_check(circle_file)
+        self.assertEqual(len(lsp.modules), 1)
+        self.assertEqual(lsp.modules[circle_file].diagnostics[0].range.start.line, 22)
+
+    def test_doesnt_run_if_syntax_error(self) -> None:
+        """Test that the server doesn't run if there is a syntax error."""
+        lsp = JacLangServer()
+        # Set up the workspace path to "fixtures/"
+        workspace_path = self.fixture_abs_path("")
+        workspace = Workspace(workspace_path, lsp)
+        lsp.lsp._workspace = workspace
+        circle_file = uris.from_fs_path(self.fixture_abs_path("circle_err.jac"))
+        lsp.quick_check(circle_file)
+        self.assertEqual(len(lsp.modules), 1)
+        self.assertEqual(lsp.modules[circle_file].diagnostics[0].range.start.line, 22)
+        lsp.deep_check(circle_file)
+        self.assertEqual(len(lsp.modules), 1)
+        self.assertEqual(lsp.modules[circle_file].diagnostics[0].range.start.line, 22)
+        lsp.type_check(circle_file)
+        self.assertEqual(len(lsp.modules), 1)
+        self.assertEqual(lsp.modules[circle_file].diagnostics[0].range.start.line, 22)

jaclang/langserve/utils.py

@@ -1,24 +1,11 @@
 """Utility functions for the language server."""
 
 import asyncio
-import logging
 from functools import wraps
-from typing import Any, Awaitable, Callable, Coroutine, ParamSpec, TypeVar
+from typing import Any, Awaitable, Callable, Coroutine, Optional, ParamSpec, TypeVar
 
-from jaclang.vendor.pygls.server import LanguageServer
-
-import lsprotocol.types as lspt
-
-
-def log_error(ls: LanguageServer, message: str) -> None:
-    """Log an error message."""
-    ls.show_message_log(message, lspt.MessageType.Error)
-    ls.show_message(message, lspt.MessageType.Error)
-
-
-def log(info: str) -> None:
-    """Log an info message."""
-    logging.warning(info)
+import jaclang.compiler.absyntree as ast
+from jaclang.compiler.symtable import SymbolTable
 
 
 T = TypeVar("T", bound=Callable[..., Coroutine[Any, Any, Any]])
@@ -51,3 +38,53 @@ def debounce(wait: float) -> Callable[[T], Callable[..., Awaitable[None]]]:
         return debounced
 
     return decorator
+
+
+def sym_tab_list(sym_tab: SymbolTable, file_path: str) -> list[SymbolTable]:
+    """Iterate through symbol table."""
+    sym_tabs = (
+        [sym_tab]
+        if not (
+            isinstance(sym_tab.owner, ast.Module)
+            and sym_tab.owner.loc.mod_path != file_path
+        )
+        else []
+    )
+    for i in sym_tab.kid:
+        sym_tabs += sym_tab_list(i, file_path=file_path)
+    return sym_tabs
+
+
+def find_deepest_node_at_pos(
+    node: ast.AstNode, line: int, character: int
+) -> Optional[ast.AstNode]:
+    """Return the deepest node that contains the given position."""
+    if position_within_node(node, line, character):
+        for i in node.kid:
+            if position_within_node(i, line, character):
+                return find_deepest_node_at_pos(i, line, character)
+        return node
+    else:
+        return None
+
+
+def position_within_node(node: ast.AstNode, line: int, character: int) -> bool:
+    """Check if the position falls within the node's location."""
+    if node.loc.first_line < line + 1 < node.loc.last_line:
+        return True
+    if (
+        node.loc.first_line == line + 1
+        and node.loc.col_start <= character + 1
+        and (
+            node.loc.last_line == line + 1
+            and node.loc.col_end >= character + 1
+            or node.loc.last_line > line + 1
+        )
+    ):
+        return True
+    if (
+        node.loc.last_line == line + 1
+        and node.loc.col_start <= character + 1 <= node.loc.col_end
+    ):
+        return True
+    return False

jaclang/plugin/default.py

@@ -189,8 +189,8 @@ class JacFeatureDefaults:
 
         @wraps(inner_init)
         def new_init(self: Architype, *args: object, **kwargs: object) -> None:
-            inner_init(self, *args, **kwargs)
             arch_base.__init__(self)
+            inner_init(self, *args, **kwargs)
 
         cls.__init__ = new_init  # type: ignore
         return cls

jaclang/tests/fixtures/type_info.jac

@@ -10,6 +10,6 @@ obj ServerWrapper {
     self.file = file;
 }
 
-:obj:ServerWrapper:can:get_server{
+:obj:ServerWrapper:can:get_server {
     return pygls.server.LanguageServer("test_server", "1");
 }

jaclang/tests/test_cli.py

@@ -114,7 +114,7 @@ class JacCliTests(TestCase):
         stdout_value = captured_output.getvalue()
         self.assertEqual(stdout_value.count("type_info.ServerWrapper"), 6)
         self.assertEqual(stdout_value.count("builtins.int"), 2)
-        self.assertEqual(stdout_value.count("builtins.str"), 9)
+        self.assertEqual(stdout_value.count("builtins.str"), 7)
 
     def test_build_and_run(self) -> None:
         """Testing for print AstTool."""

jaclang/utils/helpers.py

@@ -128,15 +128,13 @@ def auto_generate_refs() -> None:
 
 
 def import_target_to_relative_path(
-    import_level: int,
-    import_target: str,
-    base_path: Optional[str] = None,
+    level: int, target: str, base_path: Optional[str] = None
 ) -> str:
     """Convert an import target string into a relative file path."""
     if not base_path:
         base_path = os.getcwd()
-    parts = import_target.split(".")
-    traversal_levels = import_level - 1 if import_level > 0 else 0
+    parts = target.split(".")
+    traversal_levels = level - 1 if level > 0 else 0
     actual_parts = parts[traversal_levels:]
     for _ in range(traversal_levels):
         base_path = os.path.dirname(base_path)

jaclang/utils/test.py

@@ -68,7 +68,7 @@ class TestCaseMicroSuite(TestCase):
                 os.path.dirname(os.path.dirname(jaclang.__file__))
             )
             for name in files
-            if name.endswith(".jac") and not name.startswith("err")
+            if name.endswith(".jac") and "err" not in name
         ]:
             method_name = (
                 f"test_micro_{filename.replace('.jac', '').replace(os.sep, '_')}"

{jaclang-0.6.5.dist-info → jaclang-0.7.1.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: jaclang
-Version: 0.6.5
+Version: 0.7.1
 Summary: Jac is a unique and powerful programming language that runs on top of Python, offering an unprecedented level of intelligence and intuitive understanding.
 Home-page: https://jaseci.org
 License: MIT
@@ -25,7 +25,7 @@ Description-Content-Type: text/markdown
          width="20%">
   </picture>
 
-[Website][Jaclang] | [Getting started] | [Learn] | [Documentation] | [Contributing]
+[Jac Website] | [Getting started] | [Learn] | [Documentation] | [Contributing]
 
   [![PyPI version](https://img.shields.io/pypi/v/jaclang.svg)](https://pypi.org/project/jaclang/) [![Tests](https://github.com/chandralegend/jaclang/actions/workflows/run_pytest.yml/badge.svg?branch=main)](https://github.com/chandralegend/jaclang/actions/workflows/run_pytest.yml) [![codecov](https://codecov.io/github/chandralegend/jaclang/graph/badge.svg?token=OAX26B0FE4)](https://codecov.io/github/chandralegend/jaclang)
 </div>
@@ -33,30 +33,22 @@ Description-Content-Type: text/markdown
 This is the main source code repository for the [Jac] programming language. It contains the compiler, language server, and documentation.
 
 [Jac]: https://www.jac-lang.org/
+[Jac Website]: https://www.jac-lang.org/
 [Getting Started]: https://www.jac-lang.org//start/
 [Learn]: https://www.jac-lang.org//learn
 [Documentation]: https://www.jac-lang.org//learn/guide/
 [Contributing]: .github/CONTRIBUTING.md
 
-## Why Jac?
+## What and Why Jac?
 
-- **Easy:** Jac is designed to be easy to learn and use, while also being powerful.
+- **Native Superset of Python** - Jac is a native superset of python, meaning the entire python ecosystem is directly interoperable with Jac without any trickery (no interop interface needed). Like Typescript is to Javascript, or C++ is to C, Jac is to Python. (every Jac program can be ejected to pure python, and every python program can be transpiled to a Jac program)
 
-- **Reliability:** Our rich type system and runtime checks ensure your code is correct.
+- **AI as a Programming Language Constructs** - Jac includes a novel (neurosymbolic) language construct that allows replacing code with generative AI models themselves. Jac's philosophy abstracts away prompt engineering. (Imagine taking a function body and swapping it out with a model.)
 
-- **AI Ready:** Jac provide easy to use Abstractions specially designed for LLMs.
+- **New Modern Abstractions** - Jac introduces a paradigm that reasons about persistence and the notion of users as a language level construct. This enables writing simple programs for which no code changes are needed whether they run in a simple command terminal, or distributed across a large cloud. Jac's philosophy abstracts away dev ops and container/cloud configuration.
 
-- **Data Spatial Programming:** Jac provides easy to use Abstractions for Data Spatial Programming.
+- **Jac Improves on Python** - Jac makes multiple thoughtful quality-of-life improvements/additions to Python. These include new modern operators, new types of comprehensions, new ways of organizing modules (i.e., separating implementations from declarations), etc.
 
-- **Support:** Jac compiles to Python, which is widely used and has a large ecosystem. Making it easy to integrate with existing code.
-
-- **Dev Friendly:** Highly Refactorable, Jac is designed to be easy to refactor and maintain. VSCode Editor support. Builtin language server protocol support.
-
-- **Cloud-native:** Jac is designed to be cloud-native, making it easy to deploy and scale.
-
-
-
-[jac-analyzer]: https://github.com/Jaseci-Labs/jac-analyzer
 
 ## Quick Start
 

{jaclang-0.6.5.dist-info → jaclang-0.7.1.dist-info}/RECORD

@@ -6,27 +6,27 @@ jaclang/cli/cli.py,sha256=d352zfA5_Da5InyQkv4V-qaxIcdIaVYJVeYt8npSB3I,13553
 jaclang/cli/cmdreg.py,sha256=u0jAd6A8czt7tBgPBBKBhYAG4By1FrjEGaTU2XFKeYs,8372
 jaclang/compiler/.gitignore,sha256=n1k2_xXTorp9PY8hhYM4psHircn-NMaFx95bSgDKopo,10
 jaclang/compiler/__init__.py,sha256=JA3L1ran0PlZI5Pcj2CIrFgrZGRNFHHC5kRh1QYgYlY,3146
-jaclang/compiler/absyntree.py,sha256=PXHefWmwDO2ZD9iShs_Mt3-m_JP0f0HVCsE4UfPZjQg,126904
+jaclang/compiler/absyntree.py,sha256=RC32GBkSoOUggcCKG6ud9TzcRvgDobHQzw2E8n6lXgo,125944
 jaclang/compiler/codeloc.py,sha256=KMwf5OMQu3_uDjIdH7ta2piacUtXNPgUV1t8OuLjpzE,2828
-jaclang/compiler/compile.py,sha256=IOjTLv42IULW6HbCpFINNrRhwjHDebKO1vdon0EX85k,2772
+jaclang/compiler/compile.py,sha256=0d8p4i2LXg2RCu1XfWx_Jq_dx7pK2Zn2VIj-apvX_nI,3389
 jaclang/compiler/constant.py,sha256=C8nOgWLAg-fRg8Qax_jRcYp6jGyWSSA1gwzk9Zdy7HE,6534
 jaclang/compiler/jac.lark,sha256=TI8ctvs_cASPp-EDPrMiCeL80Ngvj_7WxGMUFtGN7vs,17040
-jaclang/compiler/parser.py,sha256=Cp_3p5lR7QekGqYYGYm6Blye5tmQAux7EuP6CBDRNpY,138547
+jaclang/compiler/parser.py,sha256=Fy6qsTdh82YvXSgXoevIT5dIGjAn3hqbN45muJ5jFNY,138789
 jaclang/compiler/passes/__init__.py,sha256=0Tw0d130ZjzA05jVcny9cf5NfLjlaM70PKqFnY4zqn4,69
 jaclang/compiler/passes/ir_pass.py,sha256=gh1Zd8ouu79FoxerW1sMxktmfeC9gHyp4H_MoAviYP8,5504
-jaclang/compiler/passes/main/__init__.py,sha256=m8vZ0F6EiwOm0e0DWKRYgc8JcgiT2ayBrY6GojZkTfY,945
+jaclang/compiler/passes/main/__init__.py,sha256=YSWVNkgnJKF32LpJwX__FwvYrpTSoxFqvnw410WrhkA,947
 jaclang/compiler/passes/main/access_modifier_pass.py,sha256=1tQJ9bNlOVX3sgL0DK4jv643Pu5xl68oL8LNsaHf-MY,4864
-jaclang/compiler/passes/main/def_impl_match_pass.py,sha256=NlHHHMT1C-8RoCWjL7E2oYDBXeX82g0dWn_SnEWEtMk,3753
-jaclang/compiler/passes/main/def_use_pass.py,sha256=d2REmfme2HjUj8avDcXUuPbv3yKfvYHqpL49sxniLhQ,8576
+jaclang/compiler/passes/main/def_impl_match_pass.py,sha256=omMqI2vGBD42sBtBU1YFR7mP_M4k9c3UluRUoG3xKHU,3522
+jaclang/compiler/passes/main/def_use_pass.py,sha256=3JeiqNxegTQ8a2gk3Tlc4frUrSQ1ZZeiv2qwNA1OPp0,8887
 jaclang/compiler/passes/main/fuse_typeinfo_pass.py,sha256=9alMH5yPLzFZ1iZJw0UCjh-9BOOxNALA_QjW0IqQdDg,16322
-jaclang/compiler/passes/main/import_pass.py,sha256=NlCzK6Cdke-59mHm6q9LDHIUbXBpFOVZ725GYcbhqK0,8055
-jaclang/compiler/passes/main/pyast_gen_pass.py,sha256=sL5VIR2cT_NQYlyFopZz5XSXjQcisltVwdmLL8pXf3w,136197
+jaclang/compiler/passes/main/import_pass.py,sha256=rNlik9QXBJ8xnye5TiegOVWpuhXAPeq1SlDC8fMYVv4,10153
+jaclang/compiler/passes/main/pyast_gen_pass.py,sha256=5l3KVs-eyrUa9OtSekemXGeaf5VCJcNYbf2CwzWFfDI,138114
 jaclang/compiler/passes/main/pyast_load_pass.py,sha256=lFJhcaXbsDKi2WJzVlD0EdSEKosUjopHFHzAYV3KvhQ,90650
 jaclang/compiler/passes/main/pybc_gen_pass.py,sha256=CjA9AqyMO3Pv_b5Hh0YI6JmCqIru2ASonO6rhrkau-M,1336
 jaclang/compiler/passes/main/pyjac_ast_link_pass.py,sha256=K5jNHRPrFcC_-RbgY7lngSNSDQLQr27N31_aUrGUACo,7864
 jaclang/compiler/passes/main/pyout_pass.py,sha256=clJkASFiBiki5w0MQXYIwcdvahYETgqAjKlYOYVYKNQ,3137
 jaclang/compiler/passes/main/registry_pass.py,sha256=Lp_EqlflXkSgQuJe_EVBtzC16YAJx70bDO6X0nJIX5U,4579
-jaclang/compiler/passes/main/schedules.py,sha256=oTH2EvvopLdmrtPl8b-CENWAPviIZe7qNLOuODJ5Iuw,1253
+jaclang/compiler/passes/main/schedules.py,sha256=cu3-AIckvbKGe3C-DbtDwwAdvnX25CdDP6j9QLps9Kg,1298
 jaclang/compiler/passes/main/sub_node_tab_pass.py,sha256=fGgK0CBWsuD6BS4BsLwXPl1b5UC2N2YEOGa6jNMu8N8,1332
 jaclang/compiler/passes/main/sym_tab_build_pass.py,sha256=1bUU-p0zCoLoF7_HgLr2FKxUuc_4y2O7-5FSJD8mfWc,42020
 jaclang/compiler/passes/main/tests/__init__.py,sha256=UBAATLUEH3yuBN4LYKnXXV79kokRc4XB-rX12qfu0ds,28
@@ -47,12 +47,13 @@ jaclang/compiler/passes/main/tests/fixtures/game1.jac,sha256=oiTadkrYJRUo6ZkHUi7
 jaclang/compiler/passes/main/tests/fixtures/impl/defs1.jac,sha256=MIYBOmcG4NnxsJcR4f-bposvl5ILfshU0tKJ7qMjjzU,112
 jaclang/compiler/passes/main/tests/fixtures/impl/defs2.jac,sha256=MIYBOmcG4NnxsJcR4f-bposvl5ILfshU0tKJ7qMjjzU,112
 jaclang/compiler/passes/main/tests/fixtures/impl/imps.jac,sha256=MTVCw95_OwssjB7MtEPTYoHSHcceZAhFLokW8Zaruzg,135
+jaclang/compiler/passes/main/tests/fixtures/incautoimpl.jac,sha256=WX54UE-AUAfnjva0y9NkSl8-0aJAE1HqO0gw4rtCqhs,71
 jaclang/compiler/passes/main/tests/fixtures/multi_def_err.jac,sha256=BxgmNUdz76gKLi6PXnLZE9rartodMgch5ydpGrd25Ec,87
 jaclang/compiler/passes/main/tests/fixtures/registry.jac,sha256=1G6amtU1zIFCgq09v7xTp9zZ5sw5IbXHfYVlOo-drPg,993
 jaclang/compiler/passes/main/tests/fixtures/type_info.jac,sha256=64Im2L-R3YF8DEuTt29QE6mJI5PnFe3PiwcDLKa8gOE,661
-jaclang/compiler/passes/main/tests/test_decl_def_match_pass.py,sha256=QDsvTEpJt3AuS3GRwfq-1mezRCpx7rwEEyg1AbusaBs,1374
+jaclang/compiler/passes/main/tests/test_decl_def_match_pass.py,sha256=-qb9-XV6XbPCbL3JoUQsbS86w-WjkAKCnAYuDFORoIE,1378
 jaclang/compiler/passes/main/tests/test_def_use_pass.py,sha256=dmyZgXugOCN-_YY7dxkNHgt8vqey8qzNJf8sWyLLZ5w,1013
-jaclang/compiler/passes/main/tests/test_import_pass.py,sha256=2oRz8lO1ORiTn36NkkshpXeT_K0L_jM8KZuvxgVzbbE,1141
+jaclang/compiler/passes/main/tests/test_import_pass.py,sha256=eG7ZopSrjTjZrPdqnXgq877FO-DcaA922zC1YiZPd_0,1733
 jaclang/compiler/passes/main/tests/test_pyast_build_pass.py,sha256=LIT4TP-nhtftRtY5rNySRQlim-dWMSlkfUvkhZTk4pc,1383
 jaclang/compiler/passes/main/tests/test_pyast_gen_pass.py,sha256=fNL_FS26AQGlRCvwWfl-Qyt7iW2_A99GIHOAnnkpw9A,4731
 jaclang/compiler/passes/main/tests/test_pybc_gen_pass.py,sha256=If8PE4exN5g9o1NRElNC0XdfIwJAp7M7f69rzmYRYUQ,655
@@ -64,7 +65,7 @@ jaclang/compiler/passes/main/tests/test_typeinfo_pass.py,sha256=ehC0_giLg7NwB7fR
 jaclang/compiler/passes/main/type_check_pass.py,sha256=-f41Ukr3B1w4rkQdZ2xJy6nozymgnVKjJ8E1fn7qJmI,3339
 jaclang/compiler/passes/tool/__init__.py,sha256=xekCOXysHIcthWm8NRmQoA1Ah1XV8vFbkfeHphJtUdc,223
 jaclang/compiler/passes/tool/fuse_comments_pass.py,sha256=N9a84qArNuTXX1iaXsBzqcufx6A3zYq2p-1ieH6FmHc,3133
-jaclang/compiler/passes/tool/jac_formatter_pass.py,sha256=oYXDWWlxYj0FGXxXUOPnmwnkFPmayd2fRoWngvDgXwc,86113
+jaclang/compiler/passes/tool/jac_formatter_pass.py,sha256=xpM10gIhILS37Ne2NVFMruJwmG1GfDcY0y8fbgqWrdM,86134
 jaclang/compiler/passes/tool/schedules.py,sha256=kmbsCazAMizGAdQuZpFky5BPlYlMXqNw7wOUzdi_wBo,432
 jaclang/compiler/passes/tool/tests/__init__.py,sha256=AeOaZjA1rf6VAr0JqIit6jlcmOzW7pxGr4U1fOwgK_Y,24
 jaclang/compiler/passes/tool/tests/fixtures/corelib.jac,sha256=GA5_CDQQo9awG6H8wed8tp06KoWtQ8nR70LVbBwCFIY,12416
@@ -99,7 +100,7 @@ jaclang/compiler/passes/tool/tests/fixtures/simple_walk_fmt.jac,sha256=6jwYKXxJ1
 jaclang/compiler/passes/tool/tests/test_fuse_comments_pass.py,sha256=ZeWHsm7VIyyS8KKpoB2SdlHM4jF22fMfSrfTfxt2MQw,398
 jaclang/compiler/passes/tool/tests/test_jac_format_pass.py,sha256=P4vBRbwVAkb8svFSAOf4VKioZS8BkoaVfYdn-LCrRqA,6144
 jaclang/compiler/passes/tool/tests/test_unparse_validate.py,sha256=Tg9k7BOSkWngAZLvSHmPt95ILJzdIvdHxKBT__mgpS0,2910
-jaclang/compiler/passes/transform.py,sha256=Z3TuHMJ7TyyBHt0XmRWEjMk8-t6logKs7XG_OTDJIvo,2162
+jaclang/compiler/passes/transform.py,sha256=jh2pMGFs6J9ZbQ2E-3r21khDm53yKXbNq5GstLMkBpg,2374
 jaclang/compiler/passes/utils/__init__.py,sha256=UsI5rUopTUiStAzup4kbPwIwrnC5ofCrqWBCBbM2-k4,35
 jaclang/compiler/passes/utils/mypy_ast_build.py,sha256=DbTYKwQ2K-3JXS_RybLyvqDz_381Li8JfFKNeEQhbRY,26324
 jaclang/compiler/symtable.py,sha256=f-9c3eQJTDhEG22kYC3Vd4i5gRWf77_CsqFm7t8Wsng,6031
@@ -109,13 +110,11 @@ jaclang/compiler/tests/fixtures/activity.py,sha256=fSvxYDKufsPeQIrbuh031zHw_hdbR
 jaclang/compiler/tests/fixtures/fam.jac,sha256=DGR9vJI8H73plbyvwdTHbsvSRd_0hT-Kq9IIIrQ1GLU,1544
 jaclang/compiler/tests/fixtures/hello_world.jac,sha256=uT67nGzdYY7YT6Xj5-OHFAZPEHfIl4zGlfyNs7-zRBI,78
 jaclang/compiler/tests/fixtures/kwesc.jac,sha256=OXxVL_fwiFuvYO1YX1RHa2hpETSpb0QD1-gMYnMY6DA,103
-jaclang/compiler/tests/fixtures/mod_doc_test.jac,sha256=p3n-JMJAerocPBA0p_MGf_F7KY-OosIqjHEqcjVrB30,31
+jaclang/compiler/tests/fixtures/mod_doc_test.jac,sha256=aFZpjn7V5lvCHp0lPoGXtdkcY3CK8_-SKeZGruutv4Y,35
 jaclang/compiler/tests/fixtures/staticcheck.jac,sha256=t849--dTkSSjCJX1OiMV-lgao_hIDSKwKVs-aS6IwK8,342
 jaclang/compiler/tests/fixtures/stuff.jac,sha256=qOq6WOwhlprMmJpiqQudgqnr4qTd9uhulQSDGQ3o6sY,82
 jaclang/compiler/tests/test_importer.py,sha256=JNmte5FsHhnng9jzw7N5BenflAFCasuhezN1sytDVyg,1739
 jaclang/compiler/tests/test_parser.py,sha256=C81mUo8EGwypPTTLRVS9BglP0Dyye9xaPSQtw7cwnnI,4814
-jaclang/compiler/tests/test_workspace.py,sha256=SEBcvz_daTbonrLHK9FbjiH86TUbOtVGH-iZ3xkJSMk,3184
-jaclang/compiler/workspace.py,sha256=I1MF2jaSylDOcQQV4Ez3svi4FdOyfmbNupuZT7q9aFQ,7797
 jaclang/core/__init__.py,sha256=jDDYBCV82qPhmcDVk3NIvHbhng0ebSrXD3xrojg0-eo,34
 jaclang/core/aott.py,sha256=MMFmel9cf1KrREjLUY9vV0b38pdb_4N3pxe5jMedBYA,7582
 jaclang/core/construct.py,sha256=ZwgOO-P2OTv8d7mnxBkRg-AitrzYxsbFNqJZjRE9YqM,18649
@@ -134,9 +133,16 @@ jaclang/core/registry.py,sha256=4uuXahPN4SMVEWwJ6Gjm5LM14rePMGoyjQtSbDQmQZs,4178
 jaclang/core/shelve_storage.py,sha256=UsZRHM8KPGUlZTX_bfcxzabInNrTaQVNMatQifycMYg,1692
 jaclang/core/utils.py,sha256=5e4DyjtSweFxKeIuEyeYGV2MsuTtfnncfIwRdoyFdys,7736
 jaclang/langserve/__init__.py,sha256=3qbnivBBcLZCfmDYRMIeKkG08Lx7XQsJJg-qG8TU8yc,51
-jaclang/langserve/server.py,sha256=6SSsYDU6OBNHbgO0p6O38yrLZrjqFfpiRMwVnA79XJs,3553
+jaclang/langserve/engine.py,sha256=xz_Qmss5d79nevli_gKN5giD61Ibt7O2MwA8Migu_t4,14910
+jaclang/langserve/server.py,sha256=2CUO_5y2YFg7x0THrmseomYSaiUWukZqDxjdIvp02H0,4280
 jaclang/langserve/tests/__init__.py,sha256=iDM47k6c3vahaWhwxpbkdEOshbmX-Zl5x669VONjS2I,23
 jaclang/langserve/tests/defaults.py,sha256=8UWHuCHY-WatPcWFhyX9-4KLuJgODTlLNj0wNnKomIM,7608
+jaclang/langserve/tests/fixtures/circle.jac,sha256=M-OOMttQ9D5qyvfJibKJVW6ce3YRmXKDUAWzyy4N4mU,1733
+jaclang/langserve/tests/fixtures/circle_err.jac,sha256=6Cn3PtP3ujjC8DjiOQWFbdb5C6wW12wAv9BwLwvX7b4,1732
+jaclang/langserve/tests/fixtures/circle_pure.impl.jac,sha256=wj2hs7EwA35a-7oGVZppQlNlgIhYOdmqW2LP4i1uQsc,670
+jaclang/langserve/tests/fixtures/circle_pure.jac,sha256=jQ5QX0G5khGACoY82CM-6LcOX57w4e29tHVicE2eMgw,608
+jaclang/langserve/tests/fixtures/circle_pure_err.impl.jac,sha256=rsXatY9a-wZONRPJ6VOuw7Bj9R_CrJO_TEwAVXj1PjU,702
+jaclang/langserve/tests/fixtures/circle_pure_err.jac,sha256=jQ5QX0G5khGACoY82CM-6LcOX57w4e29tHVicE2eMgw,608
 jaclang/langserve/tests/fixtures/hello.jac,sha256=iRMKtYVCw1zLvjOQbj3q__3Manj1Di1YeDTNMEvYtBc,36
 jaclang/langserve/tests/pylsp_jsonrpc/__init__.py,sha256=bDWxRjmELPCVGy243_0kNrG7PttyZsv_eZ9JTKQrU1E,105
 jaclang/langserve/tests/pylsp_jsonrpc/dispatchers.py,sha256=zEZWu6C2_n4lPoA8H8OO67746P93VhbYaXZMdtrD8Z0,1038
@@ -144,11 +150,11 @@ jaclang/langserve/tests/pylsp_jsonrpc/endpoint.py,sha256=TxDpWUd-8AGJwdRQN_iiCXY
 jaclang/langserve/tests/pylsp_jsonrpc/exceptions.py,sha256=NGHeFQawZcjoLUcgDmY3bF7BqZR83g7TmdKyzCmRaKM,2836
 jaclang/langserve/tests/pylsp_jsonrpc/streams.py,sha256=R80_FvICIkrbdGmNtlemWYaxrr7-XldPgLaASnyv0W8,3332
 jaclang/langserve/tests/session.py,sha256=3pIRoQjZnsnUWIYnO2SpK7c1PAiHMCFrrStNK2tawRM,9572
-jaclang/langserve/tests/test_server.py,sha256=Zqo4bnlUg9TH1xHSpT4VBpTefT6tLCWjOZbFI9hEzUs,1411
-jaclang/langserve/utils.py,sha256=VsSdZQNVW5lS8ko8z-h4CnbCugs4UK44NLAqYqTGjwA,1490
+jaclang/langserve/tests/test_server.py,sha256=oteZHprqS61mR9TCnpvuTo0A9XV66gX--h5isSazb08,3010
+jaclang/langserve/utils.py,sha256=cEW-nOLA5KLShTE1cBXItSelaKj2qyNZNTtlPE1T8Xk,2717
 jaclang/plugin/__init__.py,sha256=5t2krHKt_44PrCTGojzxEimxpNHYVQcn89jAiCSXE_k,165
 jaclang/plugin/builtin.py,sha256=PP2Vs4p_oDbGYEx0iBFDYH49I4uSRnNVWgx2aOzorVA,1187
-jaclang/plugin/default.py,sha256=EegsveW7I41Pvkh261LVr3smC08rcbUXLBkrhLTh9mY,27142
+jaclang/plugin/default.py,sha256=bi8qyiKkXAwr-TjT_VSI0_KSW4l5fqHCGp7dV0egfI0,27142
 jaclang/plugin/feature.py,sha256=Qi30JWJvt51s9nx3eJ0_BSTYIeTYLHe-e26y0IjJLz8,9444
 jaclang/plugin/spec.py,sha256=mJRUMGaIhlHbZIvO2J-A1q3eNhnIWJ0iBCPmxhHiHx4,9043
 jaclang/plugin/tests/__init__.py,sha256=rn_tNG8jCHWwBc_rx4yFkGc4N1GISb7aPuTFVRTvrTk,38
@@ -229,22 +235,22 @@ jaclang/tests/fixtures/sub_abil_sep_multilev.jac,sha256=wm7-RGdwfUGHjQo20jj2fTp0
 jaclang/tests/fixtures/try_finally.jac,sha256=I4bjOZz0vZbY1rQZlPy-RCMYP2-LQwtsShlmKR1_UFE,574
 jaclang/tests/fixtures/tupleunpack.jac,sha256=AP6rbofc0VmsTNxInY6WLGRKWVY6u8ut0uzQX_52QyI,64
 jaclang/tests/fixtures/tuplytuples.jac,sha256=6qiXn5OV_qn4cqKwROjJ1VuBAh0nbUGpp-5vtH9n_Dg,344
-jaclang/tests/fixtures/type_info.jac,sha256=n3v2snKNNZu2-4qdicKhw67Jc_rS4oIB3puXDx9-FUA,315
+jaclang/tests/fixtures/type_info.jac,sha256=4Cw31ef5gny6IS0kLzgeSO-7ArEH1HgFFFip1BGQhZM,316
 jaclang/tests/fixtures/with_context.jac,sha256=cDA_4YWe5UVmQRgcpktzkZ_zsswQpV_T2Otf_rFnPy8,466
 jaclang/tests/fixtures/with_llm_function.jac,sha256=hcDBO2Ch5IScrV0VBzeYaNaL4GhmVwg_odOzfOb1pwk,804
 jaclang/tests/fixtures/with_llm_lower.jac,sha256=S3a8luL38neLReoxNzs-nLeN36oys059MS8g7g_oqJg,1878
 jaclang/tests/fixtures/with_llm_method.jac,sha256=l76E50hIygLwkiIpjf3iYGv97C3yZlUABE2D5GnqQ44,1420
 jaclang/tests/fixtures/with_llm_type.jac,sha256=LKotFGtBl9mzo08SbTkzBWa3rGWt4AuzgianHFkAZvU,1778
-jaclang/tests/test_cli.py,sha256=2HAKgbEWvi6NWrpVU_mXYTk-I1EWlR6yYi0c61_IK5c,8703
+jaclang/tests/test_cli.py,sha256=eHnlkHg6_p52q_jvRhFr0LzblZj9cAtlNDbxm-EVixs,8703
 jaclang/tests/test_language.py,sha256=V7SsMd5M_746LkZ5H_JHq6pODPu0kJTkfV3GZMqIoLs,34203
 jaclang/tests/test_man_code.py,sha256=Kq93zg3hEfiouvpWvmfCgR6lDT5RKDp28k5ZaWe1Xeg,4519
 jaclang/tests/test_reference.py,sha256=b6mR0WTJ0-sKkvZtMGsGooxzkkmD4WfXj_hOY6ZnhYw,3341
 jaclang/tests/test_settings.py,sha256=TIX5uiu8H9IpZN2__uFiclcdCpBpPpcAwtlEHyFC4kk,1999
 jaclang/utils/__init__.py,sha256=86LQ_LDyWV-JFkYBpeVHpLaVxkqwFDP60XpWXOFZIQk,46
-jaclang/utils/helpers.py,sha256=7I7v3GhT0djRpo4cgRHKxUuAarTJBjhOBI3998wJTLw,6186
+jaclang/utils/helpers.py,sha256=v-jQ-SDzGLrrLXKxoL1PaCguJqcV-X1UlwjWSL3GNAI,6142
 jaclang/utils/lang_tools.py,sha256=odv66Os8bJvw9JIUUkccGWvEPL98c-60veAiOiNyTy4,9956
 jaclang/utils/log.py,sha256=G8Y_DnETgTh9xzvlW5gh9zqJ1ap4YY_MDTwIMu5Uc0Y,262
-jaclang/utils/test.py,sha256=7-2Te0GQcKY3RJfNKa3cEJjG-RMC1r-0fHuOcFXrmE8,5383
+jaclang/utils/test.py,sha256=5VK0hVo_IyfFiMFN_gz-dFx01yF3tPVZ56RKoAAZfaU,5374
 jaclang/utils/tests/__init__.py,sha256=8uwVqMsc6cxBAM1DuHLuNuTnzLXqOqM-WRa4ixOMF6w,23
 jaclang/utils/tests/test_lang_tools.py,sha256=hFQzkzdmJIhP99xqjR5z7bqkefMLmE6kwldXYrfK--E,4831
 jaclang/utils/treeprinter.py,sha256=q0x2ztq_HmFPPHqZD--7um9yvxmMhe7E6ETJN_KLy7k,11676
@@ -1470,7 +1476,7 @@ jaclang/vendor/typing_extensions-4.12.2.dist-info/METADATA,sha256=BeUQIa8cnYbrjW
 jaclang/vendor/typing_extensions-4.12.2.dist-info/RECORD,sha256=XS4fBVrPI7kaNZ56Ggl2RGa76jySWLqTzcrUpZIQTVM,418
 jaclang/vendor/typing_extensions-4.12.2.dist-info/WHEEL,sha256=EZbGkh7Ie4PoZfRQ8I0ZuP9VklN_TvcZ6DSE5Uar4z4,81
 jaclang/vendor/typing_extensions.py,sha256=gwekpyG9DVG3lxWKX4ni8u7nk3We5slG98mA9F3DJQw,134451
-jaclang-0.6.5.dist-info/METADATA,sha256=6vtnoi2-XOXoeB-n3ZgVJv5X7qAQ4C8p-LQglGBl-nc,4213
-jaclang-0.6.5.dist-info/WHEEL,sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg,88
-jaclang-0.6.5.dist-info/entry_points.txt,sha256=8sMi4Tvi9f8tQDN2QAXsSA2icO27zQ4GgEdph6bNEZM,49
-jaclang-0.6.5.dist-info/RECORD,,
+jaclang-0.7.1.dist-info/METADATA,sha256=RkmhZ27yRPFOXpv9JlwGdiRjtBqoqWCHGLFMuWtygA8,4756
+jaclang-0.7.1.dist-info/WHEEL,sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg,88
+jaclang-0.7.1.dist-info/entry_points.txt,sha256=8sMi4Tvi9f8tQDN2QAXsSA2icO27zQ4GgEdph6bNEZM,49
+jaclang-0.7.1.dist-info/RECORD,,