🔖First full release. Added some more typing information

Author: allRisc

README.md

@@ -12,3 +12,10 @@ This version of `stubs-pyslang` aims to provide accurate annotations for `pyslan
 
 This package was tested with the following type checkers:
 * [mypy](https://github.com/python/mypy/)
+
+
+## Contributing
+
+This project is very much partially complete as it is a pretty manual process.
+Please feel free to create PRs to help improve the stubs!
+The repo can be found [here](https://github.com/RISCY-Lib/pyslang-stubs)

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "uv_build"
 
 [project]
 name = "pyslang-stubs"
-version = "9.0.0.20250902-b2"
+version = "9.0.0.20250902"
 description = "Typing stubs for the excellent pyslang library"
 readme = "README.md"
 authors = [

src/pyslang-stubs/__init__.pyi

@@ -1596,7 +1596,7 @@ class ConstantValue(metaclass=_metaclass):
     def isTrue(self) -> bool: ...
     def size(self) -> int: ...
     @property
-    def value(self) -> Any: ...
+    def value(self) -> SVInt | float | list | dict | Null | None: ...
 
 class Constraint(metaclass=_metaclass):
     def __repr__(self) -> str: ...
@@ -5161,7 +5161,7 @@ class MatchesClauseSyntax(SyntaxNode):
 
 class MemberAccessExpression(Expression):
     @property
-    def member(self) -> Any: ...
+    def member(self) -> Symbol: ...
     @property
     def value(self) -> Expression: ...
 
@@ -5228,15 +5228,15 @@ class MethodPrototypeSymbol(Symbol, Scope):
     @property
     def arguments(self) -> list[FormalArgumentSymbol]: ...
     @property
-    def firstExternImpl(self) -> Any: ...
+    def firstExternImpl(self) -> ExternImpl: ...
     @property
     def flags(self) -> MethodFlags: ...
     @property
     def isVirtual(self) -> bool: ...
     @property
     def override(self) -> Symbol: ...
     @property
-    def returnType(self) -> Any: ...
+    def returnType(self) -> Type: ...
     @property
     def subroutine(self) -> SubroutineSymbol: ...
     @property
@@ -5534,13 +5534,13 @@ class NetType(Symbol):
     @staticmethod
     def getSimulatedNetType(internal: NetType, external: NetType, shouldWarn: bool) -> NetType: ...
     @property
-    def declaredType(self) -> Any: ...
+    def declaredType(self) -> DeclaredType: ...
     @property
     def isBuiltIn(self) -> bool: ...
     @property
     def isError(self) -> bool: ...
     @property
-    def netKind(self) -> Any: ...
+    def netKind(self) -> NetKind: ...
     @property
     def resolutionFunction(self) -> SubroutineSymbol: ...
 
@@ -6079,7 +6079,7 @@ class PrimitiveSymbol(Symbol, Scope):
     @property
     def ports(self) -> list[PrimitivePortSymbol]: ...
     @property
-    def primitiveKind(self) -> Any: ...
+    def primitiveKind(self) -> PrimitiveKind: ...
     @property
     def table(self) -> list[Any]: ...
 
@@ -6765,9 +6765,9 @@ class ScopedNameSyntax(NameSyntax):
 class ScriptSession(metaclass=_metaclass):
     def __init__(self) -> None: ...
     def eval(self, text: str) -> ConstantValue: ...
-    def evalExpression(self, expr: Any) -> Any: ...
-    def evalStatement(self, expr: Any) -> None: ...
-    def getDiagnostics(self) -> Any: ...
+    def evalExpression(self, expr: ExpressionSyntax) -> ConstantValue: ...
+    def evalStatement(self, expr: StatementSyntax) -> None: ...
+    def getDiagnostics(self) -> Diagnostics: ...
     @property
     def compilation(self) -> Compilation: ...
 
@@ -6828,7 +6828,7 @@ class SequenceRepetition(metaclass=_metaclass):
     Nonconsecutive = Kind.Nonconsecutive
 
     @property
-    def kind(self) -> Any: ...
+    def kind(self) -> Kind: ...
     @property
     def range(self) -> SequenceRange: ...
 
@@ -7119,7 +7119,7 @@ class StandardRsCaseItemSyntax(RsCaseItemSyntax):
 
 class Statement(metaclass=_metaclass):
     def __repr__(self) -> str: ...
-    def eval(self, context: EvalContext) -> Any: ...
+    def eval(self, context: EvalContext) -> EvalResult: ...
     def visit(self, f: typing.Any) -> None:
         """Visit a pyslang object with a callback function `f`.
         The callback function `f` should take a single argument, which is the current node being
@@ -7138,7 +7138,7 @@ class Statement(metaclass=_metaclass):
     @property
     def sourceRange(self) -> SourceRange: ...
     @property
-    def syntax(self) -> Any: ...
+    def syntax(self) -> StatementSyntax: ...
 
 class StatementBlockKind(metaclass=_metaclass):
     JoinAll: ClassVar[StatementBlockKind]
@@ -7315,7 +7315,7 @@ class StrongWeakAssertionExpr(AssertionExpr):
     @property
     def expr(self) -> AssertionExpr: ...
     @property
-    def strength(self) -> Any: ...
+    def strength(self) -> Strength: ...
 
 class StrongWeakPropertyExprSyntax(PropertyExprSyntax):
     closeParen: Token

tests/test_typing.py

@@ -1,5 +1,6 @@
 from __future__ import annotations
 
+import pytest
 
 import pyslang
 
@@ -10,3 +11,24 @@ def test_script_session():
 
     result = evaluation.eval("8'hFF")
     assert isinstance(result, pyslang.ConstantValue)
+
+
+@pytest.mark.parametrize("input, expected", [
+    ("8'hFF", pyslang.SVInt),
+    ("2**8", pyslang.SVInt),
+    ("2.0*3'h7", float),
+    ("null", pyslang.Null),
+    ("$someValue()", None.__class__),
+    ("string val = {\"some_str\"}; val", str),
+    ("logic [2:0]val = 3'b101; val", pyslang.SVInt),
+    ("int val[3] = {1, 2, 3}; val", list),
+    ("real val = 3.14; val", float),
+])
+def test_script_session_output(input, expected):
+    evaluation = pyslang.ScriptSession()
+    for stmt in input.split(";"):
+        result = evaluation.eval(stmt + ";")
+    print(result)
+    value = result.value
+    print(type(value))
+    assert isinstance(value, expected)