jaclang 0.8.2__py3-none-any.whl → 0.8.3__py3-none-any.whl

jaclang/compiler/parser.py

@@ -546,6 +546,22 @@ class JacParser(Transform[uni.Source, uni.Module]):
             )
             return impl
 
+        def sem_def(self, _: None) -> uni.SemDef:
+            """Grammar rule.
+
+            sem_def: KW_SEM dotted_name EQ multistring SEMI
+            """
+            self.consume_token(Tok.KW_SEM)
+            target = self.extract_from_list(self.consume(list), uni.NameAtom)
+            self.consume_token(Tok.EQ)
+            value = self.consume(uni.String)
+            self.consume_token(Tok.SEMI)
+            return uni.SemDef(
+                target=target,
+                value=value,
+                kid=self.flat_cur_nodes,
+            )
+
         def impl_spec(
             self, _: None
         ) -> Sequence[uni.Expr] | uni.FuncSignature | uni.EventSignature:

jaclang/compiler/passes/main/__init__.py

@@ -5,6 +5,7 @@ from .annex_pass import JacAnnexPass  # noqa: I100
 from .sym_tab_build_pass import SymTabBuildPass, UniPass  # noqa: I100
 from .sym_tab_link_pass import SymTabLinkPass  # noqa: I100
 from .def_use_pass import DefUsePass  # noqa: I100
+from .sem_def_match_pass import SemDefMatchPass  # noqa: I100
 from .import_pass import JacImportDepsPass, PyImportDepsPass  # noqa: I100
 from .def_impl_match_pass import DeclImplMatchPass  # noqa: I100
 from .pyast_load_pass import PyastBuildPass  # type: ignore # noqa: I100
@@ -26,6 +27,7 @@ __all__ = [
     "SymTabLinkPass",
     "DeclImplMatchPass",
     "DefUsePass",
+    "SemDefMatchPass",
     "PyastBuildPass",
     "PyastGenPass",
     "PyBytecodeGenPass",

jaclang/compiler/passes/main/pyast_gen_pass.py

@@ -781,6 +781,9 @@ class PyastGenPass(UniPass):
     def exit_impl_def(self, node: uni.ImplDef) -> None:
         pass
 
+    def exit_sem_def(self, node: uni.SemDef) -> None:
+        pass
+
     def exit_func_signature(self, node: uni.FuncSignature) -> None:
         params = (
             [self.sync(ast3.arg(arg="self", annotation=None))]

jaclang/compiler/passes/main/sem_def_match_pass.py

@@ -0,0 +1,67 @@
+"""Semantic Definition Matching Pass for the Jac compiler.
+
+This pass connects semantic string definitions (SemDefs) in the AST to their corresponding
+declarations. It:
+
+1. Establishes links between semantic string definitions in the main module and their declarations
+2. Handles dotted name resolution for nested symbols
+3. Issues warnings for unmatched semantic definitions
+
+This pass is essential for Jac's semantic annotation system, allowing developers to define
+semantics in one file and link them to their corresponding declarations in another.
+"""
+
+import jaclang.compiler.unitree as uni
+from jaclang.compiler.passes.transform import Transform
+from jaclang.compiler.unitree import Symbol, UniScopeNode
+
+
+class SemDefMatchPass(Transform[uni.Module, uni.Module]):
+    """Jac Semantic definition match pass."""
+
+    def transform(self, ir_in: uni.Module) -> uni.Module:
+        """Connect Decls and Defs."""
+        self.cur_node = ir_in
+
+        self.connect_sems(ir_in.sym_tab, ir_in.sym_tab)
+        for impl_module in ir_in.impl_mod:
+            self.connect_sems(impl_module.sym_tab, ir_in.sym_tab)
+
+        return ir_in
+
+    def find_symbol_from_dotted_name(
+        self, dotted_name: str, target_sym_tab: UniScopeNode
+    ) -> Symbol | None:
+        """Find a symbol in the target symbol table by its dotted name.
+
+        Example:
+            "Foo.bar.baz" will do the following lookups:
+            target_sym_tab.lookup("Foo").lookup("bar").lookup("baz")
+        """
+        parts = dotted_name.lstrip("sem.").split(".")
+        current_sym_tab = target_sym_tab
+        sym: uni.Symbol | None = None
+        for part in parts:
+            if current_sym_tab is None:
+                return None
+            sym = current_sym_tab.lookup(part, deep=False)
+            if sym is None:
+                return None
+            current_sym_tab = sym.fetch_sym_tab
+        return sym
+
+    def connect_sems(
+        self, source_sym_tab: UniScopeNode, target_sym_tab: UniScopeNode
+    ) -> None:
+        """Connect sem strings from source symbol table to declarations in target symbol table.
+
+        When source_sym_tab and target_sym_tab are the same, this connects within the same module.
+        When different, it connects implementations from impl_mod to declarations in the main module.
+        """
+        for sym in source_sym_tab.names_in_scope.values():
+            if not isinstance(sym.decl.name_of, uni.SemDef):
+                continue
+            semdef = sym.decl.name_of
+            target_sym = self.find_symbol_from_dotted_name(sym.sym_name, target_sym_tab)
+            if target_sym is not None:
+                target_sym.decl.name_of.semstr = semdef.value.lit_value

jaclang/compiler/passes/main/sym_tab_build_pass.py

@@ -115,6 +115,14 @@ class SymTabBuildPass(UniPass):
     def exit_impl_def(self, node: uni.ImplDef) -> None:
         self.pop_scope()
 
+    def enter_sem_def(self, node: uni.SemDef) -> None:
+        self.push_scope_and_link(node)
+        assert node.parent_scope is not None
+        node.parent_scope.def_insert(node, single_decl="sem")
+
+    def exit_sem_def(self, node: uni.SemDef) -> None:
+        self.pop_scope()
+
     def enter_enum(self, node: uni.Enum) -> None:
         self.push_scope_and_link(node)
         assert node.parent_scope is not None

jaclang/compiler/passes/main/tests/fixtures/sem_def_match.impl.jac

@@ -0,0 +1,12 @@
+
+sem Person = "A class representing a person.";
+sem Person.name = "The name of the person.";
+sem Person.yob = "The year of birth of the person.";
+
+sem Person.calc_age = "Calculate the age of the person.";
+sem Person.calc_age.year = "The year to calculate the age against.";
+
+
+sem OuterClass = "A class containing an inner class.";
+sem OuterClass.InnerClass = "An inner class within OuterClass.";
+sem OuterClass.InnerClass.inner_value = "A value specific to the inner class.";

jaclang/compiler/passes/main/tests/fixtures/sem_def_match.jac

@@ -0,0 +1,31 @@
+
+enum E {
+    A = 0,
+    B = 1,
+}
+
+sem E = "An enum representing some values.";
+sem E.A = "The first value of the enum E.";
+sem E.B = "The second value of the enum E.";
+
+obj Person {
+    has name: str;
+    has yob: int;
+
+    def calc_age(year: int) -> int {
+        return year - self.yob;
+    }
+}
+
+
+obj OuterClass {
+    obj InnerClass {
+        has inner_value: str;
+    }
+}
+
+
+
+with entry {
+    print(E.A);
+}

jaclang/compiler/passes/main/tests/test_sem_def_match_pass.py

@@ -0,0 +1,38 @@
+"""Test pass module."""
+
+import jaclang.compiler.unitree as uni
+from jaclang.compiler.program import JacProgram
+from jaclang.utils.test import TestCase
+
+
+class SemDefMatchPassTests(TestCase):
+    """Test pass module."""
+
+    def test_sem_def_match(self) -> None:
+        """Basic test for pass."""
+        (out := JacProgram()).compile(self.fixture_abs_path("sem_def_match.jac"))
+        self.assertFalse(out.errors_had)
+        mod = out.mod.hub[self.fixture_abs_path("sem_def_match.jac")]
+
+        self.assertEqual(mod.lookup("E").decl.name_of.semstr, "An enum representing some values.")  # type: ignore
+        self.assertEqual(mod.lookup("E").fetch_sym_tab.lookup("A").decl.name_of.semstr, "The first value of the enum E.")  # type: ignore
+        self.assertEqual(mod.lookup("E").fetch_sym_tab.lookup("B").decl.name_of.semstr, "The second value of the enum E.")  # type: ignore
+
+        self.assertEqual(mod.lookup("Person").decl.name_of.semstr, "A class representing a person.")  # type: ignore
+
+        person_scope = mod.lookup("Person").fetch_sym_tab  # type: ignore
+        self.assertEqual(person_scope.lookup("name").decl.name_of.semstr, "The name of the person.")  # type: ignore
+        self.assertEqual(person_scope.lookup("yob").decl.name_of.semstr, "The year of birth of the person.")  # type: ignore
+
+        sym_calc_age = person_scope.lookup("calc_age")  # type: ignore
+        self.assertEqual(sym_calc_age.decl.name_of.semstr, "Calculate the age of the person.")  # type: ignore
+
+        calc_age_scope = sym_calc_age.fetch_sym_tab  # type: ignore
+        self.assertEqual(calc_age_scope.lookup("year").decl.name_of.semstr, "The year to calculate the age against.")  # type: ignore
+
+        self.assertEqual(mod.lookup("OuterClass").decl.name_of.semstr, "A class containing an inner class.")  # type: ignore
+        outer_scope = mod.lookup("OuterClass").fetch_sym_tab  # type: ignore
+        self.assertEqual(outer_scope.lookup("InnerClass").decl.name_of.semstr, "An inner class within OuterClass.")  # type: ignore
+        inner_scope = outer_scope.lookup("InnerClass").fetch_sym_tab  # type: ignore
+        self.assertEqual(inner_scope.lookup("inner_value").decl.name_of.semstr, "A value specific to the inner class.")  # type: ignore
+

jaclang/compiler/passes/tool/doc_ir_gen_pass.py

@@ -530,6 +530,8 @@ class DocIRGenPass(UniPass):
             if isinstance(i, uni.Token) and i.name == Tok.LBRACE:
                 parts.append(self.tight_line())
                 parts.append(i.gen.doc_ir)
+            elif isinstance(i, uni.Token) and i.name == Tok.RBRACE:
+                parts.append(i.gen.doc_ir)
             else:
                 parts.append(i.gen.doc_ir)
                 parts.append(self.space())
@@ -557,6 +559,7 @@ class DocIRGenPass(UniPass):
                 parts.append(i.gen.doc_ir)
             else:
                 parts.append(i.gen.doc_ir)
+        # parts.pop()
         node.gen.doc_ir = self.group(self.concat(parts))
 
     def exit_arch_has(self, node: uni.ArchHas) -> None:
@@ -569,7 +572,10 @@ class DocIRGenPass(UniPass):
             elif isinstance(i, uni.Token) and i.name == Tok.SEMI:
                 parts.pop()
                 parts.append(i.gen.doc_ir)
-                parts.append(self.space())
+            elif isinstance(i, uni.Token) and i.name == Tok.COMMA:
+                parts.pop()
+                parts.append(i.gen.doc_ir)
+                parts.append(self.indent(self.hard_line()))
             else:
                 parts.append(i.gen.doc_ir)
                 parts.append(self.space())
@@ -1316,6 +1322,21 @@ class DocIRGenPass(UniPass):
                 parts.append(self.space())
         node.gen.doc_ir = self.group(self.concat(parts))
 
+    def exit_sem_def(self, node: uni.SemDef) -> None:
+        """Generate DocIR for semantic definitions."""
+        parts: list[doc.DocType] = []
+        for i in node.kid:
+            if i in node.target:
+                parts.append(i.gen.doc_ir)
+            elif isinstance(i, uni.Token) and i.name == Tok.SEMI:
+                parts.pop()
+                parts.append(i.gen.doc_ir)
+                parts.append(self.space())
+            else:
+                parts.append(i.gen.doc_ir)
+                parts.append(self.space())
+        node.gen.doc_ir = self.group(self.concat(parts))
+
     def exit_event_signature(self, node: uni.EventSignature) -> None:
         """Generate DocIR for event signatures."""
         parts: list[doc.DocType] = []

jaclang/compiler/passes/tool/tests/fixtures/has_frmt.jac

@@ -0,0 +1,13 @@
+obj Anchor(ArchetypeProtocol) {
+    has ob: object,
+        ds_entry_funcs: list[DSFunc],
+        ds_exit_funcs: list[DSFunc],
+        jid: UUID = :> uuid4(),
+        timestamp: datetime = :> datetime.now,
+        persist: bool = False,
+        access_mode: AccessMode = AccessMode.PRIVATE,
+        rw_access: set = :> set(),
+        ro_access: set = :> set(),
+        owner_id: UUID = exec_ctx.master,
+        mem: Memory = exec_ctx.memory;
+}

jaclang/compiler/passes/tool/tests/test_jac_format_pass.py

@@ -57,6 +57,12 @@ class JacFormatPassTests(TestCaseMicroSuite):
             os.path.join(self.fixture_abs_path(""), "tagbreak.jac"),
         )
 
+    def test_has_fmt(self) -> None:
+        """Tests if the file matches a particular format."""
+        self.compare_files(
+            os.path.join(self.fixture_abs_path(""), "has_frmt.jac"),
+        )
+
     def test_import_fmt(self) -> None:
         """Tests if the file matches a particular format."""
         self.compare_files(
@@ -68,6 +74,7 @@ class JacFormatPassTests(TestCaseMicroSuite):
         self.compare_files(
             os.path.join(self.fixture_abs_path(""), "archetype_frmt.jac"),
         )
+
     # def test_corelib_fmt(self) -> None:
     #     """Tests if the file matches a particular format."""
     #     self.compare_files(

jaclang/compiler/program.py

@@ -21,6 +21,7 @@ from jaclang.compiler.passes.main import (
     PyJacAstLinkPass,
     PyastBuildPass,
     PyastGenPass,
+    SemDefMatchPass,
     SymTabBuildPass,
     SymTabLinkPass,
     Transform,
@@ -39,6 +40,7 @@ ir_gen_sched = [
     SymTabBuildPass,
     DeclImplMatchPass,
     DefUsePass,
+    SemDefMatchPass,
     CFGBuildPass,
     InheritancePass,
 ]

jaclang/compiler/unitree.py

@@ -548,6 +548,7 @@ class AstSymbolNode(UniNode):
         self.name_spec.name_of = self
         self.name_spec._sym_name = sym_name
         self.name_spec._sym_category = sym_category
+        self.semstr = ""
 
     @property
     def sym(self) -> Optional[Symbol]:
@@ -1621,6 +1622,61 @@ class ImplDef(CodeBlockStmt, ElementStmt, ArchBlockStmt, AstSymbolNode, UniScope
         return res
 
 
+class SemDef(ElementStmt, AstSymbolNode, UniScopeNode):
+    """SemDef node type for Jac Ast."""
+
+    def __init__(
+        self,
+        target: Sequence[NameAtom],
+        value: String,
+        kid: Sequence[UniNode],
+    ) -> None:
+        self.target = target
+        self.value = value
+        UniNode.__init__(self, kid=kid)
+        AstSymbolNode.__init__(
+            self,
+            sym_name="sem." + ".".join([x.sym_name for x in self.target]),
+            name_spec=self.create_sem_name_node(),
+            sym_category=SymbolType.SEM,
+        )
+        UniScopeNode.__init__(self, name=self.sym_name)
+
+    def create_sem_name_node(self) -> Name:
+        ret = Name(
+            orig_src=self.target[-1].loc.orig_src,
+            name=Tok.NAME.value,
+            value="sem." + ".".join([x.sym_name for x in self.target]),
+            col_start=self.target[0].loc.col_start,
+            col_end=self.target[-1].loc.col_end,
+            line=self.target[0].loc.first_line,
+            end_line=self.target[-1].loc.last_line,
+            pos_start=self.target[0].loc.pos_start,
+            pos_end=self.target[-1].loc.pos_end,
+        )
+        ret.parent = self
+        return ret
+
+    def normalize(self, deep: bool = False) -> bool:
+        res = True
+        if deep:
+            for item in self.target:
+                res = res and item.normalize(deep)
+            res = res and self.value.normalize(deep)
+        new_kid: list[UniNode] = [
+            self.gen_token(Tok.KW_SEM),
+        ]
+        for idx, item in enumerate(self.target):
+            new_kid.append(item)
+            if idx < len(self.target) - 1:
+                new_kid.append(self.gen_token(Tok.DOT))
+        new_kid.append(self.gen_token(Tok.EQ))
+        new_kid.append(self.value)
+        new_kid.append(self.gen_token(Tok.SEMI))
+        self.set_kids(nodes=new_kid)
+        return res
+
+
 class Enum(ArchSpec, AstAccessNode, AstImplNeedingNode, ArchBlockStmt, UniScopeNode):
     """Enum node type for Jac Ast."""
 

{jaclang-0.8.2.dist-info → jaclang-0.8.3.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.3
 Name: jaclang
-Version: 0.8.2
+Version: 0.8.3
 Summary: Jac is a unique and powerful programming language that runs on top of Python, offering an unprecedented level of intelligence and intuitive understanding.
 License: MIT
 Keywords: jac,jaclang,jaseci,python,programming-language,machine-learning,artificial-intelligence

{jaclang-0.8.2.dist-info → jaclang-0.8.3.dist-info}/RECORD

@@ -6,24 +6,25 @@ jaclang/cli/cli.py,sha256=HhqQ6_c2KwroRf7i4z2ry3B7xlzsW1bytXtUZI5AUDw,19950
 jaclang/cli/cmdreg.py,sha256=EcFsN2Ll9cJdnBOWwO_R1frp0zP8KBKVfATfYsuWmLQ,14392
 jaclang/compiler/__init__.py,sha256=RKFpQRMZ-UWKVNEWCVsJmdV4Q8f1bJnAEIDd2p2qqH8,2530
 jaclang/compiler/codeinfo.py,sha256=ZOSAp1m3dBA8UF-YUz6H6l3wDs1EcuY4xWp13XmgHCo,2332
-jaclang/compiler/constant.py,sha256=13pvhTPWwK2DKnVAqcJMIE8geo5-AeTx-THyvVc5yS0,8165
-jaclang/compiler/jac.lark,sha256=4DpXcd3CWzZQ1sABUGLLXQAFZKtXkbSIs-2p4xzhFjE,18330
+jaclang/compiler/constant.py,sha256=IQVtg-GuL8y-cxNptaX_3pLnOikH5wstVX6VjpwbpuI,8220
+jaclang/compiler/jac.lark,sha256=3PN9QElJ-YOKvgZShyxAkAh189pbKWOeo9ZPxmSgsKE,18431
 jaclang/compiler/larkparse/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-jaclang/compiler/larkparse/jac_parser.py,sha256=bf5Hro6vBSx37NVQDcl5gQBONatWNJuIAwstpaLw3aQ,318946
-jaclang/compiler/parser.py,sha256=xSLX-r-rNCCdd9RmRaHw3dtxwdGW3K9nJ7jRX0N6quw,106178
+jaclang/compiler/larkparse/jac_parser.py,sha256=Q6oRmW7u2ty_NzlTUTXg3JijiO4aSeUIDOuTvJtpZx8,322714
+jaclang/compiler/parser.py,sha256=6tFri3JTDOuGEUDNpMVXefkkRdEmjn1onY7lGlPgx78,106727
 jaclang/compiler/passes/__init__.py,sha256=gQjeT9UTNAHTgOvRX9zeY20jC22cZVl2HhKuUKZo66M,100
-jaclang/compiler/passes/main/__init__.py,sha256=_9UOkS_4J3FLok_wxLKNk3LqWpcjhRonNs6jVy4JdF8,1186
+jaclang/compiler/passes/main/__init__.py,sha256=9qMiQaoaywqozxVr3qgefud2M9SuF_zZn50ldzOcpdM,1271
 jaclang/compiler/passes/main/annex_pass.py,sha256=EcMmXTMg8H3VoOCkxHUnCSWzJJykE1U_5YRuKF1VpYw,3082
 jaclang/compiler/passes/main/cfg_build_pass.py,sha256=3pms5O00l17pt3Za6EqT9pTM_uX2gZlISC8HbhvEmAc,12349
 jaclang/compiler/passes/main/def_impl_match_pass.py,sha256=AYhqi5ZFzUQyrJVFAPa9H8Bf0FZj4wZau16pTpMBib4,10143
 jaclang/compiler/passes/main/def_use_pass.py,sha256=dw_dQmwx8KPE0mfa-PLTdhTMbIY6XOJYzAdhwqR7V6w,4945
 jaclang/compiler/passes/main/import_pass.py,sha256=gloHpNqgF-VzL_h50rAn06Rr9fJS3tpFIhGpE3yOQ0A,15019
 jaclang/compiler/passes/main/inheritance_pass.py,sha256=8N3wfTa4Udvfl7WLjauvHNJSPNuxH7NO2SEvS6Z5Vvs,5141
-jaclang/compiler/passes/main/pyast_gen_pass.py,sha256=a14ErSqOjRp4qV_FNYwlNdCvLN0faBOzQCNlcQ5Nm_I,104077
+jaclang/compiler/passes/main/pyast_gen_pass.py,sha256=WuDunaRNgmCjC14IOqixZZqMBmUQwPd7Oq3va7UHdPk,104145
 jaclang/compiler/passes/main/pyast_load_pass.py,sha256=zHi9p0STszSk6pHjkgXqz9PQfRa2sfXdMat0mWyXLHM,84794
 jaclang/compiler/passes/main/pybc_gen_pass.py,sha256=KUQ31396CBb_ib85rYL_QhvHY75ZxyJm8qSps8KYSyE,1876
 jaclang/compiler/passes/main/pyjac_ast_link_pass.py,sha256=_4l6CLZ_UHDSD0aJyyGesAvY0BSgWtc4F7Deikqgbko,5584
-jaclang/compiler/passes/main/sym_tab_build_pass.py,sha256=dmN59uwazmWrG0zRPNmwvzGFRMx82ZQL2Tqq_AxXGyA,7524
+jaclang/compiler/passes/main/sem_def_match_pass.py,sha256=-B9JlObWLhvgnXvAy22wOYPAeiJzNDav0-kyFQKflAU,2697
+jaclang/compiler/passes/main/sym_tab_build_pass.py,sha256=GzggkM2HuGYCgLeDlgsqPIBKumGY_baVL_rh4KgLtxg,7806
 jaclang/compiler/passes/main/sym_tab_link_pass.py,sha256=2sqSmgxFd4YQZT4CiPxcfRi4Nrlv-ETP82_tSnYuFGA,5497
 jaclang/compiler/passes/main/tests/__init__.py,sha256=RgheAgh-SqGTa-4kBOY-V-oz8bzMmDWxavFqwlYjfgE,36
 jaclang/compiler/passes/main/tests/fixtures/access_checker.jac,sha256=UVoY7sYW-R0ms2HDA4HXQ5xJNiW0vEbY2T5CCY1avus,281
@@ -71,6 +72,8 @@ jaclang/compiler/passes/main/tests/fixtures/pygame_mock/__init__.pyi,sha256=Y1RS
 jaclang/compiler/passes/main/tests/fixtures/pygame_mock/color.py,sha256=pvJICEi1sv2hRU88_fekFPeotv3vFyPs57POOkPHPh8,76
 jaclang/compiler/passes/main/tests/fixtures/pygame_mock/constants.py,sha256=1i-OHdp8rQJNN_Bv6G4Nd3mBfKAn-V0O4pyR4ewg5kA,61
 jaclang/compiler/passes/main/tests/fixtures/pygame_mock/display.py,sha256=uzQZvyHHf4iPAodRBuBxrnwx3CpDPbMxcsGRlUB_9GY,29
+jaclang/compiler/passes/main/tests/fixtures/sem_def_match.impl.jac,sha256=RmAD6aW9BGeTlmSihyoZTk5JJCgOKSePiQVazY8cqtM,476
+jaclang/compiler/passes/main/tests/fixtures/sem_def_match.jac,sha256=zQ4zrSxhvYno7YZmdbs1m3edrkrs7fiF6T8RDN4xkYs,410
 jaclang/compiler/passes/main/tests/fixtures/str2doc.py,sha256=NYewMLGAYR8lrC5NxSNU_P0rNPhWSaiVIcvqg6jtQ54,73
 jaclang/compiler/passes/main/tests/fixtures/symtab_link_tests/action/__init__.py,sha256=q4Y-kZibGbSLBnW8U_4j_5z_J2tevzBwhcw5EureENU,97
 jaclang/compiler/passes/main/tests/fixtures/symtab_link_tests/action/actions.jac,sha256=cDHCNudzrjSL0oXMd2uSFj5tpskAhzWKhZy0NZkVR58,283
@@ -85,12 +88,13 @@ jaclang/compiler/passes/main/tests/test_import_pass.py,sha256=2FNsF6Z4zRUsxWOOcb
 jaclang/compiler/passes/main/tests/test_pyast_build_pass.py,sha256=MIn0rGJ_fdyH-g1mtTNopwng9SQNSzGta5kiEXB4Ffg,1973
 jaclang/compiler/passes/main/tests/test_pyast_gen_pass.py,sha256=ED5f9r8ck9bKAo4wsKNsZ9HV-n9WrrFsWpY2I-r-XFk,4341
 jaclang/compiler/passes/main/tests/test_pybc_gen_pass.py,sha256=x92ZvO3vAehSlZojzTE6H4_Sc-mB2tK3gG-dZTWxqFQ,650
+jaclang/compiler/passes/main/tests/test_sem_def_match_pass.py,sha256=-4m_fmLZC6l5Jk4STNB7pXS9qw21CUFulhM4PXlyuYE,2262
 jaclang/compiler/passes/main/tests/test_sub_node_pass.py,sha256=zO2PNo5DgtD1Qud8rTEdr-gLUVcMUXpQCBY-8-nj684,771
 jaclang/compiler/passes/main/tests/test_sym_tab_build_pass.py,sha256=7gtUU9vV3q5x2vFt_oHyrq9Q4q538rWcO8911NFtmK4,701
 jaclang/compiler/passes/main/tests/test_sym_tab_link_pass.py,sha256=N7eNPyIEwiM_1yECaErncmRXTidp89fFRFGFTd_AgIo,1894
 jaclang/compiler/passes/tool/__init__.py,sha256=8M5dq_jq2TC4FCx4Aqr0-Djzf2i_w_1HtYSMLZ0CXNY,299
 jaclang/compiler/passes/tool/doc_ir.py,sha256=okuoESF1qLbd3OHQxcfzHs35c6eilcIBp2sWNGg1m5w,5978
-jaclang/compiler/passes/tool/doc_ir_gen_pass.py,sha256=BKHnzHaO9WSTZ3V3OkKGg4YQAO7xlt8VCWQ4_X9sJOk,55891
+jaclang/compiler/passes/tool/doc_ir_gen_pass.py,sha256=Yo2akxld2eX2_arsO5SbZkvN3cw3mykBZa9vXTk8RW0,56771
 jaclang/compiler/passes/tool/fuse_comments_pass.py,sha256=GO-8ISvsD9L98ujeMsT5r_drpmnltRX5MWZCNKOFpGc,4530
 jaclang/compiler/passes/tool/jac_formatter_pass.py,sha256=9Bk5_jHMKNPNhTsEKpWu40Q7ZL2jfdEYuMbriA1RCU4,6138
 jaclang/compiler/passes/tool/tests/__init__.py,sha256=AeOaZjA1rf6VAr0JqIit6jlcmOzW7pxGr4U1fOwgK_Y,24
@@ -106,6 +110,7 @@ jaclang/compiler/passes/tool/tests/fixtures/general_format_checks/esc_keywords.j
 jaclang/compiler/passes/tool/tests/fixtures/general_format_checks/line_spacing.jac,sha256=JAuaxnvG81o92uQG_SWawD9rceDGp4wjnDrreeBcQHw,1040
 jaclang/compiler/passes/tool/tests/fixtures/general_format_checks/long_names.jac,sha256=f3ptg81A3mub7OdsVlxvX7FInEmT6Y2D55ZacQ7kZQw,734
 jaclang/compiler/passes/tool/tests/fixtures/general_format_checks/triple_quoted_string.jac,sha256=N8pvJ0XIElQWSpbDSpDF7bx-B9QSVJwIWr0P3RBGoE8,194
+jaclang/compiler/passes/tool/tests/fixtures/has_frmt.jac,sha256=vIRwKItNJxbyAkSPpoFXMVKDnt3DWAQQKhu-5YCT1b0,444
 jaclang/compiler/passes/tool/tests/fixtures/import_fmt.jac,sha256=AglE8wZwyIXWptkRADT41o39MPucRfXtyRMutjStaX8,241
 jaclang/compiler/passes/tool/tests/fixtures/multi_def_err.dot,sha256=Y4BtfJXqeqBHmsyRgfn_qjQCl0w-_YcKj9hoTyq80UY,1391
 jaclang/compiler/passes/tool/tests/fixtures/multi_def_err.jac,sha256=BxgmNUdz76gKLi6PXnLZE9rartodMgch5ydpGrd25Ec,87
@@ -128,12 +133,12 @@ jaclang/compiler/passes/tool/tests/fixtures/simple_walk.jac,sha256=5g_oneTxvkcV7
 jaclang/compiler/passes/tool/tests/fixtures/simple_walk_fmt.jac,sha256=xHVLZgbuKsPmMAZOw-lPVqffWKXLOXkuAR1wzXn4l40,835
 jaclang/compiler/passes/tool/tests/fixtures/tagbreak.jac,sha256=6IvbR0f8jMillstauSGmck-BV7ktbdiFnruBKE7Nn9o,343
 jaclang/compiler/passes/tool/tests/test_fuse_comments_pass.py,sha256=ZeWHsm7VIyyS8KKpoB2SdlHM4jF22fMfSrfTfxt2MQw,398
-jaclang/compiler/passes/tool/tests/test_jac_format_pass.py,sha256=BfzOOdr5uGYpkobRcgkGtFCo2jjIHr_dg63e80P_Jyc,6383
+jaclang/compiler/passes/tool/tests/test_jac_format_pass.py,sha256=CXn42HkopQVMSWtK3a5zX0cFP8kAlX5_Ut-Tg4bjxNE,6589
 jaclang/compiler/passes/tool/tests/test_unparse_validate.py,sha256=fYlz31RQQUwmg3zYWHbXuwBksxli-zxk0HCVP42igAo,2214
 jaclang/compiler/passes/transform.py,sha256=haZ6zcxT5VJrYVFcQqe8vKPB5wzHhqHW438erTmYxJ0,4544
 jaclang/compiler/passes/uni_pass.py,sha256=Y1Y3TTrulqlpIGQUCZhBGkHVCvMg-AXfzCjV8dfGQm0,4841
 jaclang/compiler/passes/utils/__init__.py,sha256=UsI5rUopTUiStAzup4kbPwIwrnC5ofCrqWBCBbM2-k4,35
-jaclang/compiler/program.py,sha256=HLfDMXo8DAMnp4Pppsvt2VWekieEY80OHvSYNY3PKD8,5547
+jaclang/compiler/program.py,sha256=csD-_A4N6oXVrfvddt9sj5hbkMH8N6ZtaMnpwqkqIG0,5589
 jaclang/compiler/tests/__init__.py,sha256=qiXa5UNRBanGOcplFKTT9a_9GEyiv7goq1OzuCjDCFE,27
 jaclang/compiler/tests/fixtures/__init__.py,sha256=udQ0T6rajpW_nMiYKJNckqP8izZ-pH3P4PNTJEln2NU,36
 jaclang/compiler/tests/fixtures/activity.py,sha256=fSvxYDKufsPeQIrbuh031zHw_hdbRv5iK9mS7dD8E54,263
@@ -156,7 +161,7 @@ jaclang/compiler/tests/fixtures/staticcheck.jac,sha256=N44QGwRGK_rDY0uACqpkMQYRf
 jaclang/compiler/tests/fixtures/stuff.jac,sha256=qOq6WOwhlprMmJpiqQudgqnr4qTd9uhulQSDGQ3o6sY,82
 jaclang/compiler/tests/test_importer.py,sha256=BQOuHdrOL5dd0mWeXvX9Om07O9jN59KVGMghbNewfOE,4621
 jaclang/compiler/tests/test_parser.py,sha256=LeIVgyQGZmjH_dx8T6g4fOv3KWNzhtfwKn9C3WVdBCM,5888
-jaclang/compiler/unitree.py,sha256=KyBaurqng2515S3Y_KY9CwZwCV55Sfhju3IqksDnvZA,152410
+jaclang/compiler/unitree.py,sha256=sUxAl91AkjLQy5HBYfm4TeqS5I0DsPf1dpKTrP2ApLI,154313
 jaclang/langserve/__init__.jac,sha256=3IEtXWjsqOgLA-LPqCwARCw0Kd8B_NeLedALxGshfAE,33
 jaclang/langserve/engine.jac,sha256=wrLswykc1hq7Kldm5AnEDb5l_sMuTakZOjklxOCsBrA,21444
 jaclang/langserve/sem_manager.jac,sha256=Gg95nKvXz9RwUNPshgUPHlrdFI8EWzk7Hxxgvs0xwa4,13795
@@ -564,7 +569,7 @@ jaclang/vendor/pygls-1.3.1.dist-info/METADATA,sha256=UrPOpO2PXE7J37ysVVxbhhnlrDo
 jaclang/vendor/pygls-1.3.1.dist-info/RECORD,sha256=tDNU1eqobIApvaPBeG0fjRRWIV709NpKeniNk-vCLoI,3056
 jaclang/vendor/pygls-1.3.1.dist-info/REQUESTED,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 jaclang/vendor/pygls-1.3.1.dist-info/WHEEL,sha256=fGIA9gx4Qxk2KDKeNJCbOEwSrmLtjWCwzBz351GyrPQ,88
-jaclang-0.8.2.dist-info/METADATA,sha256=QLB7jcht0k7voIvm2kj8UhXx4pO9Kb0930YCS1oME_4,5014
-jaclang-0.8.2.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
-jaclang-0.8.2.dist-info/entry_points.txt,sha256=8sMi4Tvi9f8tQDN2QAXsSA2icO27zQ4GgEdph6bNEZM,49
-jaclang-0.8.2.dist-info/RECORD,,
+jaclang-0.8.3.dist-info/METADATA,sha256=zkiLQi-iWXgb0y3sCdlEqEzviQEBrfp-QzXp4D3OR8c,5014
+jaclang-0.8.3.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
+jaclang-0.8.3.dist-info/entry_points.txt,sha256=8sMi4Tvi9f8tQDN2QAXsSA2icO27zQ4GgEdph6bNEZM,49
+jaclang-0.8.3.dist-info/RECORD,,