Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Python type hints in a separate module #2510

Merged
merged 21 commits into from
Aug 17, 2023

Conversation

tochilinak
Copy link
Member

@tochilinak tochilinak commented Aug 15, 2023

Description

  • Moved abtract parts of utbot-python typing to a separate module (utbot-python-types)

  • Small refactoring of this module

  • Moved module utbot_mypy_runner into this repository

  • Added Gradle tasks to publish Python modules in pip

  • Automated json generation for utbot-python-types tests.

  • Added bash script run_tests_all.sh for more convenient testing

How to test

Automated tests

Tests for Python type hints are now in utbot-python-types/src/test.

Self-check list

Check off the item if the statement is true. Hint: [x] is a marked item.

Please do not delete the list or its items.

  • I've set the proper labels for my PR (at least, for category and component).
  • PR title and description are clear and intelligible.
  • I've added enough comments to my code, particularly in hard-to-understand areas.
  • The functionality I've repaired, changed or added is covered with automated tests.
  • Manual tests have been provided optionally.
  • The documentation for the functionality I've been working on is up-to-date.

@tochilinak tochilinak added ctg-refactoring Issue related to refactoring process lang-python Issue is related to python support labels Aug 15, 2023
@tochilinak tochilinak self-assigned this Aug 15, 2023
utbot-python-types/build.gradle.kts Outdated Show resolved Hide resolved
utbot-python-types/build.gradle.kts Outdated Show resolved Hide resolved
@tochilinak tochilinak force-pushed the tochilina/python-type-hints-package branch from 86edd3a to b03c407 Compare August 17, 2023 10:16
@tochilinak tochilinak marked this pull request as ready for review August 17, 2023 10:23
@tamarinvs19 tamarinvs19 self-requested a review August 17, 2023 10:57
@tochilinak tochilinak enabled auto-merge (squash) August 17, 2023 11:30
@tochilinak tochilinak merged commit 716c974 into main Aug 17, 2023
28 checks passed
@tochilinak tochilinak deleted the tochilina/python-type-hints-package branch August 17, 2023 16:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ctg-refactoring Issue related to refactoring process lang-python Issue is related to python support
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants