Skip to content

Conversation

@DetachHead
Copy link
Owner

fixes #1381

@github-actions

This comment has been minimized.

@DetachHead DetachHead force-pushed the fix-commands-in-neovim branch 2 times, most recently from 041ebd5 to c66b07b Compare July 11, 2025 05:53
@DetachHead DetachHead force-pushed the fix-commands-in-neovim branch from c66b07b to fde386d Compare July 11, 2025 05:55
@github-actions
Copy link
Contributor

Diff from mypy_primer, showing the effect of this PR on open source code:

sympy (https://github.com/sympy/sympy)
-     Type of "exptrigsimp" is "(expr: Unknown) -> (Unknown | Expr)" (reportUnknownVariableType)
+     Type of "exptrigsimp" is "(expr: Unknown) -> Unknown" (reportUnknownVariableType)
-     Type of "trigsimp" is "(expr: Unknown, inverse: bool = False, **opts: Unknown) -> (Any | Unknown | Expr | Basic | atan2 | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float)" (reportUnknownVariableType)
+     Type of "trigsimp" is "(expr: Unknown, inverse: bool = False, **opts: Unknown) -> (Any | Unknown | Expr | Basic | atan2 | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType)" (reportUnknownVariableType)
-   .../projects/sympy/sympy/simplify/tests/test_trigsimp.py:93:16 - error: Operator "-" not supported for types "Any | Unknown | Expr | Basic | atan2 | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float" and "float"
+   .../projects/sympy/sympy/simplify/tests/test_trigsimp.py:93:16 - error: Operator "-" not supported for types "Any | Unknown | Expr | Basic | atan2 | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType" and "float"
-     Type of "trigsimp" is "(**args: Unknown) -> (Any | Unknown | Expr | Basic | atan2 | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float)" (reportUnknownMemberType)
+     Type of "trigsimp" is "(**args: Unknown) -> (Any | Unknown | Expr | Basic | atan2 | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType)" (reportUnknownMemberType)
-   .../projects/sympy/sympy/simplify/tests/test_trigsimp.py:307:16 - error: Operator "-" not supported for types "Any | Unknown | Expr | Basic | atan2 | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float" and "float"
+   .../projects/sympy/sympy/simplify/tests/test_trigsimp.py:307:16 - error: Operator "-" not supported for types "Any | Unknown | Expr | Basic | atan2 | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType" and "float"
-   .../projects/sympy/sympy/simplify/tests/test_trigsimp.py:452:5 - warning: Type of "e3" is unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/tests/test_trigsimp.py:452:5 - warning: Type of "e3" is partially unknown
+     Type of "e3" is "Unknown | Expr | Any" (reportUnknownVariableType)
-     Type of "angle_inverted" is "Any | Unknown | Expr | Basic | atan2 | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float" (reportUnknownVariableType)
+     Type of "angle_inverted" is "Any | Unknown | Expr | Basic | atan2 | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType" (reportUnknownVariableType)
-     Type of "rsolve" is "(f: Unknown, y: Unknown, init: Unknown | None = None) -> (Unknown | Expr | Zero | None)" (reportUnknownVariableType)
+     Type of "rsolve" is "(f: Unknown, y: Unknown, init: Unknown | None = None) -> Unknown" (reportUnknownVariableType)
-     Type of "homogeneous_order" is "(eq: Unknown, *symbols: Unknown) -> (Zero | Unknown | None)" (reportUnknownVariableType)
+     Type of "homogeneous_order" is "(eq: Unknown, *symbols: Unknown) -> (Zero | Expr | Unknown | None)" (reportUnknownVariableType)
+     Type of "decompogen" is "(f: Unknown, symbol: Unknown) -> (list[Expr] | list[Function | Pow] | list[Expr | Basic] | list[Function | Pow | Basic] | list[Basic] | Unknown | list[Min | Max | Basic] | list[Unknown | Max | Min | Basic] | list[Min | Max] | list[Unknown | Max | Min] | list[Unknown])" (reportUnknownVariableType)
-     Type of "separatevars" is "(expr: Unknown, symbols: Unknown = [], dict: bool = False, force: bool = False) -> (dict[str, Unknown] | dict[Unknown, list[Unknown]] | Unknown | None)" (reportUnknownVariableType)
+     Type of "separatevars" is "(expr: Unknown, symbols: Unknown = [], dict: bool = False, force: bool = False) -> (dict[str, Expr | Abs | Unknown] | dict[Unknown | Basic, list[Unknown]] | Unknown | None)" (reportUnknownVariableType)
-   .../projects/sympy/sympy/solvers/bivariate.py:114:9 - warning: Type of "a" is unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/solvers/bivariate.py:114:9 - warning: Type of "a" is partially unknown
+     Type of "a" is "Expr | Unknown" (reportUnknownVariableType)
-   .../projects/sympy/sympy/solvers/bivariate.py:114:12 - warning: Type of "x" is unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/solvers/bivariate.py:114:12 - warning: Type of "x" is partially unknown
+     Type of "x" is "Expr | Unknown" (reportUnknownVariableType)
-   .../projects/sympy/sympy/solvers/bivariate.py:114:16 - warning: Type of "as_independent" is unknown (reportUnknownMemberType)
+   .../projects/sympy/sympy/solvers/bivariate.py:114:16 - warning: Type of "as_independent" is partially unknown
+     Type of "as_independent" is "Unknown | ((...) -> tuple[Expr, Expr])" (reportUnknownMemberType)
-   .../projects/sympy/sympy/solvers/bivariate.py:114:34 - error: Cannot access attribute "as_independent" for class "dict[str, Unknown]"
+   .../projects/sympy/sympy/solvers/bivariate.py:114:34 - error: Cannot access attribute "as_independent" for class "dict[str, Expr | Abs | Unknown]"
-   .../projects/sympy/sympy/solvers/bivariate.py:114:34 - error: Cannot access attribute "as_independent" for class "dict[Unknown, list[Unknown]]"
+   .../projects/sympy/sympy/solvers/bivariate.py:114:34 - error: Cannot access attribute "as_independent" for class "dict[Unknown | Basic, list[Unknown]]"
+   .../projects/sympy/sympy/solvers/bivariate.py:114:49 - warning: Argument type is unknown
+     Argument corresponds to parameter "deps" in function "as_independent" (reportUnknownArgumentType)
+     Type of "eq" is "Unknown | Expr | Any | Piecewise | Self@Add | Integer | None" (reportUnknownVariableType)
-     Type of "eq" is "Unknown | None" (reportUnknownVariableType)
-   .../projects/sympy/sympy/solvers/bivariate.py:128:19 - warning: Argument type is unknown
-     Argument corresponds to parameter "expr" in function "_mexpand" (reportUnknownArgumentType)
-     Type of "mainlog" is "Unknown | None" (reportUnknownVariableType)
+     Type of "mainlog" is "log | Any | Unknown | None" (reportUnknownVariableType)
-   .../projects/sympy/sympy/solvers/bivariate.py:132:5 - warning: Type of "other" is unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/solvers/bivariate.py:132:5 - warning: Type of "other" is partially unknown
+     Type of "other" is "Expr | Any | Unknown" (reportUnknownVariableType)
-   .../projects/sympy/sympy/solvers/bivariate.py:132:13 - warning: Type of "subs" is unknown (reportUnknownMemberType)
+   .../projects/sympy/sympy/solvers/bivariate.py:132:13 - warning: Type of "subs" is partially unknown
+     Type of "subs" is "Unknown | Overload[(arg1: Mapping[Basic | complex, Expr | complex], arg2: None = None) -> Expr, (arg1: Iterable[tuple[Basic | complex, Expr | complex]], arg2: None = None, **kwargs: Any) -> Expr, (arg1: Expr | complex, arg2: Expr | complex) -> Expr, (arg1: Mapping[Basic | complex, Basic | complex], arg2: None = None, **kwargs: Any) -> Basic, (arg1: Iterable[tuple[Basic | complex, Basic | complex]], arg2: None = None, **kwargs: Any) -> Basic, (arg1: Basic | complex, arg2: Basic | complex, **kwargs: Any) -> Basic] | Any" (reportUnknownMemberType)
+   .../projects/sympy/sympy/solvers/bivariate.py:132:21 - warning: Argument type is partially unknown
+     Argument corresponds to parameter "arg1" in function "subs"
+     Argument type is "log | Any | Unknown" (reportUnknownArgumentType)
-   .../projects/sympy/sympy/solvers/bivariate.py:134:9 - warning: Type of "eq" is unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/solvers/bivariate.py:134:9 - warning: Type of "eq" is partially unknown
+     Type of "eq" is "Expr | Any | Unknown" (reportUnknownVariableType)
-   .../projects/sympy/sympy/solvers/bivariate.py:134:14 - warning: Type of "subs" is unknown (reportUnknownMemberType)
+   .../projects/sympy/sympy/solvers/bivariate.py:134:14 - warning: Type of "subs" is partially unknown
+     Type of "subs" is "Unknown | Any | Overload[(arg1: Mapping[Basic | complex, Expr | complex], arg2: None = None) -> Expr, (arg1: Iterable[tuple[Basic | complex, Expr | complex]], arg2: None = None, **kwargs: Any) -> Expr, (arg1: Expr | complex, arg2: Expr | complex) -> Expr, (arg1: Mapping[Basic | complex, Basic | complex], arg2: None = None, **kwargs: Any) -> Basic, (arg1: Iterable[tuple[Basic | complex, Basic | complex]], arg2: None = None, **kwargs: Any) -> Basic, (arg1: Basic | complex, arg2: Basic | complex, **kwargs: Any) -> Basic]" (reportUnknownMemberType)
+   .../projects/sympy/sympy/solvers/bivariate.py:134:15 - error: Operator "-" not supported for "None" (reportOptionalOperand)
+   .../projects/sympy/sympy/solvers/bivariate.py:134:32 - warning: Argument type is partially unknown
+     Argument corresponds to parameter "arg1" in function "subs"
+     Argument type is "log | Any | Unknown" (reportUnknownArgumentType)
+   .../projects/sympy/sympy/solvers/bivariate.py:134:41 - warning: Argument type is partially unknown
+     Argument corresponds to parameter "arg2" in function "subs"
+     Argument type is "Expr | Any | Unknown" (reportUnknownArgumentType)
-     Type of "args" is "Unknown" (reportUnknownMemberType)
+     Type of "args" is "tuple[Expr] | Any | Unknown" (reportUnknownMemberType)
-     Type of "mainlog" is "Unknown" (reportUnknownVariableType)
+     Type of "mainlog" is "Expr | Any | Unknown" (reportUnknownVariableType)
-     Type of "args" is "Unknown" (reportUnknownMemberType)
+     Type of "args" is "tuple[Expr] | Any | Unknown" (reportUnknownMemberType)

... (truncated 3913 lines) ...

@DetachHead DetachHead changed the title attempt to fix commands in neovim fix writeBaseline, restartServer and createTypeStub commands only being registered in the vscode extension instead of the language serevr Jul 14, 2025
@DetachHead DetachHead changed the title fix writeBaseline, restartServer and createTypeStub commands only being registered in the vscode extension instead of the language serevr fix writeBaseline, restartServer and createTypeStub commands only being registered in the vscode extension instead of the language server Jul 14, 2025
@DetachHead DetachHead merged commit 7177e59 into main Jul 14, 2025
18 checks passed
@DetachHead DetachHead deleted the fix-commands-in-neovim branch July 14, 2025 05:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Bug(createtypestub action/neovim): createtypestub code action does not work in neovim

2 participants