new file: projects/python.org/typing_extensions/package.yml

new file:   projects/python.org/typing_extensions/test.py
This commit is contained in:
andrejrabcenko 2023-09-19 09:59:15 +03:00 committed by Jacob Heider
parent cee8ac5c78
commit 6212446db6
2 changed files with 34 additions and 0 deletions

View file

@ -0,0 +1,27 @@
distributable:
url: https://github.com/python/typing_extensions/archive/{{version}}.tar.gz
strip-components: 1
versions:
github: python/typing_extensions
runtime:
env:
PYTHONPATH: "{{prefix}}/lib/python/site-packages:$PYTHONPATH"
build:
dependencies:
flit.pypa.io: '*'
python.org: ^3.11
tea.xyz/gx/cc: c99
script:
- flit build --format wheel
- python -m pip install --prefix={{prefix}} dist/typing_extensions-*.whl
- run: |
ln -s python{{deps.python.org.version.marketing}} python{{deps.python.org.version.major}}
ln -s python{{deps.python.org.version.major}} python
working-directory: "{{prefix}}/lib"
test:
dependencies:
python.org: ^3.11
mypy-lang.org: '*'
script:
- python -c "import typing_extensions"
- mypy test.py | grep "Success"

View file

@ -0,0 +1,7 @@
import typing_extensions
class Movie(typing_extensions.TypedDict):
title: str
year: typing_extensions.NotRequired[int]
m = Movie(title="Grease")