varphi-devkit 3.0.0b3__tar.gz → 3.0.1__tar.gz

{varphi_devkit-3.0.0b3 → varphi_devkit-3.0.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.3
 Name: varphi-devkit
-Version: 3.0.0b3
+Version: 3.0.1
 Summary: A framework for building compilers, interpreters, and analysis tools for the Varphi language.
 Author: Varphi
 Author-email: Varphi <support@varphi-lang.com>

{varphi_devkit-3.0.0b3 → varphi_devkit-3.0.1}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "varphi-devkit"
-version = "3.0.0b3"
+version = "3.0.1"
 description = "A framework for building compilers, interpreters, and analysis tools for the Varphi language."
 readme = "README.md"
 requires-python = ">=3.10"

{varphi_devkit-3.0.0b3 → varphi_devkit-3.0.1}/pyproject.toml.orig

@@ -1,6 +1,6 @@
 [project]
 name = "varphi-devkit"
-version = "3.0.0b3"
+version = "3.0.1"
 description = "A framework for building compilers, interpreters, and analysis tools for the Varphi language."
 readme = "README.md"
 authors = [

{varphi_devkit-3.0.0b3 → varphi_devkit-3.0.1}/src/varphi_devkit/__init__.py

@@ -10,6 +10,8 @@ convenient abstraction layer for implementing custom Varphi backends.
 - `VarphiTransition`: A validated, canonicalized representation of a single transition line.
 """
 
+__version__ = "3.0.1"
+
 from .compiler import (
     VarphiCompiler,
     VarphiTransition,
@@ -24,6 +26,9 @@ from .exceptions import (
     VarphiTransitionInconsistentTapeCountError,
     VarphiGlobalTapeCountError,
     VarphiUndefinedVariableError,
+    VarphiInvalidUnicodeError,
+    VarphiUnknownSymbolError,
+    VarphiUnknownDirectionError,
 )
 
 __all__ = [
@@ -38,4 +43,7 @@ __all__ = [
     "VarphiTransitionInconsistentTapeCountError",
     "VarphiGlobalTapeCountError",
     "VarphiUndefinedVariableError",
+    "VarphiInvalidUnicodeError",
+    "VarphiUnknownSymbolError",
+    "VarphiUnknownDirectionError",
 ]

{varphi_devkit-3.0.0b3 → varphi_devkit-3.0.1}/src/varphi_devkit/compiler.py

@@ -178,9 +178,7 @@ class VarphiCompiler(VarphiListener, ABC):
         if self._tape_count is None:
             self._tape_count = current_tape_count
         elif current_tape_count != self._tape_count:
-            raise VarphiGlobalTapeCountError(
-                ctx, self._tape_count, current_tape_count
-            )
+            raise VarphiGlobalTapeCountError(ctx, self._tape_count, current_tape_count)
 
         transition = VarphiTransition(
             current_state=current_state,

{varphi_devkit-3.0.0b3 → varphi_devkit-3.0.1}/src/varphi_devkit/exceptions.py

@@ -1,12 +1,17 @@
+import sys
 from antlr4.error.ErrorListener import ErrorListener
 from antlr4 import Token
 
-RESET = "\033[0m"
-BOLD = "\033[1m"
-RED = "\033[91m"
-BLUE = "\033[34m"
-CYAN = "\033[96m"
-WHITE = "\033[97m"
+# We won't format if it's not a TTY
+RESET = BOLD = RED = BLUE = CYAN = WHITE = ""
+
+if sys.stdout.isatty():
+    RESET = "\033[0m"
+    BOLD = "\033[1m"
+    RED = "\033[91m"
+    BLUE = "\033[34m"
+    CYAN = "\033[96m"
+    WHITE = "\033[97m"
 
 
 class VarphiSyntaxError(Exception):
@@ -120,14 +125,6 @@ class VarphiUndefinedVariableError(VarphiSyntaxError):
         super().__init__(None, ctx.start, ctx.start.line, ctx.start.column, msg)
 
 
-class VarphiInvalidSymbolLengthError(VarphiSyntaxError):
-    """Raised when an ID token used as a tape symbol is longer than one character."""
-
-    def __init__(self, ctx, symbol):
-        msg = f"invalid symbol '{symbol}': tape symbols must be exactly one character."
-        super().__init__(None, ctx.start, ctx.start.line, ctx.start.column, msg)
-
-
 class VarphiInvalidUnicodeError(VarphiSyntaxError):
     """Raised when an integer token falls outside the valid unicode code point range."""
 

{varphi_devkit-3.0.0b3 → varphi_devkit-3.0.1}/src/varphi_devkit/models.py

@@ -52,7 +52,9 @@ class VarphiTransition:
     write_symbols: tuple[ReadWriteTupleElement, ...]
     shift_directions: tuple[Direction, ...]
     line_number: int
-    specificity: tuple[int, int] = field(init=False)  # (unique variables, total variables)
+    specificity: tuple[int, int] = field(
+        init=False
+    )  # (unique variables, total variables)
 
     def __post_init__(self):
         variables = [s for s in self.read_symbols if isinstance(s, Variable)]