From 6212446db60c3482b9f7e39f63515f85ae07d9c5 Mon Sep 17 00:00:00 2001 From: andrejrabcenko Date: Tue, 19 Sep 2023 09:59:15 +0300 Subject: [PATCH] new file: projects/python.org/typing_extensions/package.yml new file: projects/python.org/typing_extensions/test.py --- .../python.org/typing_extensions/package.yml | 27 +++++++++++++++++++ projects/python.org/typing_extensions/test.py | 7 +++++ 2 files changed, 34 insertions(+) create mode 100644 projects/python.org/typing_extensions/package.yml create mode 100644 projects/python.org/typing_extensions/test.py diff --git a/projects/python.org/typing_extensions/package.yml b/projects/python.org/typing_extensions/package.yml new file mode 100644 index 00000000..3681dd9d --- /dev/null +++ b/projects/python.org/typing_extensions/package.yml @@ -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" diff --git a/projects/python.org/typing_extensions/test.py b/projects/python.org/typing_extensions/test.py new file mode 100644 index 00000000..a4a65258 --- /dev/null +++ b/projects/python.org/typing_extensions/test.py @@ -0,0 +1,7 @@ +import typing_extensions + +class Movie(typing_extensions.TypedDict): + title: str + year: typing_extensions.NotRequired[int] + +m = Movie(title="Grease") \ No newline at end of file