From 85e8b8959823ca7433e3cd2ffe47302286d37aab Mon Sep 17 00:00:00 2001 From: Benson Liu Date: Thu, 8 Aug 2024 19:15:28 -0700 Subject: [PATCH] fix: add `typing_extensions` to allow for Python versions < 3.12 --- plugin.json | 3 ++- requirements.txt | 4 ++++ solver/passes/example_pass.py | 2 +- solver/passes/sympy_pass.py | 2 +- solver/passes/z3_pass.py | 2 +- 5 files changed, 9 insertions(+), 4 deletions(-) create mode 100644 requirements.txt diff --git a/plugin.json b/plugin.json index 4098038..74542ef 100644 --- a/plugin.json +++ b/plugin.json @@ -26,7 +26,8 @@ "dependencies": { "pip": [ "z3-solver", - "sympy" + "sympy", + "typing_extensions" ] }, "version": "0.0.1", diff --git a/requirements.txt b/requirements.txt new file mode 100644 index 0000000..f8a2e85 --- /dev/null +++ b/requirements.txt @@ -0,0 +1,4 @@ +mpmath +sympy +typing_extensions +z3-solver diff --git a/solver/passes/example_pass.py b/solver/passes/example_pass.py index 60f244e..a895669 100644 --- a/solver/passes/example_pass.py +++ b/solver/passes/example_pass.py @@ -1,4 +1,4 @@ -from typing import override +from typing_extensions import override import sys diff --git a/solver/passes/sympy_pass.py b/solver/passes/sympy_pass.py index 3fe1bee..da95bb2 100644 --- a/solver/passes/sympy_pass.py +++ b/solver/passes/sympy_pass.py @@ -1,4 +1,4 @@ -from typing import override +from typing_extensions import override from parser.ast import ( Expr, diff --git a/solver/passes/z3_pass.py b/solver/passes/z3_pass.py index d3243f8..1f7f83d 100644 --- a/solver/passes/z3_pass.py +++ b/solver/passes/z3_pass.py @@ -1,4 +1,4 @@ -from typing import override +from typing_extensions import override import html, re