rekado pushed a commit to branch python-team
in repository guix.
commit e2745702b79702a928241545b83169bb748aa9a9
Author: Ricardo Wurmus <[email protected]>
AuthorDate: Tue Feb 27 15:56:13 2024 +0100
gnu: Add python-pytest-mypy-testing.
* gnu/packages/check.scm (python-pytest-mypy-testing): New variable.
Change-Id: Ic55e63745eae070e439155f1dc6792285eb87312
---
gnu/packages/check.scm | 20 ++++++++++++++++++++
1 file changed, 20 insertions(+)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index f59d92130e..6f7ec97e41 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -2608,6 +2608,26 @@ a Pytest test execution.")
mypy plugins.")
(license license:expat)))
+(define-public python-pytest-mypy-testing
+ (package
+ (name "python-pytest-mypy-testing")
+ (version "0.1.2")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (pypi-uri "pytest-mypy-testing" version))
+ (sha256
+ (base32 "0kqb3hi4jrc4knhc9pxv44m7c1jjkkwqx0dyghq4mw6wphlsv3q8"))))
+ (build-system pyproject-build-system)
+ (native-inputs (list python-flit-core))
+ (propagated-inputs (list python-mypy python-pytest))
+ (home-page "https://github.com/davidfritzsche/pytest-mypy-testing")
+ (synopsis "Pytest plugin to check mypy output")
+ (description "This package provides a pytest plugin to test that mypy
+produces a given output. As mypy can be told to display the type of an
+expression this allows you to check mypys type interference.")
+ (license (list license:expat license:asl2.0))))
+
(define-public python-pytest-pep8
(package
(name "python-pytest-pep8")