From 9ce03defc49385c65632d400dd257142958b958a Mon Sep 17 00:00:00 2001 From: AmziJeffs Date: Wed, 6 Nov 2024 15:51:30 -0500 Subject: [PATCH 1/2] Relax astuple argument types --- dsl.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/dsl.py b/dsl.py index a3690c2..5d45021 100644 --- a/dsl.py +++ b/dsl.py @@ -387,7 +387,7 @@ def remove( return type(container)(e for e in container if e != value) -def other( +def other( container: Container, value: Any ) -> Any: @@ -405,8 +405,8 @@ def interval( def astuple( - a: Integer, - b: Integer + a: Any, + b: Any ) -> IntegerTuple: """ constructs a tuple """ return (a, b) From 46e4af926d91b7231e4ed46676ce8ff885eea892 Mon Sep 17 00:00:00 2001 From: AmziJeffs Date: Wed, 6 Nov 2024 17:29:46 -0500 Subject: [PATCH 2/2] Remove whitespace erroneously added --- dsl.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dsl.py b/dsl.py index 5d45021..dc7bbc6 100644 --- a/dsl.py +++ b/dsl.py @@ -387,7 +387,7 @@ def remove( return type(container)(e for e in container if e != value) -def other( +def other( container: Container, value: Any ) -> Any: