Merge pull request #15 from PRBonn/benedikt/use_typing_extensions

tizianoGuadagnino · web-flow · commit ba5075802f6b · 2024-04-12T14:20:54.000+02:00
Use typing_extensions
diff --git a/python/map_closures/map_closures.py b/python/map_closures/map_closures.py
@@ -20,7 +20,7 @@
 # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 # SOFTWARE.
-from typing import TypeAlias
+from typing_extensions import TypeAlias
 
 import numpy as np
 from pydantic_settings import BaseSettings
diff --git a/python/pyproject.toml b/python/pyproject.toml
@@ -19,6 +19,7 @@ dependencies = [
     "tqdm",
     "typer[all]>=0.6.0",
     "rich",
+    "typing_extensions",
 ]
 
 [project.optional-dependencies]

Original file line number	Diff line number	Diff line change
`@@ -19,6 +19,7 @@ dependencies = [`
`19`	`19`	`"tqdm",`
`20`	`20`	`"typer[all]>=0.6.0",`
`21`	`21`	`"rich",`
	`22`	`+ "typing_extensions",`
`22`	`23`	`]`
`23`	`24`
`24`	`25`	`[project.optional-dependencies]`