fix 3.11 typing

.github/workflows/ci.yaml

@@ -30,7 +30,7 @@ jobs:
 
     strategy:
       matrix:
-        python-version: ["3.11", "3.12"]
+        python-version: ["3.11"] #, "3.12"]
 
     steps:
     - name: Checkout

TODO.md

@@ -74,8 +74,8 @@
 ### Week 2: (30 Oct 23)
 
 - [x] Integrate qrack on test suite
-- [ ] Test on multiple py version
-- [ ] Fixed size list support
+- [x] Test / support on multiple py version >= 3.8
+- [ ] Fixed size list sugar
 - [ ] Groover algorithm tests 
 - [ ] Slideshow for UF midterm
 

qlasskit/ast2logic/env.py

@@ -12,11 +12,16 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
+import sys
 from typing import Dict, List, Tuple
 
 from sympy import Symbol
 from sympy.logic.boolalg import Boolean
-from typing_extensions import TypeAlias
+
+if sys.version_info < (3, 11):
+    from typing_extensions import TypeAlias
+else:
+    from typing import TypeAlias
 
 from ..types import BUILTIN_TYPES, Qint, Qtype  # noqa: F401, E402
 from . import exceptions

qlasskit/types/qtype.py

@@ -12,10 +12,15 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
+import sys
 from typing import Any, List, Literal, Tuple
 
 from sympy.logic.boolalg import Boolean, Not
-from typing_extensions import TypeAlias
+
+if sys.version_info < (3, 11):
+    from typing_extensions import TypeAlias
+else:
+    from typing import TypeAlias
 
 TType: TypeAlias = object
 TExp: TypeAlias = Tuple[TType, Boolean]