Fix missing requirements to synthesize core (#583)

.github/workflows/main.yml

@@ -30,7 +30,7 @@ jobs:
           python3 -m venv venv
           . venv/bin/activate
           python3 -m pip install --upgrade pip
-          python3 -m pip install -r requirements-dev.txt
+          python3 -m pip install -r requirements.txt
 
       - name: Generate Verilog
         run: |

pyrightconfig.json

@@ -21,6 +21,6 @@
 
   "stubPath": "./stubs",
 
-  "pythonVersion": "3.10",
+  "pythonVersion": "3.11",
   "pythonPlatform": "Linux"
 }

stubs/amaranth/hdl/dsl.pyi

@@ -3,8 +3,7 @@ This type stub file was generated by pyright.
 """
 
 from contextlib import _GeneratorContextManager, contextmanager
-from typing import Callable, ContextManager, Iterator, NoReturn, OrderedDict, ParamSpec, TypeVar, Optional
-from typing_extensions import Self
+from typing import Callable, ContextManager, Iterator, NoReturn, OrderedDict, ParamSpec, TypeVar, Optional, Self
 from transactron.utils import HasElaborate
 from .ast import *
 from .ast import Flattenable

stubs/amaranth/lib/data.pyi

@@ -4,8 +4,7 @@ This type stub file was generated by pyright.
 
 from abc import ABCMeta, abstractmethod
 from collections.abc import Iterator, Mapping
-from typing import TypeVar, Generic
-from typing_extensions import Self
+from typing import TypeVar, Generic, Self
 from amaranth.hdl import *
 from amaranth.hdl.ast import Assign, ShapeCastable, ValueCastable
 from transactron.utils._typing import ShapeLike, ValueLike

stubs/amaranth/lib/enum.pyi

@@ -3,8 +3,7 @@ This type stub file was generated by pyright.
 """
 
 import enum as py_enum
-from typing import Generic, Optional, TypeVar, overload
-from typing_extensions import Self
+from typing import Generic, Optional, TypeVar, Self, overload
 from amaranth import *
 from ..hdl.ast import Assign, ValueCastable, ShapeCastable, ValueLike
 

transactron/core.py

@@ -12,11 +12,11 @@
     Tuple,
     TypeVar,
     Protocol,
+    Self,
     runtime_checkable,
 )
 from os import environ
 from graphlib import TopologicalSorter
-from typing_extensions import Self
 from dataclasses import dataclass, replace
 from amaranth import *
 from amaranth import tracer