fix: add typing_extensions to allow for Python versions < 3.12

bliutech · Aug 9, 2024 · 85e8b89 · 85e8b89
1 parent 776b67e
commit 85e8b89
Show file tree

Hide file tree

Showing 5 changed files with 9 additions and 4 deletions.
diff --git 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
@@ -0,0 +1,4 @@
+mpmath
+sympy
+typing_extensions
+z3-solver
diff --git 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
@@ -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
@@ -1,4 +1,4 @@
-from typing import override
+from typing_extensions import override
 
 import html, re