GNU bug report logs -
#35975
[PATCH 43/47] gnu: Add python-mypy.
Previous Next
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 35975 in the body.
You can then email your comments to 35975 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
Report forwarded
to
guix-patches <at> gnu.org
:
bug#35975
; Package
guix-patches
.
(Wed, 29 May 2019 00:37:02 GMT)
Full text and
rfc822 format available.
Acknowledgement sent
to
"h.nasajpour" <h.nasajpour <at> pantherx.org>
:
New bug report received and forwarded. Copy sent to
guix-patches <at> gnu.org
.
(Wed, 29 May 2019 00:37:02 GMT)
Full text and
rfc822 format available.
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
* gnu/packages/python-xyz.scm (python-mypy): New variable
* gnu/packages/python-xyz.scm (python-mypy_extensions): New variable
---
gnu/packages/python-xyz.scm | 41 +++++++++++++++++++++++++++++++++++++
1 file changed, 41 insertions(+)
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index 93783d17ee..298a59f59f 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -15495,4 +15495,45 @@ by Igor Pavlov.")
as they are based on the CPython 2.7 and 3.6 parsers.")
(license license:expat)))
+(define-public python-mypy_extensions
+ (package
+ (name "python-mypy_extensions")
+ (version "0.4.1")
+ (source (origin
+ (method url-fetch)
+ (uri (pypi-uri "mypy_extensions" version))
+ (sha256 (base32 "04h8brrbbx151dfa2cvvlnxgmb5wa00mhd2z7nd20s8kyibfkq1p"))))
+ (build-system python-build-system)
+ (arguments
+ `(#:tests? #f))
+ (home-page "http://www.mypy-lang.org/")
+ (synopsis "Experimental type system extensions for programs checked with the mypy typechecker.")
+ (description
+ "The “mypy_extensions” module defines experimental extensions to the standard “typing” module that are supported by the mypy typechecker..")
+ (license license:expat)))
+
+(define-public python-mypy
+ (package
+ (name "python-mypy")
+ (version "0.701")
+ (source (origin
+ (method url-fetch)
+ (uri (pypi-uri "mypy" version))
+ (sha256 (base32 "05479r3gbq17r22hyhxjg49smx5q864pgx8ayy23rsdj4w6z2r2p"))))
+ (build-system python-build-system)
+ (arguments
+ `(#:tests? #f))
+ (inputs `(
+ ("python-typed-ast" , python-typed-ast)
+ ("python-mypy_extensions" , python-mypy_extensions)
+ ("python-typed-ast" , python-typed-ast)
+ ))
+ (home-page "http://www.mypy-lang.org/")
+ (synopsis "Optional static typing for Python (mypyc-compiled version)")
+ (description
+ "Add type annotations to your Python programs, and use mypy to type check them.
+ Mypy is essentially a Python linter on steroids, and it can catch many programming errors by analyzing your program,
+ without actually having to run it. Mypy has a powerful type system with features such as type inference,
+ gradual typing, generics and union types.")
+ (license license:expat)))
--
2.17.1
Information forwarded
to
guix-patches <at> gnu.org
:
bug#35975
; Package
guix-patches
.
(Tue, 10 Dec 2019 06:43:01 GMT)
Full text and
rfc822 format available.
Message #8 received at 35975 <at> debbugs.gnu.org (full text, mbox):
"h.nasajpour" <h.nasajpour <at> pantherx.org> writes:
> * gnu/packages/python-xyz.scm (python-mypy): New variable
> * gnu/packages/python-xyz.scm (python-mypy_extensions): New variable
> ---
> gnu/packages/python-xyz.scm | 41 +++++++++++++++++++++++++++++++++++++
> 1 file changed, 41 insertions(+)
>
> diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
> index 93783d17ee..298a59f59f 100644
> --- a/gnu/packages/python-xyz.scm
> +++ b/gnu/packages/python-xyz.scm
> @@ -15495,4 +15495,45 @@ by Igor Pavlov.")
> as they are based on the CPython 2.7 and 3.6 parsers.")
> (license license:expat)))
>
> +(define-public python-mypy_extensions
> + (package
> + (name "python-mypy_extensions")
> + (version "0.4.1")
> + (source (origin
> + (method url-fetch)
> + (uri (pypi-uri "mypy_extensions" version))
> + (sha256 (base32 "04h8brrbbx151dfa2cvvlnxgmb5wa00mhd2z7nd20s8kyibfkq1p"))))
> + (build-system python-build-system)
> + (arguments
> + `(#:tests? #f))
> + (home-page "http://www.mypy-lang.org/")
> + (synopsis "Experimental type system extensions for programs checked with the mypy typechecker.")
> + (description
> + "The “mypy_extensions” module defines experimental extensions to the standard “typing” module that are supported by the mypy typechecker..")
> + (license license:expat)))
> +
> +(define-public python-mypy
> + (package
> + (name "python-mypy")
> + (version "0.701")
> + (source (origin
> + (method url-fetch)
> + (uri (pypi-uri "mypy" version))
> + (sha256 (base32 "05479r3gbq17r22hyhxjg49smx5q864pgx8ayy23rsdj4w6z2r2p"))))
> + (build-system python-build-system)
> + (arguments
> + `(#:tests? #f))
> + (inputs `(
> + ("python-typed-ast" , python-typed-ast)
> + ("python-mypy_extensions" , python-mypy_extensions)
> + ("python-typed-ast" , python-typed-ast)
> + ))
> + (home-page "http://www.mypy-lang.org/")
> + (synopsis "Optional static typing for Python (mypyc-compiled version)")
> + (description
> + "Add type annotations to your Python programs, and use mypy to type check them.
> + Mypy is essentially a Python linter on steroids, and it can catch many programming errors by analyzing your program,
> + without actually having to run it. Mypy has a powerful type system with features such as type inference,
> + gradual typing, generics and union types.")
> + (license license:expat)))
Hi,
This package requires a few revisions before it can be merged to master.
If you could separate the packages out either as separate patches in a
series or by having the extensions package as a native input defined
inline of the `python-mypy' package that would be terrific!
Additionally, there are several issues with indentation. Generally we do
not like open and close parenthesis along on lines by
themselves. Additionally there are some issues with your
description. Make sure to run `guix lint` to catch some of these issues.
Lastly, this package has a new version upstream.
If you need help let me know! Thanks!
--
Brett M. Gilio
Homepage -- https://scm.pw/
GNU Guix -- https://guix.gnu.org/
Reply sent
to
zimoun <zimon.toutoune <at> gmail.com>
:
You have taken responsibility.
(Thu, 07 Apr 2022 13:12:03 GMT)
Full text and
rfc822 format available.
Notification sent
to
"h.nasajpour" <h.nasajpour <at> pantherx.org>
:
bug acknowledged by developer.
(Thu, 07 Apr 2022 13:12:03 GMT)
Full text and
rfc822 format available.
Message #13 received at 35975-done <at> debbugs.gnu.org (full text, mbox):
Hi,
Thanks for your submission. Guix currently provides MyPy added by
4fae4f9aab806451535db032b43cba558668cf64 therefore I am closing.
On Wed, 29 May 2019 at 05:05, "h.nasajpour" <h.nasajpour <at> pantherx.org> wrote:
> +(define-public python-mypy
> + (package
> + (name "python-mypy")
> + (version "0.701")
--8<---------------cut here---------------start------------->8---
$ guix show python-mypy | recsel -p name,version
name: python-mypy
version: 0.931
--8<---------------cut here---------------end--------------->8---
Cheers,
simon
bug archived.
Request was from
Debbugs Internal Request <help-debbugs <at> gnu.org>
to
internal_control <at> debbugs.gnu.org
.
(Fri, 06 May 2022 11:24:08 GMT)
Full text and
rfc822 format available.
This bug report was last modified 1 year and 356 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.