Merge branch 'main' into dev

OpShin · Apr 8, 2024 · fef3ca5 · fef3ca5
2 parents f19a643 + 9e1ecf0
commit fef3ca5
Show file tree

Hide file tree

Showing 6 changed files with 99 additions and 99 deletions.
diff --git a/.github/workflows/python-publish.yml b/.github/workflows/python-publish.yml
@@ -19,7 +19,7 @@ jobs:
       - name: Build and publish to pypi
         uses: JRubics/poetry-publish@v2.0
         with:
-          python_version: "3.8"
+          python_version: "3.10"
           pypi_token: ${{ secrets.PYPI_TOKEN }}
           package_directory: "opshin"
-          ignore_dev_requirements: "yes"
+          poetry_install_options: "--without dev"
diff --git a/opshin/tests/test_types.py b/opshin/tests/test_types.py
@@ -1,4 +1,4 @@
-from ..types import *
+from ..type_impls import *
 
 
 def test_record_type_order():

diff --git a/opshin/types.py → opshin/type_impls.py b/opshin/types.py → opshin/type_impls.py
diff --git a/opshin/typed_ast.py b/opshin/typed_ast.py
@@ -1,4 +1,4 @@
-from .types import *
+from .type_impls import *
 
 
 class TypedAST(AST):