GNU bug report logs - #35975
[PATCH 43/47] gnu: Add python-mypy.

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: guix-patches; Reported by: "h.nasajpour" <h.nasajpour@HIDDEN>; Keywords: patch; dated Wed, 29 May 2019 00:37:02 UTC; Maintainer for guix-patches is guix-patches@HIDDEN.

Message received at 35975 <at> debbugs.gnu.org:


Received: (at 35975) by debbugs.gnu.org; 10 Dec 2019 06:42:44 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Dec 10 01:42:44 2019
Received: from localhost ([127.0.0.1]:54834 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1ieZEG-00021W-Jf
	for submit <at> debbugs.gnu.org; Tue, 10 Dec 2019 01:42:44 -0500
Received: from mout02.posteo.de ([185.67.36.66]:57495)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <brettg@HIDDEN>) id 1ieZEE-00021K-RC
 for 35975 <at> debbugs.gnu.org; Tue, 10 Dec 2019 01:42:40 -0500
Received: from submission (posteo.de [89.146.220.130]) 
 by mout02.posteo.de (Postfix) with ESMTPS id E589F2400FB
 for <35975 <at> debbugs.gnu.org>; Tue, 10 Dec 2019 07:42:32 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017;
 t=1575960152; bh=XTasl5v2pOpP5A4JRKYXW5+bkpFcr8uMx8eEbySkkAo=;
 h=From:To:Cc:Subject:Date:From;
 b=HIpaBsssdjAKeXrPxgqM2RTGYJWQzh/m6Q9aeU+Kj48GNp2QhvXY0zZs7MZ62DlXf
 nY6ZxMPwX9v+ZvJ7+pqrHKoHpvflXjUtREMK9TdOgumBv/rMR8Vasg7F2fn6bFrDaw
 XdrgicIWglkQ7Kh8jcKpZeqYC8HDNtQEXVfMUAxf+S6OXWJLlF2TUiv98I83K0gsIH
 KDhuAGYWUjEAcD85YsDaZf3dIr+qLbh/sMmsIJU8YX/UeJm4mQBkehuV9xy86Z0uBa
 S9c/qpJWnAiZETb4xjphmtJFWrVNWwirAmKAQzUXFpX5mHAuvsyO0BowpEfYu7ipWS
 z5kMQxAL31bjg==
Received: from customer (localhost [127.0.0.1])
 by submission (posteo.de) with ESMTPSA id 47X9Tz3GRhz9rxW;
 Tue, 10 Dec 2019 07:42:31 +0100 (CET)
From: Brett Gilio <brettg@HIDDEN>
To: "h.nasajpour" <h.nasajpour@HIDDEN>
Subject: Re: [bug#35975] [PATCH 43/47] gnu: Add python-mypy.
References: <h.nasajpour@HIDDEN>
 <20190529003550.3213-1-h.nasajpour@HIDDEN>
Date: Tue, 10 Dec 2019 00:42:30 -0600
In-Reply-To: <20190529003550.3213-1-h.nasajpour@HIDDEN> (h. nasajpour's
 message of "Wed, 29 May 2019 05:05:50 +0430")
Message-ID: <87r21ck7ft.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 35975
Cc: 35975 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

"h.nasajpour" <h.nasajpour@HIDDEN> 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)))
>=20=20
> +(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 "04h8brrbbx151dfa2cvvlnxgmb5wa00mhd2z7nd20s8kyibfk=
q1p"))))
> +    (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 =E2=80=9Cmypy_extensions=E2=80=9D module defines experimental =
extensions to the standard =E2=80=9Ctyping=E2=80=9D module that are support=
ed 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 "05479r3gbq17r22hyhxjg49smx5q864pgx8ayy23rsdj4w6z2=
r2p"))))
> +    (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 wit=
h 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!

--=20
Brett M. Gilio
Homepage -- https://scm.pw/
GNU Guix -- https://guix.gnu.org/




Information forwarded to guix-patches@HIDDEN:
bug#35975; Package guix-patches. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 29 May 2019 00:36:03 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue May 28 20:36:03 2019
Received: from localhost ([127.0.0.1]:57748 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1hVmZX-000687-6Z
	for submit <at> debbugs.gnu.org; Tue, 28 May 2019 20:36:03 -0400
Received: from eggs.gnu.org ([209.51.188.92]:54414)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <root@HIDDEN>) id 1hVmZU-00067C-Ky
 for submit <at> debbugs.gnu.org; Tue, 28 May 2019 20:36:00 -0400
Received: from lists.gnu.org ([209.51.188.17]:52871)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <root@HIDDEN>)
 id 1hVmZP-00014y-Ds
 for submit <at> debbugs.gnu.org; Tue, 28 May 2019 20:35:55 -0400
Received: from eggs.gnu.org ([209.51.188.92]:40544)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <root@HIDDEN>) id 1hVmZO-0007tw-13
 for guix-patches@HIDDEN; Tue, 28 May 2019 20:35:55 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: ****
X-Spam-Status: No, score=4.3 required=5.0 tests=BAYES_50,NO_DNS_FOR_FROM,
 RDNS_DYNAMIC,RECEIVED_FROM_WINDOWS_HOST,URIBL_BLOCKED autolearn=disabled
 version=3.3.2
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <root@HIDDEN>) id 1hVmZM-00012q-OH
 for guix-patches@HIDDEN; Tue, 28 May 2019 20:35:53 -0400
Received: from 37.59.236.227.rdns.hasaserver.com ([37.59.236.227]:55889
 helo=hamzeh-VirtualBox.Home) by eggs.gnu.org with esmtp (Exim 4.71)
 (envelope-from <root@HIDDEN>) id 1hVmZM-000123-6S
 for guix-patches@HIDDEN; Tue, 28 May 2019 20:35:52 -0400
Received: by hamzeh-VirtualBox.Home (Postfix, from userid 0)
 id B582B1A154B; Wed, 29 May 2019 05:05:51 +0430 (+0430)
From: "h.nasajpour" <h.nasajpour@HIDDEN>
To: guix-patches@HIDDEN
Subject: [PATCH 43/47] gnu: Add python-mypy.
Date: Wed, 29 May 2019 05:05:50 +0430
Message-Id: <20190529003550.3213-1-h.nasajpour@HIDDEN>
X-Mailer: git-send-email 2.17.1
In-Reply-To: <h.nasajpour@HIDDEN>
References: <h.nasajpour@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-detected-operating-system: by eggs.gnu.org: Windows NT kernel [generic]
X-Received-From: 37.59.236.227
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Spam-Score: -1.9 (-)
X-Debbugs-Envelope-To: submit
Cc: "h.nasajpour" <h.nasajpour@HIDDEN>
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.9 (--)

* 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)))
=20
+(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 "04h8brrbbx151dfa2cvvlnxgmb5wa00mhd2z7nd20s8kyibfk=
q1p"))))
+    (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 =E2=80=9Cmypy_extensions=E2=80=9D module defines experimental =
extensions to the standard =E2=80=9Ctyping=E2=80=9D module that are suppo=
rted 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 "05479r3gbq17r22hyhxjg49smx5q864pgx8ayy23rsdj4w6z2=
r2p"))))
+    (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 wit=
h features such as type inference,
+	 gradual typing, generics and union types.")
+    (license license:expat)))
=20
--=20
2.17.1





Acknowledgement sent to "h.nasajpour" <h.nasajpour@HIDDEN>:
New bug report received and forwarded. Copy sent to guix-patches@HIDDEN. Full text available.
Report forwarded to guix-patches@HIDDEN:
bug#35975; Package guix-patches. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Tue, 10 Dec 2019 06:45:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.