jaclang 0.8.7__py3-none-any.whl → 0.8.8__py3-none-any.whl

jaclang/cli/cli.py

@@ -1,12 +1,12 @@
 """Command line interface tool for the Jac language."""
 
 import ast as ast3
-import importlib
 import marshal
 import os
 import pickle
 import sys
 import types
+from importlib.metadata import version as pkg_version
 from pathlib import Path
 from typing import Optional
 
@@ -18,6 +18,7 @@ from jaclang.runtimelib.builtin import printgraph
 from jaclang.runtimelib.constructs import WalkerArchetype
 from jaclang.runtimelib.machine import ExecutionContext, JacMachine as Jac
 from jaclang.runtimelib.utils import read_file_with_encoding
+from jaclang.settings import settings
 from jaclang.utils.helpers import debugger as db
 from jaclang.utils.lang_tools import AstTool
 
@@ -160,11 +161,6 @@ def run(
                 )
         except Exception as e:
             print(f"Error running {filename}: {e}", file=sys.stderr)
-    else:
-        print(
-            "Not a valid file!\nOnly supports `.jac`, `.jir`, and `.py`",
-            file=sys.stderr,
-        )
 
     mach.close()
 
@@ -322,25 +318,7 @@ def lsp() -> None:
     Examples:
         jac lsp
     """
-    from jaclang.langserve.server import run_lang_server
-
-    run_lang_server()
-
-
-@cmd_registry.register
-def lsp_dev() -> None:
-    """Run Jac Language Server Protocol in Developer Mode.
-
-    Starts the experimental Jac Language Server with enhanced features
-    for development and testing. Used by editor extensions in developer mode.
-
-    Args:
-        This command takes no parameters.
-
-    Examples:
-        jac lsp_dev
-    """
-    from jaclang.langserve.dev_server import run_lang_server
+    from jaclang.langserve.server import run_lang_server  # type: ignore
 
     run_lang_server()
 
@@ -673,8 +651,11 @@ def start_cli() -> None:
     args = parser.parse_args()
     cmd_registry.args = args
 
+    # Apply global settings overrides from CLI flags before running commands
+    settings.load_command_line_arguments(args)
+
     if args.version:
-        version = importlib.metadata.version("jaclang")
+        version = pkg_version("jaclang")
         print(f"Jac version {version}")
         print("Jac path:", __file__)
         return
@@ -692,7 +673,12 @@ def start_cli() -> None:
     args_dict = vars(args)
     args_dict.pop("command")
     args_dict.pop("version", None)
-    ret = command.call(**args_dict)
+
+    # Only pass parameters that the target command accepts
+    allowed_params = set(command.sig.parameters.keys())
+    filtered_args = {k: v for k, v in args_dict.items() if k in allowed_params}
+
+    ret = command.call(**filtered_args)
     if ret:
         print(ret)
 

jaclang/cli/cmdreg.py

@@ -5,8 +5,11 @@ from __future__ import annotations
 import argparse
 import inspect
 import re
+from dataclasses import fields as dataclass_fields
 from typing import Callable, Dict, Optional
 
+from jaclang.settings import Settings as JacSettings
+
 
 class Command:
     """Represents a command in the command line interface."""
@@ -106,6 +109,47 @@ class CommandRegistry:
         )
         self.args = argparse.Namespace()
 
+        # Global settings overrides
+        settings_group = self.parser.add_argument_group(
+            "settings",
+            "Override Jac settings (from config/env). Provide only flags you want to change.",
+        )
+        for fld in dataclass_fields(JacSettings):
+            name = fld.name
+            opt = f"--{name.replace('_', '-')}"
+            if fld.type is bool:
+                # Tri-state: default None so unspecified won't override
+                settings_group.add_argument(
+                    opt,
+                    dest=name,
+                    action="store_true",
+                    default=None,
+                    help=f"bool - Override setting '{name}' to true",
+                )
+                settings_group.add_argument(
+                    f"--no-{name.replace('_', '-')}",
+                    dest=name,
+                    action="store_false",
+                    default=None,
+                    help=f"bool - Override setting '{name}' to false",
+                )
+            elif fld.type is int:
+                settings_group.add_argument(
+                    opt,
+                    dest=name,
+                    type=int,
+                    default=None,
+                    help=f"int - Override setting '{name}'",
+                )
+            else:
+                settings_group.add_argument(
+                    opt,
+                    dest=name,
+                    type=str,
+                    default=None,
+                    help=f"str - Override setting '{name}'",
+                )
+
     def register(self, func: Callable) -> Callable:
         """Register a command in the registry."""
         name = func.__name__

jaclang/compiler/constant.py

@@ -178,7 +178,6 @@ class Tokens(str, Enum):
     KW_WAIT = "KW_WAIT"
     KW_TEST = "KW_TEST"
     KW_ASSERT = "KW_ASSERT"
-    KW_CHECK = "KW_CHECK"
     COLON = "COLON"
     PIPE_FWD = "PIPE_FWD"
     PIPE_BKWD = "PIPE_BKWD"

jaclang/compiler/jac.lark

@@ -70,6 +70,8 @@ func_decl: (LPAREN func_decl_params? RPAREN) (RETURN_HINT expression)?
 
 func_decl_params: (param_var COMMA)* param_var COMMA?
 param_var: (STAR_POW | STAR_MUL)? named_ref type_tag (EQ expression)?
+         | DIV
+         | STAR_MUL
 
 // [Heading]: Implementations.
 impl_def: decorators? KW_IMPL dotted_name impl_spec? impl_tail
@@ -113,7 +115,6 @@ statement: import_stmt
        | (yield_expr | KW_YIELD) SEMI
        | raise_stmt SEMI
        | assert_stmt SEMI
-       | check_stmt SEMI
        | assignment SEMI
        | delete_stmt SEMI
        | report_stmt SEMI
@@ -209,9 +210,6 @@ raise_stmt: KW_RAISE (expression (KW_FROM expression)?)?
 // [Heading]: Assert statements.
 assert_stmt: KW_ASSERT expression (COMMA expression)?
 
-// [Heading]: Check statements.
-check_stmt: KW_CHECK expression
-
 // [Heading]: Delete statements.
 delete_stmt: KW_DELETE expression
 
@@ -402,7 +400,7 @@ kw_expr_list: (kw_expr_list COMMA)? kw_expr
 kw_expr: named_ref EQ expression | STAR_POW expression
 
 // [Heading]: Object-Spatial References.
-edge_ref_chain: LSQUARE (KW_NODE| KW_EDGE)? expression? (edge_op_ref (filter_compr | expression)?)+ RSQUARE
+edge_ref_chain: LSQUARE KW_ASYNC? (KW_NODE| KW_EDGE)? expression? (edge_op_ref (filter_compr | expression)?)+ RSQUARE
 edge_op_ref: edge_any | edge_from | edge_to
 edge_to: ARROW_R | ARROW_R_P1 typed_filter_compare_list ARROW_R_P2
 edge_from: ARROW_L | ARROW_L_P1 typed_filter_compare_list ARROW_L_P2
@@ -523,7 +521,6 @@ KW_TEST: "test"
 KW_IMPL: "impl"
 KW_SEM: "sem"
 KW_ASSERT: "assert"
-KW_CHECK: "check"
 KW_IF: "if"
 KW_ELIF: "elif"
 KW_ELSE: "else"