Merge pull request #209 from python-project-templates/tkp/rust-extension-type-stubs

Fix Rust extension types and simplify type checks

Author: timkpaine

.github/workflows/build.yaml

@@ -123,6 +123,12 @@ jobs:
       - name: Test template
         run: make test-${{ matrix.template }}
 
+      - name: Check types with Pyodide enabled
+        run: |
+          copier copy --defaults --vcs-ref=$(git rev-parse HEAD) . ../python-template-${{ matrix.template }}-pyodide --data-file examples/${{ matrix.template }}.yaml --data add_pyodide=true
+          make -C ../python-template-${{ matrix.template }}-pyodide check-types
+        if: matrix.template == 'rust' || matrix.template == 'rustjswasm'
+
       - name: Check source distribution artifacts
         run: python .github/scripts/check_sdist_artifacts.py ../python-template-${{ matrix.template }}
         env:

python/cpp/Makefile.jinja

@@ -64,7 +64,7 @@ check-dist:  ## check python sdist and wheel with check-dist
 	check-dist -v
 
 check-types:  ## check python types with ty
-	ty check --python $$(which python)
+	python -m ty check
 
 checks: check-dist check-types
 

python/cppjswasm/Makefile.jinja

@@ -95,7 +95,7 @@ check-dist:  ## check python sdist and wheel with check-dist
 	check-dist -v
 
 check-types:  ## check python types with ty
-	ty check --python $$(which python)
+	python -m ty check
 
 checks: check-dist check-types
 

python/js/Makefile.jinja

@@ -77,7 +77,7 @@ check-dist:  ## check python sdist and wheel with check-dist
 	check-dist -v
 
 check-types:  ## check python types with ty
-	ty check --python $$(which python)
+	python -m ty check
 
 checks: check-dist check-types
 

python/jupyter/Makefile.jinja

@@ -79,7 +79,7 @@ check-dist:  ## check python sdist and wheel with check-dist
 	check-dist -v
 
 check-types:  ## check python types with ty
-	ty check --python $$(which python)
+	python -m ty check
 
 checks: check-dist check-types
 

python/pure/Makefile.jinja

@@ -50,7 +50,7 @@ check-dist:  ## check python sdist and wheel with check-dist
 	check-dist -v
 
 check-types:  ## check python types with ty
-	ty check --python $$(which python)
+	python -m ty check
 
 checks: check-dist check-types
 

python/rust/Makefile.jinja

@@ -78,7 +78,7 @@ check-dist:  ## check python sdist and wheel with check-dist
 	check-dist -v
 
 check-types:  ## check python types with ty
-	ty check --python $$(which python)
+	python -m ty check
 
 checks: check-dist check-types
 

python/rust/{{module}}/{{module}}.pyi

@@ -0,0 +1,2 @@
+class Example:
+    def __init__(self, value: str) -> None: ...

python/rustjswasm/Makefile.jinja

@@ -92,7 +92,7 @@ check-dist:  ## check python sdist and wheel with check-dist
 	check-dist -v
 
 check-types:  ## check python types with ty
-	ty check --python $$(which python)
+	python -m ty check
 
 checks: check-dist check-types
 

python/rustjswasm/{{module}}/{{module}}.pyi

@@ -0,0 +1,2 @@
+class Example:
+    def __init__(self, value: str) -> None: ...