From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 00/10] gnu: Add python-mypy. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Jul 2020 11:56:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.15953325436902 (code B ref -1); Tue, 21 Jul 2020 11:56:02 +0000 Received: (at submit) by debbugs.gnu.org; 21 Jul 2020 11:55:43 +0000 Received: from localhost ([127.0.0.1]:38363 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqs2-0001nF-VK for submit@debbugs.gnu.org; Tue, 21 Jul 2020 07:55:43 -0400 Received: from lists.gnu.org ([209.51.188.17]:35342) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqs0-0001n7-Vk for submit@debbugs.gnu.org; Tue, 21 Jul 2020 07:55:41 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:52066) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jxqs0-0003Da-MS for guix-patches@gnu.org; Tue, 21 Jul 2020 07:55:40 -0400 Received: from relay1-d.mail.gandi.net ([217.70.183.193]:47741) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jxqry-0006zl-Ka for guix-patches@gnu.org; Tue, 21 Jul 2020 07:55:40 -0400 X-Originating-IP: 176.159.32.89 Received: from rafflesia.easter-eggs.fr (176-159-32-89.abo.bbox.fr [176.159.32.89]) (Authenticated sender: tanguy@bioneland.org) by relay1-d.mail.gandi.net (Postfix) with ESMTPA id 18F0C240002; Tue, 21 Jul 2020 11:55:35 +0000 (UTC) From: Tanguy Le Carrour Date: Tue, 21 Jul 2020 13:55:15 +0200 Message-Id: <20200721115515.5408-1-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: none client-ip=217.70.183.193; envelope-from=tanguy@bioneland.org; helo=relay1-d.mail.gandi.net X-detected-operating-system: by eggs.gnu.org: First seen = 2020/07/21 07:55:36 X-ACL-Warn: Detected OS = Linux 3.11 and newer X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) This patch replaces #42395 and #42396. It might also replace #35975 and #35193. Tanguy Le Carrour (10): gnu: python-typing-extension: Update to 3.7.4.2. gnu: python-hypothesis: Update to 5.20.0. gnu: Add python-mypy-extensions. gnu: Add python-typing-inspect. gnu: Add python-libcst. gnu: Add python-lark-parser. gnu: Add python-hypothesmith. gnu: Add python-flake8-bugbear. gnu: Add python-flake8-pyi. gnu: Add python-mypy. gnu/packages/check.scm | 27 +++++- gnu/packages/python-check.scm | 71 +++++++++++++++ gnu/packages/python-xyz.scm | 159 +++++++++++++++++++++++++++++++++- 3 files changed, 253 insertions(+), 4 deletions(-) -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 01/10] gnu: python-typing-extension: Update to 3.7.4.2. References: <20200721115515.5408-1-tanguy@bioneland.org> In-Reply-To: <20200721115515.5408-1-tanguy@bioneland.org> Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Jul 2020 11:57:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.15953326157032 (code B ref 42465); Tue, 21 Jul 2020 11:57:01 +0000 Received: (at 42465) by debbugs.gnu.org; 21 Jul 2020 11:56:55 +0000 Received: from localhost ([127.0.0.1]:38368 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtD-0001pL-BO for submit@debbugs.gnu.org; Tue, 21 Jul 2020 07:56:55 -0400 Received: from relay8-d.mail.gandi.net ([217.70.183.201]:49153) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtA-0001p5-2I for 42465@debbugs.gnu.org; Tue, 21 Jul 2020 07:56:53 -0400 X-Originating-IP: 176.159.32.89 Received: from rafflesia.easter-eggs.fr (176-159-32-89.abo.bbox.fr [176.159.32.89]) (Authenticated sender: tanguy@bioneland.org) by relay8-d.mail.gandi.net (Postfix) with ESMTPA id 7D8041BF20A; Tue, 21 Jul 2020 11:56:45 +0000 (UTC) From: Tanguy Le Carrour Date: Tue, 21 Jul 2020 13:56:24 +0200 Message-Id: <20200721115633.6088-1-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-typing-extension): Update to 3.7.4.2. --- gnu/packages/python-xyz.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 748f48f229..893506b5c3 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -16663,14 +16663,14 @@ and other tools.") (define-public python-typing-extensions (package (name "python-typing-extensions") - (version "3.7.4.1") + (version "3.7.4.2") (source (origin (method url-fetch) (uri (pypi-uri "typing_extensions" version)) (sha256 (base32 - "1wj1vcgbnm20aiinmphyxfrbv3qi9xdhvw89ab3qm42y9n4wq7h9")))) + "1bk9b60s3rm1c8cwhv0bl3gh0x43153xxa6jpyllk9mc7jd5ivkr")))) (build-system python-build-system) (home-page "https://github.com/python/typing/blob/master/typing_extensions/README.rst") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 02/10] gnu: python-hypothesis: Update to 5.20.0. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Jul 2020 11:57:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.15953326207049 (code B ref 42465); Tue, 21 Jul 2020 11:57:02 +0000 Received: (at 42465) by debbugs.gnu.org; 21 Jul 2020 11:57:00 +0000 Received: from localhost ([127.0.0.1]:38371 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtI-0001pd-JM for submit@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:00 -0400 Received: from relay8-d.mail.gandi.net ([217.70.183.201]:42081) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtH-0001pK-LD for 42465@debbugs.gnu.org; Tue, 21 Jul 2020 07:56:59 -0400 X-Originating-IP: 176.159.32.89 Received: from rafflesia.easter-eggs.fr (176-159-32-89.abo.bbox.fr [176.159.32.89]) (Authenticated sender: tanguy@bioneland.org) by relay8-d.mail.gandi.net (Postfix) with ESMTPA id C4F401BF208; Tue, 21 Jul 2020 11:56:53 +0000 (UTC) From: Tanguy Le Carrour Date: Tue, 21 Jul 2020 13:56:25 +0200 Message-Id: <20200721115633.6088-2-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200721115633.6088-1-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/check.scm (python-hypothesis): Update to 5.20.0. --- gnu/packages/check.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 661ed65e53..a3608e4125 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -1801,13 +1801,13 @@ instantly.") (define-public python-hypothesis (package (name "python-hypothesis") - (version "5.4.1") + (version "5.20.0") (source (origin (method url-fetch) (uri (pypi-uri "hypothesis" version)) (sha256 (base32 - "0zn09bn6hadk4vxl6jy8bkjr5fz8mrhin3z46w7pq5qgbaycr89p")))) + "0h1wy6wdcbgidqw5spm0lndlj77l6d5na5z2cxy04g4yp5m9v9jh")))) (build-system python-build-system) (arguments ;; XXX: Tests are not distributed with the PyPI archive. -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 03/10] gnu: Add python-mypy-extensions. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Jul 2020 11:58:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.15953326287111 (code B ref 42465); Tue, 21 Jul 2020 11:58:01 +0000 Received: (at 42465) by debbugs.gnu.org; 21 Jul 2020 11:57:08 +0000 Received: from localhost ([127.0.0.1]:38376 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtP-0001qd-P2 for submit@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:08 -0400 Received: from relay8-d.mail.gandi.net ([217.70.183.201]:37415) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtN-0001pc-Ot for 42465@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:06 -0400 X-Originating-IP: 176.159.32.89 Received: from rafflesia.easter-eggs.fr (176-159-32-89.abo.bbox.fr [176.159.32.89]) (Authenticated sender: tanguy@bioneland.org) by relay8-d.mail.gandi.net (Postfix) with ESMTPA id 037A21BF20E; Tue, 21 Jul 2020 11:56:59 +0000 (UTC) From: Tanguy Le Carrour Date: Tue, 21 Jul 2020 13:56:26 +0200 Message-Id: <20200721115633.6088-3-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200721115633.6088-1-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-check.scm (python-mypy-extensions): New variable. --- gnu/packages/python-check.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm index 09eb253f06..89137b515d 100644 --- a/gnu/packages/python-check.scm +++ b/gnu/packages/python-check.scm @@ -7,6 +7,7 @@ ;;; Copyright © 2020 Julien Lepiller ;;; Copyright © 2020 Marius Bakke ;;; Copyright © 2020 Edouard Klein +;;; Copyright © 2020 Tanguy Le Carrour ;;; ;;; This file is part of GNU Guix. ;;; @@ -454,3 +455,22 @@ analysing code quality.") (description "This package provides a library for replying fake data to Python software under test, when they make an HTTP query.") (license license:asl2.0))) + +(define-public python-mypy-extensions + (package + (name "python-mypy-extensions") + (version "0.4.3") + (source + (origin + (method url-fetch) + (uri (pypi-uri "mypy_extensions" version)) + (sha256 + (base32 + "1a04qsk8hd1lqns8w1j7cr0vmvbhg450di5k1i16kqxkbf7q30id")))) + (build-system python-build-system) + (arguments `(#:tests? #f)); no tests + (home-page "https://github.com/python/mypy_extensions") + (synopsis "Experimental extensions for MyPy.") + (description "The @code{python-mypy-extensions} module defines experimental +extensions to the standard 'typing' module that are supported by the mypy typechecker.") + (license license:expat))) -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 04/10] gnu: Add python-typing-inspect. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Jul 2020 11:58:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.15953326337133 (code B ref 42465); Tue, 21 Jul 2020 11:58:02 +0000 Received: (at 42465) by debbugs.gnu.org; 21 Jul 2020 11:57:13 +0000 Received: from localhost ([127.0.0.1]:38379 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtV-0001qw-40 for submit@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:13 -0400 Received: from relay8-d.mail.gandi.net ([217.70.183.201]:59719) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtT-0001qV-9P for 42465@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:11 -0400 X-Originating-IP: 176.159.32.89 Received: from rafflesia.easter-eggs.fr (176-159-32-89.abo.bbox.fr [176.159.32.89]) (Authenticated sender: tanguy@bioneland.org) by relay8-d.mail.gandi.net (Postfix) with ESMTPA id 53FE81BF205; Tue, 21 Jul 2020 11:57:05 +0000 (UTC) From: Tanguy Le Carrour Date: Tue, 21 Jul 2020 13:56:27 +0200 Message-Id: <20200721115633.6088-4-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200721115633.6088-1-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-typing-inspect): New variable. --- gnu/packages/python-xyz.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 893506b5c3..2293a16ecc 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -12274,6 +12274,30 @@ in Python. It allows you to declare the libraries your project depends on and it will manage (install/update) them for you.") (license license:expat))) +(define-public python-typing-inspect + (package + (name "python-typing-inspect") + (version "0.6.0") + (source (origin + (method url-fetch) + (uri (pypi-uri "typing_inspect" version)) + (sha256 + (base32 + "1dzs9a1pr23dhbvmnvms2jv7l7jk26023g5ysf0zvnq8b791s6wg")))) + (build-system python-build-system) + (propagated-inputs + `(("python-mypy-extensions" ,python-mypy-extensions) + ("python-typing-extensions" ,python-typing-extensions))) + (home-page "https://github.com/ilevkivskyi/typing_inspect") + (synopsis + "Defines experimental API for runtime inspection of types defined in the Python +standard typing module") + (description + "The typing_inspect module defines experimental API for runtime inspection of types +defined in the Python standard typing module. Works with typing version 3.7.4 and +later.") + (license license:expat))) + (define-public python-lazy-object-proxy (package (name "python-lazy-object-proxy") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 05/10] gnu: Add python-libcst. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Jul 2020 11:58:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.15953326407159 (code B ref 42465); Tue, 21 Jul 2020 11:58:02 +0000 Received: (at 42465) by debbugs.gnu.org; 21 Jul 2020 11:57:20 +0000 Received: from localhost ([127.0.0.1]:38382 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtY-0001rE-AU for submit@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:19 -0400 Received: from relay8-d.mail.gandi.net ([217.70.183.201]:40257) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtW-0001ql-88 for 42465@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:14 -0400 X-Originating-IP: 176.159.32.89 Received: from rafflesia.easter-eggs.fr (176-159-32-89.abo.bbox.fr [176.159.32.89]) (Authenticated sender: tanguy@bioneland.org) by relay8-d.mail.gandi.net (Postfix) with ESMTPA id 708261BF203; Tue, 21 Jul 2020 11:57:08 +0000 (UTC) From: Tanguy Le Carrour Date: Tue, 21 Jul 2020 13:56:28 +0200 Message-Id: <20200721115633.6088-5-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200721115633.6088-1-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-libcst): New variable. --- gnu/packages/python-xyz.scm | 55 +++++++++++++++++++++++++++++++++++++ 1 file changed, 55 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 2293a16ecc..6b462a42f0 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -12274,6 +12274,61 @@ in Python. It allows you to declare the libraries your project depends on and it will manage (install/update) them for you.") (license license:expat))) +(define-public python-libcst + (package + (name "python-libcst") + (version "0.3.7") + (source (origin + (method url-fetch) + (uri (pypi-uri "libcst" version)) + (sha256 + (base32 + "1wfd5m9jhk5x2qpz29pjhm9ypp5h3nlbk6xv4vzn4f45xdf5bv9x")))) + (build-system python-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (add-after 'unpack 'remove-failing-tests + (lambda _ + ;; Reported upstream: . + (delete-file "libcst/tests/test_fuzz.py") + ;; Reported upstream: . + (delete-file "libcst/tests/test_pyre_integration.py") + (delete-file "libcst/codemod/tests/test_codemod_cli.py") + (delete-file "libcst/metadata/tests/test_full_repo_manager.py") + (delete-file "libcst/metadata/tests/test_type_inference_provider.py") + #t)) + (replace 'check + (lambda _ + (setenv "PYTHONPATH" (string-append (getcwd) ":" (getenv "PYTHONPATH"))) + (invoke "python" "-m" "libcst.codegen.generate" "visitors") + (invoke "python" "-m" "libcst.codegen.generate" "return_types") + (invoke "python" "-m" "unittest") + #t))))) + (native-inputs + `(("python-black" ,python-black) + ("python-hypothesis" ,python-hypothesis) + ("python-isort" ,python-isort))) + (propagated-inputs + `(("python-typing-extensions" ,python-typing-extensions) + ("python-typing-inspect" ,python-typing-inspect) + ("python-pyyaml" ,python-pyyaml))) + (home-page "https://github.com/Instagram/LibCST") + (synopsis "A Concrete Syntax Tree (CST) parser and serializer library for Python") + (description + "LibCST parses Python 3.0, 3.1, 3.3, 3.5, 3.6, 3.7 or 3.8 source code as a CST tree +that keeps all formatting details (comments, whitespaces, parentheses, etc). It's useful +for building automated refactoring (codemod) applications and linters. LibCST creates +a compromise between an Abstract Syntax Tree (AST) and a traditional Concrete Syntax +Tree (CST). By carefully reorganizing and naming node types and fields, we've created +a lossless CST that looks and feels like an AST.") + (license (list license:expat + ;; Some files unde libcst/_parser/ are under Python Software + ;; Foundation license (see LICENSE file for details) + license:psfl + ;; libcst/_add_slots.py + license:asl2.0)))) + (define-public python-typing-inspect (package (name "python-typing-inspect") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 06/10] gnu: Add python-lark-parser. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Jul 2020 11:58:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.15953326407165 (code B ref 42465); Tue, 21 Jul 2020 11:58:03 +0000 Received: (at 42465) by debbugs.gnu.org; 21 Jul 2020 11:57:20 +0000 Received: from localhost ([127.0.0.1]:38385 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtb-0001rP-To for submit@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:20 -0400 Received: from relay8-d.mail.gandi.net ([217.70.183.201]:60733) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqta-0001qy-J4 for 42465@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:18 -0400 X-Originating-IP: 176.159.32.89 Received: from rafflesia.easter-eggs.fr (176-159-32-89.abo.bbox.fr [176.159.32.89]) (Authenticated sender: tanguy@bioneland.org) by relay8-d.mail.gandi.net (Postfix) with ESMTPA id BE82D1BF205; Tue, 21 Jul 2020 11:57:12 +0000 (UTC) From: Tanguy Le Carrour Date: Tue, 21 Jul 2020 13:56:29 +0200 Message-Id: <20200721115633.6088-6-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200721115633.6088-1-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-lark-parser): New variable. --- gnu/packages/python-xyz.scm | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 6b462a42f0..533e2f6421 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -12274,6 +12274,25 @@ in Python. It allows you to declare the libraries your project depends on and it will manage (install/update) them for you.") (license license:expat))) +(define-public python-lark-parser + (package + (name "python-lark-parser") + (version "0.9.0") + (source (origin + (method url-fetch) + (uri (pypi-uri "lark-parser" version)) + (sha256 + (base32 + "1kd61asrb3h9spgsj4bslfbgp8q4271sw3hblk6f2vbbblv8jxcy")))) + (build-system python-build-system) + (home-page "https://github.com/lark-parser/lark") + (synopsis "A modern parsing library for Python") + (description + "Lark is a parser built with a focus on ergonomics, performance and resilience. +Lark can parse all context-free languages. That means it is capable of parsing almost +any programming language out there, and to some degree most natural languages too.") + (license license:expat))) + (define-public python-libcst (package (name "python-libcst") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 07/10] gnu: Add python-hypothesmith. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Jul 2020 11:58:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.15953326457184 (code B ref 42465); Tue, 21 Jul 2020 11:58:03 +0000 Received: (at 42465) by debbugs.gnu.org; 21 Jul 2020 11:57:25 +0000 Received: from localhost ([127.0.0.1]:38388 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqth-0001rn-4i for submit@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:25 -0400 Received: from relay8-d.mail.gandi.net ([217.70.183.201]:59297) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtf-0001rH-Kd for 42465@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:23 -0400 X-Originating-IP: 176.159.32.89 Received: from rafflesia.easter-eggs.fr (176-159-32-89.abo.bbox.fr [176.159.32.89]) (Authenticated sender: tanguy@bioneland.org) by relay8-d.mail.gandi.net (Postfix) with ESMTPA id C37BD1BF20F; Tue, 21 Jul 2020 11:57:17 +0000 (UTC) From: Tanguy Le Carrour Date: Tue, 21 Jul 2020 13:56:30 +0200 Message-Id: <20200721115633.6088-7-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200721115633.6088-1-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/check.scm (python-hypothesmith): New variable. --- gnu/packages/check.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index a3608e4125..817bdb4cd9 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -1840,6 +1840,29 @@ seamlessly into your existing Python unit testing work flow.") `(("python2-enum34" ,python2-enum34) ,@(package-propagated-inputs hypothesis)))))) +(define-public python-hypothesmith + (package + (name "python-hypothesmith") + (version "0.1.2") + (source + (origin + (method url-fetch) + (uri (pypi-uri "hypothesmith" version)) + (sha256 + (base32 + "09331sspknv459xcyn1k0lx5flqlc6gmnwp9370pfvg4kg1zmss6")))) + (build-system python-build-system) + (propagated-inputs + `(("python-hypothesis" ,python-hypothesis) + ("python-lark-parser" ,python-lark-parser) + ("python-libcst" ,python-libcst))) + (home-page "https://github.com/Zac-HD/hypothesmith") + (synopsis "Strategies for generating Python programs.") + (description + "Hypothesis strategies for generating Python programs, something like CSmith. This +is definitely pre-alpha, but if you want to play with it feel free!") + (license license:mpl2.0))) + (define-public python-lit (package (name "python-lit") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 08/10] gnu: Add python-flake8-bugbear. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Jul 2020 11:58:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.15953326487200 (code B ref 42465); Tue, 21 Jul 2020 11:58:03 +0000 Received: (at 42465) by debbugs.gnu.org; 21 Jul 2020 11:57:28 +0000 Received: from localhost ([127.0.0.1]:38391 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtk-0001s3-E5 for submit@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:28 -0400 Received: from relay8-d.mail.gandi.net ([217.70.183.201]:40263) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqti-0001rd-SA for 42465@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:27 -0400 X-Originating-IP: 176.159.32.89 Received: from rafflesia.easter-eggs.fr (176-159-32-89.abo.bbox.fr [176.159.32.89]) (Authenticated sender: tanguy@bioneland.org) by relay8-d.mail.gandi.net (Postfix) with ESMTPA id 16CCA1BF20A; Tue, 21 Jul 2020 11:57:20 +0000 (UTC) From: Tanguy Le Carrour Date: Tue, 21 Jul 2020 13:56:31 +0200 Message-Id: <20200721115633.6088-8-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200721115633.6088-1-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-flake8-bugbear): New variable. --- gnu/packages/python-xyz.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 533e2f6421..dd1e78d2e0 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -7886,6 +7886,34 @@ complexity of Python source code.") ("python-pyflakes" ,python-pyflakes-1.2) ("python-mccabe" ,python-mccabe))))) +(define-public python-flake8-bugbear + (package + (name "python-flake8-bugbear") + (version "20.1.4") + (source + (origin + (method url-fetch) + (uri (pypi-uri "flake8-bugbear" version)) + (sha256 + (base32 + "0qiihb242fygzyrfynq913ak7cdmx8mcac9c0zk3y5gv16qf80mx")))) + (build-system python-build-system) + (native-inputs + `(("python-hypothesis" ,python-hypothesis) + ("python-hypothesmith" ,python-hypothesmith))) + (propagated-inputs + `(("python-attrs" ,python-attrs) + ("python-flake8" ,python-flake8))) + (home-page "https://github.com/PyCQA/flake8-bugbear") + (synopsis + "A plugin for Flake8 finding likely bugs and design problems in your program") + (description + "A plugin for Flake8 finding likely bugs and design problems in your program. +Contains warnings that don't belong in pyflakes and pycodestyle. It is felt that +these lints don't belong in the main Python tools as they are very opinionated and +do not have a PEP or standard behind them.") + (license license:expat))) + (define-public python-flake8-polyfill (package (name "python-flake8-polyfill") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 09/10] gnu: Add python-flake8-pyi. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Jul 2020 11:58:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.15953326527215 (code B ref 42465); Tue, 21 Jul 2020 11:58:04 +0000 Received: (at 42465) by debbugs.gnu.org; 21 Jul 2020 11:57:32 +0000 Received: from localhost ([127.0.0.1]:38394 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtn-0001sJ-NL for submit@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:31 -0400 Received: from relay8-d.mail.gandi.net ([217.70.183.201]:44523) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtl-0001rm-Up for 42465@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:30 -0400 X-Originating-IP: 176.159.32.89 Received: from rafflesia.easter-eggs.fr (176-159-32-89.abo.bbox.fr [176.159.32.89]) (Authenticated sender: tanguy@bioneland.org) by relay8-d.mail.gandi.net (Postfix) with ESMTPA id 2D33B1BF208; Tue, 21 Jul 2020 11:57:24 +0000 (UTC) From: Tanguy Le Carrour Date: Tue, 21 Jul 2020 13:56:32 +0200 Message-Id: <20200721115633.6088-9-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200721115633.6088-1-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-flake8-pyi): New variable. --- gnu/packages/python-xyz.scm | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index dd1e78d2e0..1d4199eb14 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -7957,6 +7957,35 @@ plugins that intend to support Flake8 2.x and 3.x simultaneously.") (define-public python2-flake8-polyfill (package-with-python2 python-flake8-polyfill)) +(define-public python-flake8-pyi + (package + (name "python-flake8-pyi") + (version "20.5.0") + (source + (origin + (method url-fetch) + (uri (pypi-uri "flake8-pyi" version)) + (sha256 + (base32 + "1zpq4s9kp8w95pccmhhyyx1ff2zhnidcf1zb3xs46lzcx9plvnzk")))) + (build-system python-build-system) + (propagated-inputs + `(("python-attrs" ,python-attrs) + ("python-flake8" ,python-flake8) + ("python-pyflakes" ,python-pyflakes))) + (home-page "https://github.com/ambv/flake8-pyi") + (synopsis + "A plugin for Flake8 that provides specializations for type hinting stub files.") + (description + "A plugin for Flake8 that provides specializations for type hinting stub files, +especially interesting for linting typeshed. 1) Adds the .pyi extension to +the default value of the --filename command-line argument to Flake8. This means +stubs are linted by default with this plugin enabled, without needing to explicitly list +every file. 2) Modifies PyFlakes runs for .pyi files to defer checking type annotation +expressions after the entire file has been read. This enables support for first-class +forward references that stub files use.") + (license license:expat))) + (define-public python-mistune (package (name "python-mistune") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 10/10] gnu: Add python-mypy. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Jul 2020 11:58:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.15953326557230 (code B ref 42465); Tue, 21 Jul 2020 11:58:04 +0000 Received: (at 42465) by debbugs.gnu.org; 21 Jul 2020 11:57:35 +0000 Received: from localhost ([127.0.0.1]:38397 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtq-0001sY-WE for submit@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:35 -0400 Received: from relay8-d.mail.gandi.net ([217.70.183.201]:36407) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqtp-0001s4-Pk for 42465@debbugs.gnu.org; Tue, 21 Jul 2020 07:57:34 -0400 X-Originating-IP: 176.159.32.89 Received: from rafflesia.easter-eggs.fr (176-159-32-89.abo.bbox.fr [176.159.32.89]) (Authenticated sender: tanguy@bioneland.org) by relay8-d.mail.gandi.net (Postfix) with ESMTPA id 0675D1BF205; Tue, 21 Jul 2020 11:57:27 +0000 (UTC) From: Tanguy Le Carrour Date: Tue, 21 Jul 2020 13:56:33 +0200 Message-Id: <20200721115633.6088-10-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200721115633.6088-1-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-check.scm (python-mypy): New variable. --- gnu/packages/python-check.scm | 51 +++++++++++++++++++++++++++++++++++ 1 file changed, 51 insertions(+) diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm index 89137b515d..ea26282074 100644 --- a/gnu/packages/python-check.scm +++ b/gnu/packages/python-check.scm @@ -30,6 +30,7 @@ #:use-module (gnu packages python-web) #:use-module (gnu packages python-xyz) #:use-module (gnu packages web) + #:use-module (gnu packages xml) #:use-module (guix utils) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages) @@ -474,3 +475,53 @@ Python software under test, when they make an HTTP query.") (description "The @code{python-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.782") + (source + (origin + (method url-fetch) + (uri (pypi-uri "mypy" version)) + (sha256 + (base32 + "030kn709515452n6gy2i1d9fg6fyrkmdz228lfpmbslybsld9xzg")))) + (build-system python-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (replace 'check + (lambda _ + (invoke "./runtests.py") + #t))))) + (native-inputs + `(("python-attrs" ,python-attrs) + ("python-flake8" ,python-flake8) + ("python-flake8-bugbear" ,python-flake8-bugbear) + ("python-flake8-pyi" ,python-flake8-pyi) + ("python-importlib-metadata" ,python-importlib-metadata) + ("python-lxml" ,python-lxml) + ("python-psutil" ,python-psutil) + ("python-py" ,python-py) + ("python-pytest" ,python-pytest) + ("python-pytest-cov" ,python-pytest-cov) + ("python-pytest-forked" ,python-pytest-forked) + ("python-pytest-xdist" ,python-pytest-xdist) + ("python-setuptools" ,python-setuptools) + ("python-virtualenv" ,python-virtualenv))) + (propagated-inputs + `(("python-mypy-extensions" ,python-mypy-extensions) + ("python-typing-extensions" ,python-typing-extensions) + ("python-typed-ast" ,python-typed-ast))) + (home-page "http://www.mypy-lang.org/") + (synopsis "Optional static type checker for Python") + (description "Mypy is an optional static type checker for Python that aims +to combine the benefits of dynamic (or 'duck') typing and static typing. Mypy combines +the expressive power and convenience of Python with a powerful type system and +compile-time type checking. Mypy type checks standard Python programs; run them using +any Python VM with basically no runtime overhead.") + ;; Most of the code is under MIT license; Some files are under Python Software + ;; Foundation License version 2: stdlib-samples/*, mypyc/lib-rt/pythonsupport.h and + ;; mypyc/lib-rt/getargs.c + (license (list license:expat license:psfl)))) -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v2 01/10] gnu: python-typing-extension: Update to 3.7.4.2. References: <20200721115515.5408-1-tanguy@bioneland.org> In-Reply-To: <20200721115515.5408-1-tanguy@bioneland.org> Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 22 Jul 2020 12:11:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159541980326366 (code B ref 42465); Wed, 22 Jul 2020 12:11:02 +0000 Received: (at 42465) by debbugs.gnu.org; 22 Jul 2020 12:10:03 +0000 Received: from localhost ([127.0.0.1]:41429 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZT-0006rB-C1 for submit@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:03 -0400 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:39095) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZR-0006qW-1r for 42465@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:02 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.axione.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id 4F1921C0013; Wed, 22 Jul 2020 12:09:53 +0000 (UTC) From: Tanguy Le Carrour Date: Wed, 22 Jul 2020 14:09:30 +0200 Message-Id: <20200722120940.13811-1-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-typing-extension): Update to 3.7.4.2. --- gnu/packages/python-xyz.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 07a52a0e5c..54bbef42e4 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -16816,14 +16816,14 @@ and other tools.") (define-public python-typing-extensions (package (name "python-typing-extensions") - (version "3.7.4.1") + (version "3.7.4.2") (source (origin (method url-fetch) (uri (pypi-uri "typing_extensions" version)) (sha256 (base32 - "1wj1vcgbnm20aiinmphyxfrbv3qi9xdhvw89ab3qm42y9n4wq7h9")))) + "1bk9b60s3rm1c8cwhv0bl3gh0x43153xxa6jpyllk9mc7jd5ivkr")))) (build-system python-build-system) (home-page "https://github.com/python/typing/blob/master/typing_extensions/README.rst") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v2 02/10] gnu: python-hypothesis: Update to 5.20.0. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 22 Jul 2020 12:11:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159541980626383 (code B ref 42465); Wed, 22 Jul 2020 12:11:02 +0000 Received: (at 42465) by debbugs.gnu.org; 22 Jul 2020 12:10:06 +0000 Received: from localhost ([127.0.0.1]:41432 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZV-0006rR-KE for submit@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:05 -0400 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:56501) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZU-0006qb-7s for 42465@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:04 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.axione.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id 9674E1C000E; Wed, 22 Jul 2020 12:09:58 +0000 (UTC) From: Tanguy Le Carrour Date: Wed, 22 Jul 2020 14:09:31 +0200 Message-Id: <20200722120940.13811-2-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200722120940.13811-1-tanguy@bioneland.org> References: <20200722120940.13811-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/check.scm (python-hypothesis): Update to 5.20.0. --- gnu/packages/check.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 661ed65e53..a3608e4125 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -1801,13 +1801,13 @@ instantly.") (define-public python-hypothesis (package (name "python-hypothesis") - (version "5.4.1") + (version "5.20.0") (source (origin (method url-fetch) (uri (pypi-uri "hypothesis" version)) (sha256 (base32 - "0zn09bn6hadk4vxl6jy8bkjr5fz8mrhin3z46w7pq5qgbaycr89p")))) + "0h1wy6wdcbgidqw5spm0lndlj77l6d5na5z2cxy04g4yp5m9v9jh")))) (build-system python-build-system) (arguments ;; XXX: Tests are not distributed with the PyPI archive. -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v2 04/10] gnu: Add python-typing-inspect. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 22 Jul 2020 12:11:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159541981026401 (code B ref 42465); Wed, 22 Jul 2020 12:11:02 +0000 Received: (at 42465) by debbugs.gnu.org; 22 Jul 2020 12:10:10 +0000 Received: from localhost ([127.0.0.1]:41436 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZZ-0006rk-So for submit@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:10 -0400 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:58397) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZY-0006r7-4e for 42465@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:08 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.axione.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id 76B291C0015; Wed, 22 Jul 2020 12:10:02 +0000 (UTC) From: Tanguy Le Carrour Date: Wed, 22 Jul 2020 14:09:33 +0200 Message-Id: <20200722120940.13811-4-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200722120940.13811-1-tanguy@bioneland.org> References: <20200722120940.13811-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-typing-inspect): New variable. --- gnu/packages/python-xyz.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 54bbef42e4..6fa1044fdc 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -12297,6 +12297,30 @@ in Python. It allows you to declare the libraries your project depends on and it will manage (install/update) them for you.") (license license:expat))) +(define-public python-typing-inspect + (package + (name "python-typing-inspect") + (version "0.6.0") + (source (origin + (method url-fetch) + (uri (pypi-uri "typing_inspect" version)) + (sha256 + (base32 + "1dzs9a1pr23dhbvmnvms2jv7l7jk26023g5ysf0zvnq8b791s6wg")))) + (build-system python-build-system) + (propagated-inputs + `(("python-mypy-extensions" ,python-mypy-extensions) + ("python-typing-extensions" ,python-typing-extensions))) + (home-page "https://github.com/ilevkivskyi/typing_inspect") + (synopsis + "Defines experimental API for runtime inspection of types defined in the Python +standard typing module") + (description + "The typing_inspect module defines experimental API for runtime inspection of types +defined in the Python standard typing module. Works with typing version 3.7.4 and +later.") + (license license:expat))) + (define-public python-lazy-object-proxy (package (name "python-lazy-object-proxy") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v2 03/10] gnu: Add python-mypy-extensions. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 22 Jul 2020 12:11:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159541981226437 (code B ref 42465); Wed, 22 Jul 2020 12:11:03 +0000 Received: (at 42465) by debbugs.gnu.org; 22 Jul 2020 12:10:12 +0000 Received: from localhost ([127.0.0.1]:41441 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZc-0006sE-2Z for submit@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:12 -0400 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:56439) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZW-0006qd-8H for 42465@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:10 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.axione.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id 9A1DF1C0011; Wed, 22 Jul 2020 12:10:00 +0000 (UTC) From: Tanguy Le Carrour Date: Wed, 22 Jul 2020 14:09:32 +0200 Message-Id: <20200722120940.13811-3-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200722120940.13811-1-tanguy@bioneland.org> References: <20200722120940.13811-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-check.scm (python-mypy-extensions): New variable. --- gnu/packages/python-check.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm index 2e3cfe05c5..f80b7634cf 100644 --- a/gnu/packages/python-check.scm +++ b/gnu/packages/python-check.scm @@ -7,6 +7,7 @@ ;;; Copyright © 2020 Julien Lepiller ;;; Copyright © 2020 Marius Bakke ;;; Copyright © 2020 Edouard Klein +;;; Copyright © 2020 Tanguy Le Carrour ;;; ;;; This file is part of GNU Guix. ;;; @@ -534,3 +535,22 @@ it, the declaration of a name's public export semantics are not separated from the implementation of that name.") (license (list license:asl2.0 license:lgpl3)))) ; only for setup_helpers.py + +(define-public python-mypy-extensions + (package + (name "python-mypy-extensions") + (version "0.4.3") + (source + (origin + (method url-fetch) + (uri (pypi-uri "mypy_extensions" version)) + (sha256 + (base32 + "1a04qsk8hd1lqns8w1j7cr0vmvbhg450di5k1i16kqxkbf7q30id")))) + (build-system python-build-system) + (arguments `(#:tests? #f)); no tests + (home-page "https://github.com/python/mypy_extensions") + (synopsis "Experimental extensions for MyPy.") + (description "The @code{python-mypy-extensions} module defines experimental +extensions to the standard 'typing' module that are supported by the mypy typechecker.") + (license license:expat))) -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v2 08/10] gnu: Add python-flake8-bugbear. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 22 Jul 2020 12:11:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159541981326444 (code B ref 42465); Wed, 22 Jul 2020 12:11:03 +0000 Received: (at 42465) by debbugs.gnu.org; 22 Jul 2020 12:10:13 +0000 Received: from localhost ([127.0.0.1]:41444 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZc-0006sM-Iz for submit@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:12 -0400 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:58397) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZZ-0006r7-TQ for 42465@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:10 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.axione.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id 6D5F51C0015; Wed, 22 Jul 2020 12:10:09 +0000 (UTC) From: Tanguy Le Carrour Date: Wed, 22 Jul 2020 14:09:37 +0200 Message-Id: <20200722120940.13811-8-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200722120940.13811-1-tanguy@bioneland.org> References: <20200722120940.13811-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-flake8-bugbear): New variable. --- gnu/packages/python-xyz.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 26673c20c0..6be4c29976 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -7909,6 +7909,34 @@ complexity of Python source code.") ("python-pyflakes" ,python-pyflakes-1.2) ("python-mccabe" ,python-mccabe))))) +(define-public python-flake8-bugbear + (package + (name "python-flake8-bugbear") + (version "20.1.4") + (source + (origin + (method url-fetch) + (uri (pypi-uri "flake8-bugbear" version)) + (sha256 + (base32 + "0qiihb242fygzyrfynq913ak7cdmx8mcac9c0zk3y5gv16qf80mx")))) + (build-system python-build-system) + (native-inputs + `(("python-hypothesis" ,python-hypothesis) + ("python-hypothesmith" ,python-hypothesmith))) + (propagated-inputs + `(("python-attrs" ,python-attrs) + ("python-flake8" ,python-flake8))) + (home-page "https://github.com/PyCQA/flake8-bugbear") + (synopsis + "A plugin for Flake8 finding likely bugs and design problems in your program") + (description + "A plugin for Flake8 finding likely bugs and design problems in your program. +Contains warnings that don't belong in pyflakes and pycodestyle. It is felt that +these lints don't belong in the main Python tools as they are very opinionated and +do not have a PEP or standard behind them.") + (license license:expat))) + (define-public python-flake8-polyfill (package (name "python-flake8-polyfill") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v2 05/10] gnu: Add python-libcst. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 22 Jul 2020 12:11:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159541981726467 (code B ref 42465); Wed, 22 Jul 2020 12:11:04 +0000 Received: (at 42465) by debbugs.gnu.org; 22 Jul 2020 12:10:17 +0000 Received: from localhost ([127.0.0.1]:41446 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZc-0006sT-Td for submit@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:17 -0400 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:47809) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZa-0006rP-4O for 42465@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:10 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.axione.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id 76E8C1C0005; Wed, 22 Jul 2020 12:10:04 +0000 (UTC) From: Tanguy Le Carrour Date: Wed, 22 Jul 2020 14:09:34 +0200 Message-Id: <20200722120940.13811-5-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200722120940.13811-1-tanguy@bioneland.org> References: <20200722120940.13811-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-libcst): New variable. --- gnu/packages/python-xyz.scm | 57 +++++++++++++++++++++++++++++++++++++ 1 file changed, 57 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 6fa1044fdc..4f959b886c 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -12297,6 +12297,63 @@ in Python. It allows you to declare the libraries your project depends on and it will manage (install/update) them for you.") (license license:expat))) +(define-public python-libcst + (package + (name "python-libcst") + (version "0.3.7") + (source (origin + (method url-fetch) + (uri (pypi-uri "libcst" version)) + (sha256 + (base32 + "1wfd5m9jhk5x2qpz29pjhm9ypp5h3nlbk6xv4vzn4f45xdf5bv9x")))) + (build-system python-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (add-after 'unpack 'remove-failing-tests + (lambda _ + ;; Reported upstream: . + (delete-file "libcst/tests/test_fuzz.py") + ;; Reported upstream: . + (delete-file "libcst/tests/test_pyre_integration.py") + (delete-file "libcst/codemod/tests/test_codemod_cli.py") + (delete-file "libcst/metadata/tests/test_full_repo_manager.py") + (delete-file "libcst/metadata/tests/test_type_inference_provider.py") + #t)) + (add-before 'check 'generate-test-data + (lambda _ + (setenv "PYTHONPATH" (string-append (getcwd) ":" (getenv "PYTHONPATH"))) + (invoke "python" "-m" "libcst.codegen.generate" "visitors") + (invoke "python" "-m" "libcst.codegen.generate" "return_types"))) + (replace 'check + (lambda _ + (invoke "python" "-m" "unittest") + #t))))) + (native-inputs + `(("python-black" ,python-black) + ("python-hypothesis" ,python-hypothesis) + ("python-isort" ,python-isort))) + (propagated-inputs + `(("python-typing-extensions" ,python-typing-extensions) + ("python-typing-inspect" ,python-typing-inspect) + ("python-pyyaml" ,python-pyyaml))) + (home-page "https://github.com/Instagram/LibCST") + (synopsis "A Concrete Syntax Tree (CST) parser and serializer library for Python") + (description + "LibCST parses Python 3.0, 3.1, 3.3, 3.5, 3.6, 3.7 or 3.8 source code as a CST tree +that keeps all formatting details (comments, whitespaces, parentheses, etc). It's useful +for building automated refactoring (codemod) applications and linters. LibCST creates +a compromise between an Abstract Syntax Tree (AST) and a traditional Concrete Syntax +Tree (CST). By carefully reorganizing and naming node types and fields, we've created +a lossless CST that looks and feels like an AST.") + (license (list license:expat + ;; Some files unde libcst/_parser/ are under Python Software + ;; Foundation license (see LICENSE file for details) + license:psfl + ;; libcst/_add_slots.py + license:asl2.0)))) + (define-public python-typing-inspect (package (name "python-typing-inspect") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v2 09/10] gnu: Add python-flake8-pyi. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 22 Jul 2020 12:11:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159541981726474 (code B ref 42465); Wed, 22 Jul 2020 12:11:04 +0000 Received: (at 42465) by debbugs.gnu.org; 22 Jul 2020 12:10:17 +0000 Received: from localhost ([127.0.0.1]:41450 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZh-0006sq-G5 for submit@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:17 -0400 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:58397) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZb-0006r7-5D for 42465@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:11 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.axione.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id B06A31C0015; Wed, 22 Jul 2020 12:10:10 +0000 (UTC) From: Tanguy Le Carrour Date: Wed, 22 Jul 2020 14:09:38 +0200 Message-Id: <20200722120940.13811-9-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200722120940.13811-1-tanguy@bioneland.org> References: <20200722120940.13811-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-flake8-pyi): New variable. --- gnu/packages/python-xyz.scm | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 6be4c29976..6deab39b0e 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -7980,6 +7980,35 @@ plugins that intend to support Flake8 2.x and 3.x simultaneously.") (define-public python2-flake8-polyfill (package-with-python2 python-flake8-polyfill)) +(define-public python-flake8-pyi + (package + (name "python-flake8-pyi") + (version "20.5.0") + (source + (origin + (method url-fetch) + (uri (pypi-uri "flake8-pyi" version)) + (sha256 + (base32 + "1zpq4s9kp8w95pccmhhyyx1ff2zhnidcf1zb3xs46lzcx9plvnzk")))) + (build-system python-build-system) + (propagated-inputs + `(("python-attrs" ,python-attrs) + ("python-flake8" ,python-flake8) + ("python-pyflakes" ,python-pyflakes))) + (home-page "https://github.com/ambv/flake8-pyi") + (synopsis + "A plugin for Flake8 that provides specializations for type hinting stub files.") + (description + "A plugin for Flake8 that provides specializations for type hinting stub files, +especially interesting for linting typeshed. 1) Adds the .pyi extension to +the default value of the --filename command-line argument to Flake8. This means +stubs are linted by default with this plugin enabled, without needing to explicitly list +every file. 2) Modifies PyFlakes runs for .pyi files to defer checking type annotation +expressions after the entire file has been read. This enables support for first-class +forward references that stub files use.") + (license license:expat))) + (define-public python-mistune (package (name "python-mistune") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v2 06/10] gnu: Add python-lark-parser. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 22 Jul 2020 12:11:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159541981826483 (code B ref 42465); Wed, 22 Jul 2020 12:11:04 +0000 Received: (at 42465) by debbugs.gnu.org; 22 Jul 2020 12:10:18 +0000 Received: from localhost ([127.0.0.1]:41452 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZh-0006sx-Pw for submit@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:18 -0400 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:42157) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZc-0006ra-1A for 42465@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:12 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.axione.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id 62F771C001A; Wed, 22 Jul 2020 12:10:06 +0000 (UTC) From: Tanguy Le Carrour Date: Wed, 22 Jul 2020 14:09:35 +0200 Message-Id: <20200722120940.13811-6-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200722120940.13811-1-tanguy@bioneland.org> References: <20200722120940.13811-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-lark-parser): New variable. --- gnu/packages/python-xyz.scm | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 4f959b886c..26673c20c0 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -12297,6 +12297,25 @@ in Python. It allows you to declare the libraries your project depends on and it will manage (install/update) them for you.") (license license:expat))) +(define-public python-lark-parser + (package + (name "python-lark-parser") + (version "0.9.0") + (source (origin + (method url-fetch) + (uri (pypi-uri "lark-parser" version)) + (sha256 + (base32 + "1kd61asrb3h9spgsj4bslfbgp8q4271sw3hblk6f2vbbblv8jxcy")))) + (build-system python-build-system) + (home-page "https://github.com/lark-parser/lark") + (synopsis "A modern parsing library for Python") + (description + "Lark is a parser built with a focus on ergonomics, performance and resilience. +Lark can parse all context-free languages. That means it is capable of parsing almost +any programming language out there, and to some degree most natural languages too.") + (license license:expat))) + (define-public python-libcst (package (name "python-libcst") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v2 10/10] gnu: Add python-mypy. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 22 Jul 2020 12:11:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159541981826491 (code B ref 42465); Wed, 22 Jul 2020 12:11:05 +0000 Received: (at 42465) by debbugs.gnu.org; 22 Jul 2020 12:10:18 +0000 Received: from localhost ([127.0.0.1]:41454 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZi-0006t5-2N for submit@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:18 -0400 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:42157) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZd-0006ra-Gc for 42465@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:13 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.axione.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id 09FB01C0011; Wed, 22 Jul 2020 12:10:12 +0000 (UTC) From: Tanguy Le Carrour Date: Wed, 22 Jul 2020 14:09:39 +0200 Message-Id: <20200722120940.13811-10-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200722120940.13811-1-tanguy@bioneland.org> References: <20200722120940.13811-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-check.scm (python-mypy): New variable. --- gnu/packages/python-check.scm | 51 +++++++++++++++++++++++++++++++++++ 1 file changed, 51 insertions(+) diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm index f80b7634cf..511bc2b931 100644 --- a/gnu/packages/python-check.scm +++ b/gnu/packages/python-check.scm @@ -30,6 +30,7 @@ #:use-module (gnu packages python-web) #:use-module (gnu packages python-xyz) #:use-module (gnu packages web) + #:use-module (gnu packages xml) #:use-module (guix utils) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages) @@ -554,3 +555,53 @@ the implementation of that name.") (description "The @code{python-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.782") + (source + (origin + (method url-fetch) + (uri (pypi-uri "mypy" version)) + (sha256 + (base32 + "030kn709515452n6gy2i1d9fg6fyrkmdz228lfpmbslybsld9xzg")))) + (build-system python-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (replace 'check + (lambda _ + (invoke "./runtests.py") + #t))))) + (native-inputs + `(("python-attrs" ,python-attrs) + ("python-flake8" ,python-flake8) + ("python-flake8-bugbear" ,python-flake8-bugbear) + ("python-flake8-pyi" ,python-flake8-pyi) + ("python-importlib-metadata" ,python-importlib-metadata) + ("python-lxml" ,python-lxml) + ("python-psutil" ,python-psutil) + ("python-py" ,python-py) + ("python-pytest" ,python-pytest) + ("python-pytest-cov" ,python-pytest-cov) + ("python-pytest-forked" ,python-pytest-forked) + ("python-pytest-xdist" ,python-pytest-xdist) + ("python-setuptools" ,python-setuptools) + ("python-virtualenv" ,python-virtualenv))) + (propagated-inputs + `(("python-mypy-extensions" ,python-mypy-extensions) + ("python-typing-extensions" ,python-typing-extensions) + ("python-typed-ast" ,python-typed-ast))) + (home-page "http://www.mypy-lang.org/") + (synopsis "Optional static type checker for Python") + (description "Mypy is an optional static type checker for Python that aims +to combine the benefits of dynamic (or 'duck') typing and static typing. Mypy combines +the expressive power and convenience of Python with a powerful type system and +compile-time type checking. Mypy type checks standard Python programs; run them using +any Python VM with basically no runtime overhead.") + ;; Most of the code is under MIT license; Some files are under Python Software + ;; Foundation License version 2: stdlib-samples/*, mypyc/lib-rt/pythonsupport.h and + ;; mypyc/lib-rt/getargs.c + (license (list license:expat license:psfl)))) -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v2 07/10] gnu: Add python-hypothesmith. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 22 Jul 2020 12:11:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159541981826497 (code B ref 42465); Wed, 22 Jul 2020 12:11:05 +0000 Received: (at 42465) by debbugs.gnu.org; 22 Jul 2020 12:10:18 +0000 Received: from localhost ([127.0.0.1]:41456 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZi-0006tE-H6 for submit@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:18 -0400 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:57993) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyDZd-0006rd-Nq for 42465@debbugs.gnu.org; Wed, 22 Jul 2020 08:10:14 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.axione.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id 1BD761C0003; Wed, 22 Jul 2020 12:10:07 +0000 (UTC) From: Tanguy Le Carrour Date: Wed, 22 Jul 2020 14:09:36 +0200 Message-Id: <20200722120940.13811-7-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200722120940.13811-1-tanguy@bioneland.org> References: <20200722120940.13811-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/check.scm (python-hypothesmith): New variable. --- gnu/packages/check.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index a3608e4125..817bdb4cd9 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -1840,6 +1840,29 @@ seamlessly into your existing Python unit testing work flow.") `(("python2-enum34" ,python2-enum34) ,@(package-propagated-inputs hypothesis)))))) +(define-public python-hypothesmith + (package + (name "python-hypothesmith") + (version "0.1.2") + (source + (origin + (method url-fetch) + (uri (pypi-uri "hypothesmith" version)) + (sha256 + (base32 + "09331sspknv459xcyn1k0lx5flqlc6gmnwp9370pfvg4kg1zmss6")))) + (build-system python-build-system) + (propagated-inputs + `(("python-hypothesis" ,python-hypothesis) + ("python-lark-parser" ,python-lark-parser) + ("python-libcst" ,python-libcst))) + (home-page "https://github.com/Zac-HD/hypothesmith") + (synopsis "Strategies for generating Python programs.") + (description + "Hypothesis strategies for generating Python programs, something like CSmith. This +is definitely pre-alpha, but if you want to play with it feel free!") + (license license:mpl2.0))) + (define-public python-lit (package (name "python-lit") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 01/10] gnu: python-typing-extension: Update to 3.7.4.2. Resent-From: Marius Bakke Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 25 Jul 2020 15:49:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Tanguy Le Carrour , 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159569209216563 (code B ref 42465); Sat, 25 Jul 2020 15:49:01 +0000 Received: (at 42465) by debbugs.gnu.org; 25 Jul 2020 15:48:12 +0000 Received: from localhost ([127.0.0.1]:50867 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMPE-0004J5-8Z for submit@debbugs.gnu.org; Sat, 25 Jul 2020 11:48:12 -0400 Received: from eggs.gnu.org ([209.51.188.92]:56986) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMPC-0004Iv-Rh for 42465@debbugs.gnu.org; Sat, 25 Jul 2020 11:48:11 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:45694) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jzMP7-0007HX-6B; Sat, 25 Jul 2020 11:48:05 -0400 Received: from 84-52-226.102.3p.ntebredband.no ([84.52.226.102]:41200 helo=localhost) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jzMP6-0003uh-PS; Sat, 25 Jul 2020 11:48:05 -0400 From: Marius Bakke In-Reply-To: <20200721115633.6088-1-tanguy@bioneland.org> References: <20200721115515.5408-1-tanguy@bioneland.org> <20200721115633.6088-1-tanguy@bioneland.org> Date: Sat, 25 Jul 2020 17:47:47 +0200 Message-ID: <87r1sztx3w.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --=-=-= Content-Type: text/plain Tanguy Le Carrour writes: > * gnu/packages/python-xyz.scm (python-typing-extension): Update to 3.7.4.2. Applied, thanks! --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl8cVCQACgkQoqBt8qM6 VPo4mgf/YPo8pY8PbhQNIyNzw3bO9Fav9KLDBUw75NL/2zCxIKUwoV8cZorebAi/ x2TI97gE1Oh/f4af26RuW49hmwQFft8gsjgCSdVHGP8WdQKKuR9EZP/Ff9ZqZyE2 ArUeo1GGYCwXK9uueqo347K3Le+ejCNpH6XX90+43tmC30YIk0xrnqen71oe49vw UygzCbvkZbaNiNe6p94QJC43/WVszgee3c5XsM1IXRNG8cICQmCvWB+uUE4s0fua BJyzuUUcVPma1/IpsjTYcCtcU9c54qrAMVdYSeN/D4Tyd+ttIxnfdbQbNgtwiuJx qCnYCzXFcongVzTnKgaWMzO+FmI6ww== =Hhkk -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 02/10] gnu: python-hypothesis: Update to 5.20.0. Resent-From: Marius Bakke Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 25 Jul 2020 15:53:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Tanguy Le Carrour , 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159569238116957 (code B ref 42465); Sat, 25 Jul 2020 15:53:01 +0000 Received: (at 42465) by debbugs.gnu.org; 25 Jul 2020 15:53:01 +0000 Received: from localhost ([127.0.0.1]:50871 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMTs-0004PR-Tb for submit@debbugs.gnu.org; Sat, 25 Jul 2020 11:53:01 -0400 Received: from eggs.gnu.org ([209.51.188.92]:58108) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMTq-0004PE-Ry for 42465@debbugs.gnu.org; Sat, 25 Jul 2020 11:52:59 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:45752) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jzMTk-0007pi-Pu; Sat, 25 Jul 2020 11:52:52 -0400 Received: from 84-52-226.102.3p.ntebredband.no ([84.52.226.102]:41474 helo=localhost) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jzMTk-0004Dj-CR; Sat, 25 Jul 2020 11:52:52 -0400 From: Marius Bakke In-Reply-To: <20200721115633.6088-2-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> <20200721115633.6088-2-tanguy@bioneland.org> Date: Sat, 25 Jul 2020 17:52:35 +0200 Message-ID: <87o8o3twvw.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --=-=-= Content-Type: text/plain Tanguy Le Carrour writes: > * gnu/packages/check.scm (python-hypothesis): Update to 5.20.0. This can not be applied on 'master' because Hypothesis has 6261 dependent packages: $ ./pre-inst-env guix refresh -l python-hypothesis Building the following 2211 packages would ensure 6261 dependent packages are rebuilt: [...] If it is necessary for the remainder of this series, you can add a different variable with the new hypothesis like so: (define-public python-hypothesis-5.20 (package (inherit python-hypothesis) (version "5.20") (source ...))) And then add 'python-hypothesis-5.20' to native-inputs in the packages that need it. Can you look into it? --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl8cVUMACgkQoqBt8qM6 VPq2xAf/Y0pc8tLOuyiIDCACsAgpOlKjCzrqtdrNIMdqcSsvYGrQcxv/jpfby4L3 p0j2Y8HNnOLov1+1VVsK5pvZcc7N9Z1uocianai4eCiElNNOLPh0Vq6O/5NwlYRO vDG2N7hwdP9Jams6Pd9CjZr4/PB4BzLYI1Ho3kzsc+3NF/7ym5KQwHRCBk8sKw0C 7WcAm/uZ9PdUQkcIJWGGfcNJ6nGz2SIGpsf8twys9NMwVyJX8l1PFMJCyl+6+QB2 coHhBPPHLgr+bhwzcd4IaT/zVftvNjG6sr6wmwA2RIJjytHy1BDprg4T9GGENCxy fR7XVjIenPP8kFPbFCeBOHLnxwWi2w== =HgAN -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 03/10] gnu: Add python-mypy-extensions. Resent-From: Marius Bakke Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 25 Jul 2020 15:56:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Tanguy Le Carrour , 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159569255217234 (code B ref 42465); Sat, 25 Jul 2020 15:56:02 +0000 Received: (at 42465) by debbugs.gnu.org; 25 Jul 2020 15:55:52 +0000 Received: from localhost ([127.0.0.1]:50879 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMWd-0004Tt-Oh for submit@debbugs.gnu.org; Sat, 25 Jul 2020 11:55:51 -0400 Received: from eggs.gnu.org ([209.51.188.92]:58696) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMWc-0004Ti-CN for 42465@debbugs.gnu.org; Sat, 25 Jul 2020 11:55:50 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:45801) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jzMWW-0008AB-Nw; Sat, 25 Jul 2020 11:55:44 -0400 Received: from 84-52-226.102.3p.ntebredband.no ([84.52.226.102]:41706 helo=localhost) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jzMWV-0004XN-Q3; Sat, 25 Jul 2020 11:55:44 -0400 From: Marius Bakke In-Reply-To: <20200721115633.6088-3-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> <20200721115633.6088-3-tanguy@bioneland.org> Date: Sat, 25 Jul 2020 17:55:27 +0200 Message-ID: <87lfj7twr4.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --=-=-= Content-Type: text/plain Tanguy Le Carrour writes: > * gnu/packages/python-check.scm (python-mypy-extensions): New variable. [...] > +(define-public python-mypy-extensions > + (package > + (name "python-mypy-extensions") > + (version "0.4.3") > + (source > + (origin > + (method url-fetch) > + (uri (pypi-uri "mypy_extensions" version)) > + (sha256 > + (base32 > + "1a04qsk8hd1lqns8w1j7cr0vmvbhg450di5k1i16kqxkbf7q30id")))) > + (build-system python-build-system) > + (arguments `(#:tests? #f)); no tests > + (home-page "https://github.com/python/mypy_extensions") > + (synopsis "Experimental extensions for MyPy.") ^^^ No '.'. ---------> > + (description "The @code{python-mypy-extensions} module defines experimental > +extensions to the standard 'typing' module that are supported by the mypy typechecker.") @code{typing}. Also try to keep description lines shorter than 78 characters. This should probably also say 'MyPy' (capitalized)? --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl8cVe8ACgkQoqBt8qM6 VPqxSQgAiUomq7Sn5qe/+N/pngbrEkiLjbRWRouOrDtrrIvVK1nd6VsfMT3Oo2PH Mugh9iGMdN/QUtfEry1b3UY3GkURfEUwLU9Ueml41OHQQCCtq5WlBDh/fwPCRjCc +P1gy/mamDcxM1Pa30nIekVleEgO1kfhCVL11yvUrcpWIGkMH6Ynx+PFnqYDsaPq YMsQz71zoE6oKSq3IxywAoF36ObFzHDdE70zUxVsO49MGfDArbEI7g/IW5Qo1q0S NnGzoHy/8XwhcJjolCW78/W6dfRTmlWpykMcKGsBdXChQdBSFC1C42tTvYxXhER4 7ZfxwmmlZdVL21qkEum3X4HosWCbFg== =eWOp -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 04/10] gnu: Add python-typing-inspect. Resent-From: Marius Bakke Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 25 Jul 2020 15:59:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Tanguy Le Carrour , 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159569272917514 (code B ref 42465); Sat, 25 Jul 2020 15:59:01 +0000 Received: (at 42465) by debbugs.gnu.org; 25 Jul 2020 15:58:49 +0000 Received: from localhost ([127.0.0.1]:50891 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMZV-0004YQ-Bo for submit@debbugs.gnu.org; Sat, 25 Jul 2020 11:58:49 -0400 Received: from eggs.gnu.org ([209.51.188.92]:59328) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMZU-0004YC-C0 for 42465@debbugs.gnu.org; Sat, 25 Jul 2020 11:58:48 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:45855) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jzMZO-00009i-3T; Sat, 25 Jul 2020 11:58:42 -0400 Received: from 84-52-226.102.3p.ntebredband.no ([84.52.226.102]:41856 helo=localhost) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jzMZN-00004z-5w; Sat, 25 Jul 2020 11:58:41 -0400 From: Marius Bakke In-Reply-To: <20200721115633.6088-4-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> <20200721115633.6088-4-tanguy@bioneland.org> Date: Sat, 25 Jul 2020 17:58:23 +0200 Message-ID: <87imebtwm8.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Tanguy Le Carrour writes: > * gnu/packages/python-xyz.scm (python-typing-inspect): New variable. [...] =20=20 > +(define-public python-typing-inspect > + (package > + (name "python-typing-inspect") > + (version "0.6.0") > + (source (origin > + (method url-fetch) > + (uri (pypi-uri "typing_inspect" version)) > + (sha256 > + (base32 > + "1dzs9a1pr23dhbvmnvms2jv7l7jk26023g5ysf0zvnq8b791s6wg"))= )) > + (build-system python-build-system) > + (propagated-inputs > + `(("python-mypy-extensions" ,python-mypy-extensions) > + ("python-typing-extensions" ,python-typing-extensions))) > + (home-page "https://github.com/ilevkivskyi/typing_inspect") > + (synopsis > + "Defines experimental API for runtime inspection of types defined i= n the Python > +standard typing module") Just 'API for inspection of types in the Python @code{typing} module'. > + (description > + "The typing_inspect module defines experimental API for runtime ins= pection of types > +defined in the Python standard typing module. Works with typing version = 3.7.4 and > +later.") @code{typing_inspect}. Also two spaces between sentences (guix lint will warn about this). Although in this case I think we can cut the other sentence completely, as I presume it will get outdated soon. WDYT? --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl8cVp8ACgkQoqBt8qM6 VPpypgf/VrwbJyhT2enu0kL5RqdFwHkCUHTlDvaSaL3H88jPw3XXt7g7YwybhCZH bnRq1GLLDldCu1+jpirwUqHO5DjR0z1BTGCkHHDXSkwWAdBXg5fd/AJNIzqcIr4u siA0i2rJKdYUETb49fa/vOvoelyDuWp4JlfzZcP+Udo1S7wHSypmhHv0TjAsvZiz rdO4o4gaAijo9JM388/bXxLbQhAeP7zCD0oYFMc6nLnihX6Npy+og33AkkMUKXFV NniCgnwA2Uy/pPGtKAv58pmwrjbneGeoYBWlJGu+h4hI0TRC9VYyHqs+IHXRJNSL 3JlDiyGUIO1zvVreELcEWEOvsfyWPg== =/hkt -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 05/10] gnu: Add python-libcst. Resent-From: Marius Bakke Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 25 Jul 2020 16:05:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Tanguy Le Carrour , 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159569305518077 (code B ref 42465); Sat, 25 Jul 2020 16:05:01 +0000 Received: (at 42465) by debbugs.gnu.org; 25 Jul 2020 16:04:15 +0000 Received: from localhost ([127.0.0.1]:50895 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMee-0004hP-20 for submit@debbugs.gnu.org; Sat, 25 Jul 2020 12:04:14 -0400 Received: from eggs.gnu.org ([209.51.188.92]:60840) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMec-0004h1-Kp for 42465@debbugs.gnu.org; Sat, 25 Jul 2020 12:04:07 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:46080) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jzMeW-0001YF-PP; Sat, 25 Jul 2020 12:04:00 -0400 Received: from 84-52-226.102.3p.ntebredband.no ([84.52.226.102]:42460 helo=localhost) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jzMeW-0008NE-7o; Sat, 25 Jul 2020 12:04:00 -0400 From: Marius Bakke In-Reply-To: <20200721115633.6088-5-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> <20200721115633.6088-5-tanguy@bioneland.org> Date: Sat, 25 Jul 2020 18:03:42 +0200 Message-ID: <87ft9ftwdd.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Tanguy Le Carrour writes: > * gnu/packages/python-xyz.scm (python-libcst): New variable. [...] =20=20 > +(define-public python-libcst > + (package > + (name "python-libcst") > + (version "0.3.7") > + (source (origin > + (method url-fetch) > + (uri (pypi-uri "libcst" version)) > + (sha256 > + (base32 > + "1wfd5m9jhk5x2qpz29pjhm9ypp5h3nlbk6xv4vzn4f45xdf5bv9x"))= )) > + (build-system python-build-system) > + (arguments > + `(#:phases > + (modify-phases %standard-phases > + (add-after 'unpack 'remove-failing-tests > + (lambda _ > + ;; Reported upstream: . > + (delete-file "libcst/tests/test_fuzz.py") > + ;; Reported upstream: . > + (delete-file "libcst/tests/test_pyre_integration.py") > + (delete-file "libcst/codemod/tests/test_codemod_cli.py") > + (delete-file "libcst/metadata/tests/test_full_repo_manager.= py") > + (delete-file "libcst/metadata/tests/test_type_inference_pro= vider.py") > + #t)) > + (replace 'check > + (lambda _ > + (setenv "PYTHONPATH" (string-append (getcwd) ":" (getenv "P= YTHONPATH"))) > + (invoke "python" "-m" "libcst.codegen.generate" "visitors") > + (invoke "python" "-m" "libcst.codegen.generate" "return_typ= es") > + (invoke "python" "-m" "unittest") > + #t))))) Nice. :-) > + (native-inputs > + `(("python-black" ,python-black) > + ("python-hypothesis" ,python-hypothesis) > + ("python-isort" ,python-isort))) > + (propagated-inputs > + `(("python-typing-extensions" ,python-typing-extensions) > + ("python-typing-inspect" ,python-typing-inspect) > + ("python-pyyaml" ,python-pyyaml))) > + (home-page "https://github.com/Instagram/LibCST") > + (synopsis "A Concrete Syntax Tree (CST) parser and serializer librar= y for Python") No article in the start of synopsis (guix lint will warn about this). So this becomes: "Concrete Syntax Tree (CST) parser and serializer library for Python". > + (description > + "LibCST parses Python 3.0, 3.1, 3.3, 3.5, 3.6, 3.7 or 3.8 source co= de as a CST tree > +that keeps all formatting details (comments, whitespaces, parentheses, e= tc). It's useful > +for building automated refactoring (codemod) applications and linters. = LibCST creates > +a compromise between an Abstract Syntax Tree (AST) and a traditional Con= crete Syntax > +Tree (CST). By carefully reorganizing and naming node types and fields,= we've created > +a lossless CST that looks and feels like an AST.") Maybe the versions can be omitted so we don't have to update the description for every update. Also, the "we've created" sentence feels weird, maybe s/we've created/LibCST creates/ ? > + (license (list license:expat > + ;; Some files unde libcst/_parser/ are under Python S= oftware > + ;; Foundation license (see LICENSE file for details) > + license:psfl > + ;; libcst/_add_slots.py > + license:asl2.0)))) Great! :-) --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl8cV94ACgkQoqBt8qM6 VPqapwf9FnHHymjZ7fG+KI7nGmm7KOU9sJN/F6Lls9rfueQZe70F0zN66+WWLuE0 V2ZQK+bGJ8dvzV+lj9WHienYDZ9hIsft+h4cwbkkf8Sdwtq7KVPshBDb5OSHO6xL e/TSYPYT30MCG7aipY/JMtI7rBEsJN3esLqoOLAR2hwP5RTdNrDCo2TGrbOw3lEQ KzZqxszaOy42aEvnIejrxa+A0rXC0R2UcjbODbMQL57qTwcquK1L3kHk3yu4Iz0p uuhpO/phGIJzSiAPRSTIQ7ROhKU0kQqlGZYFh7gCdaGQsswGA+HZ/HCm9st1f8gi DyuxoP6klK36wsS0dc0lYH+lODXHYA== =v5Aj -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 06/10] gnu: Add python-lark-parser. Resent-From: Marius Bakke Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 25 Jul 2020 16:06:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Tanguy Le Carrour , 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159569313918254 (code B ref 42465); Sat, 25 Jul 2020 16:06:02 +0000 Received: (at 42465) by debbugs.gnu.org; 25 Jul 2020 16:05:39 +0000 Received: from localhost ([127.0.0.1]:50914 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMg7-0004kH-9F for submit@debbugs.gnu.org; Sat, 25 Jul 2020 12:05:39 -0400 Received: from eggs.gnu.org ([209.51.188.92]:32992) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMg2-0004jO-8p for 42465@debbugs.gnu.org; Sat, 25 Jul 2020 12:05:34 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:46093) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jzMfx-0001md-2U; Sat, 25 Jul 2020 12:05:29 -0400 Received: from 84-52-226.102.3p.ntebredband.no ([84.52.226.102]:42564 helo=localhost) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jzMfw-0008TX-GO; Sat, 25 Jul 2020 12:05:28 -0400 From: Marius Bakke In-Reply-To: <20200721115633.6088-6-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> <20200721115633.6088-6-tanguy@bioneland.org> Date: Sat, 25 Jul 2020 18:05:11 +0200 Message-ID: <87d04jtwaw.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Tanguy Le Carrour writes: > * gnu/packages/python-xyz.scm (python-lark-parser): New variable. [...] > + (synopsis "A modern parsing library for Python") Maybe "Multi-language parser for Python"? At least the 'A' should go.=20 > + (description > + "Lark is a parser built with a focus on ergonomics, performance and= resilience. > +Lark can parse all context-free languages. That means it is capable of = parsing almost > +any programming language out there, and to some degree most natural lang= uages too.") Heh, cool stuff! :-) --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl8cWDcACgkQoqBt8qM6 VPp8Nwf/TP4Zx3lC9MghzNklUdMgDmp9qot6KXgs5cdeuQMEfdJpQMlMH2f6VWAH 2woWc2oq5m9Ow02ycp3dLvqSsPjLYeTsXQN9F7+T4OgIpAsDMvPE7DA3mi+0Ou5Z JDb7YsFJknOG7X163ShgbXW5d4qKoopeQ+H8TIlpVxBahH7P9Tjn4hjK391fCRtb nEewkfmLd3b7ooPJuMRy4paG9VE5IL0dUzNUO7Zmpk1w3W/e5XIGa+C2DENC8WEJ WBYjkhLTZlTmQBuEScZLr12FYC39J9JhJ6Wv6unIk/xHMIn9CZS34velkj4kPQAq WcvYBfaShRTdfDuER0uV7/GdhAAjQA== =1a6V -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 07/10] gnu: Add python-hypothesmith. Resent-From: Marius Bakke Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 25 Jul 2020 16:10:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Tanguy Le Carrour , 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159569337118625 (code B ref 42465); Sat, 25 Jul 2020 16:10:01 +0000 Received: (at 42465) by debbugs.gnu.org; 25 Jul 2020 16:09:31 +0000 Received: from localhost ([127.0.0.1]:50937 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMjr-0004qK-BI for submit@debbugs.gnu.org; Sat, 25 Jul 2020 12:09:31 -0400 Received: from eggs.gnu.org ([209.51.188.92]:34024) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMjo-0004q7-UC for 42465@debbugs.gnu.org; Sat, 25 Jul 2020 12:09:29 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:46163) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jzMjj-0002Io-J7; Sat, 25 Jul 2020 12:09:23 -0400 Received: from 84-52-226.102.3p.ntebredband.no ([84.52.226.102]:42676 helo=localhost) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jzMjj-0000QD-6A; Sat, 25 Jul 2020 12:09:23 -0400 From: Marius Bakke In-Reply-To: <20200721115633.6088-7-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> <20200721115633.6088-7-tanguy@bioneland.org> Date: Sat, 25 Jul 2020 18:09:05 +0200 Message-ID: <87a6zntw4e.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Tanguy Le Carrour writes: > * gnu/packages/check.scm (python-hypothesmith): New variable. [...] =20=20 > +(define-public python-hypothesmith > + (package > + (name "python-hypothesmith") > + (version "0.1.2") > + (source > + (origin > + (method url-fetch) > + (uri (pypi-uri "hypothesmith" version)) > + (sha256 > + (base32 > + "09331sspknv459xcyn1k0lx5flqlc6gmnwp9370pfvg4kg1zmss6")))) > + (build-system python-build-system) > + (propagated-inputs > + `(("python-hypothesis" ,python-hypothesis) > + ("python-lark-parser" ,python-lark-parser) > + ("python-libcst" ,python-libcst))) > + (home-page "https://github.com/Zac-HD/hypothesmith") > + (synopsis "Strategies for generating Python programs.") No '.' at the end of synopsis. > + (description > + "Hypothesis strategies for generating Python programs, something li= ke CSmith. This > +is definitely pre-alpha, but if you want to play with it feel free!") This should be a full sentence, i.e. "This package contains hypothesis strategies for [...]". Can you define "CSmith"? Also I think the other sentence can be omitted. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl8cWSEACgkQoqBt8qM6 VPrFeQgAiM1mRo8x1S9BqUST5xmYGlNNFvWoCTcPM8pNN1hUgIiIJ9uL64DmvKF1 7T0eviAJ1fLOgyB0VxR4zprupCrl9cUtiRa/MGNMsW+ng1sEqTIBdgAsoMEzJ1oJ 73AquV4k0QgCo8EDWUP9io2yI8QWmVGQJfCnCBIM+9LcFhzuX0PkTr6DIBx2XtxN 6ZoqvHcs+TjmBH5B8ZeVEADNCTE9eZ8pNeGh/rUbwx/Rs6LH7UFKrP3CBa9F80KG UdyzBVjOo14fsaNLnjGMJbThtXzLM+benATnewkhA29g/piH3cMw/NiLKax3Y+cc JKbkeUh2Q5fq/RKyI0rYM48QRosqAg== =INux -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 08/10] gnu: Add python-flake8-bugbear. Resent-From: Marius Bakke Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 25 Jul 2020 16:14:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Tanguy Le Carrour , 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159569360918964 (code B ref 42465); Sat, 25 Jul 2020 16:14:01 +0000 Received: (at 42465) by debbugs.gnu.org; 25 Jul 2020 16:13:29 +0000 Received: from localhost ([127.0.0.1]:50941 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMng-0004vo-Sk for submit@debbugs.gnu.org; Sat, 25 Jul 2020 12:13:29 -0400 Received: from eggs.gnu.org ([209.51.188.92]:34938) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMnf-0004vb-ID for 42465@debbugs.gnu.org; Sat, 25 Jul 2020 12:13:27 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:46341) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jzMnZ-0003AC-DN; Sat, 25 Jul 2020 12:13:21 -0400 Received: from 84-52-226.102.3p.ntebredband.no ([84.52.226.102]:43028 helo=localhost) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jzMnY-0000p9-Rw; Sat, 25 Jul 2020 12:13:21 -0400 From: Marius Bakke In-Reply-To: <20200721115633.6088-8-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> <20200721115633.6088-8-tanguy@bioneland.org> Date: Sat, 25 Jul 2020 18:13:03 +0200 Message-ID: <877durtvxs.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Tanguy Le Carrour writes: > * gnu/packages/python-xyz.scm (python-flake8-bugbear): New variable. [...] =20=20 > +(define-public python-flake8-bugbear > + (package > + (name "python-flake8-bugbear") > + (version "20.1.4") > + (source > + (origin > + (method url-fetch) > + (uri (pypi-uri "flake8-bugbear" version)) > + (sha256 > + (base32 > + "0qiihb242fygzyrfynq913ak7cdmx8mcac9c0zk3y5gv16qf80mx")))) > + (build-system python-build-system) > + (native-inputs > + `(("python-hypothesis" ,python-hypothesis) > + ("python-hypothesmith" ,python-hypothesmith))) I realize now that hypothesmith is probably a hypothesis plugin? In that case it should not propagate hypothesis IMO. > + (propagated-inputs > + `(("python-attrs" ,python-attrs) > + ("python-flake8" ,python-flake8))) > + (home-page "https://github.com/PyCQA/flake8-bugbear") > + (synopsis > + "A plugin for Flake8 finding likely bugs and design problems in yo= ur program") Just "Flake8 plugin for [...]". > + (description > + "A plugin for Flake8 finding likely bugs and design problems in you= r program. > +Contains warnings that don't belong in pyflakes and pycodestyle. It is = felt that > +these lints don't belong in the main Python tools as they are very opini= onated and > +do not have a PEP or standard behind them.") Please use full sentences, i.e. "This package contains a plugin for Flake8 ..." and "It contains warnings that ...". I don't really understand the last sentence. Who feels this? Can we remove it? :-) --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl8cWg8ACgkQoqBt8qM6 VPpMQAgAqi6EXGDYqczh7A1ZJRa9b09D8BCoaFp65cC6pXd2xKwXhS4ET84eeiWK MkfhAFsAFcHHQM39yyeISAzGNF8u/xYxkFjtIK9wOaPTo2KitnFju3i9mdylru1I /2toWIXUAY5ME56HZxsRfgH9xzD1nVTZO7fenwoVh59FDLUkOURafglwAjWNPZOK aE9scp8vUSX34yC4IFoVtzSO9fxg9TDbYz044xOLU6N3jVLjAiubfocWaTDGQ2EN xJIhIZYDHABVRSOawvUPeNlikup4OzaLvmx7b46oqXRcdEbF2xscynQQ+zAcb6JI LrlIUm9E1t7KHCqL0c5LsI9MWinzDg== =JziX -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 09/10] gnu: Add python-flake8-pyi. Resent-From: Marius Bakke Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 25 Jul 2020 16:16:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Tanguy Le Carrour , 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159569374819189 (code B ref 42465); Sat, 25 Jul 2020 16:16:02 +0000 Received: (at 42465) by debbugs.gnu.org; 25 Jul 2020 16:15:48 +0000 Received: from localhost ([127.0.0.1]:50945 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMpw-0004zR-B4 for submit@debbugs.gnu.org; Sat, 25 Jul 2020 12:15:48 -0400 Received: from eggs.gnu.org ([209.51.188.92]:35628) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMpu-0004zF-UP for 42465@debbugs.gnu.org; Sat, 25 Jul 2020 12:15:47 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:46433) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jzMpp-0003hi-3y; Sat, 25 Jul 2020 12:15:41 -0400 Received: from 84-52-226.102.3p.ntebredband.no ([84.52.226.102]:43246 helo=localhost) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jzMpo-00013h-Fi; Sat, 25 Jul 2020 12:15:40 -0400 From: Marius Bakke In-Reply-To: <20200721115633.6088-9-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> <20200721115633.6088-9-tanguy@bioneland.org> Date: Sat, 25 Jul 2020 18:15:23 +0200 Message-ID: <874kpvtvtw.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Tanguy Le Carrour writes: > * gnu/packages/python-xyz.scm (python-flake8-pyi): New variable. [...] =20=20 > +(define-public python-flake8-pyi > + (package > + (name "python-flake8-pyi") > + (version "20.5.0") > + (source > + (origin > + (method url-fetch) > + (uri (pypi-uri "flake8-pyi" version)) > + (sha256 > + (base32 > + "1zpq4s9kp8w95pccmhhyyx1ff2zhnidcf1zb3xs46lzcx9plvnzk")))) > + (build-system python-build-system) > + (propagated-inputs > + `(("python-attrs" ,python-attrs) > + ("python-flake8" ,python-flake8) > + ("python-pyflakes" ,python-pyflakes))) > + (home-page "https://github.com/ambv/flake8-pyi") > + (synopsis > + "A plugin for Flake8 that provides specializations for type hintin= g stub files.") No punctuation or article (you probably got that by now). :-) > + (description > + "A plugin for Flake8 that provides specializations for type hinting= stub files, > +especially interesting for linting typeshed. 1) Adds the .pyi extension= to > +the default value of the --filename command-line argument to Flake8. Th= is means > +stubs are linted by default with this plugin enabled, without needing to= explicitly list > +every file. 2) Modifies PyFlakes runs for .pyi files to defer checking = type annotation > +expressions after the entire file has been read. This enables support f= or first-class > +forward references that stub files use.") And full sentence, i.e. "This package contains a plugin ...". Also @file{.pyi}. The 1) and 2) reads "weird" to me, maybe they can be cut off and just use the text? Or perhaps they should be on separate lines, perhaps with @enumerate or similar? --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl8cWpsACgkQoqBt8qM6 VPqZlAgAh6vC3TR46vQea/A9riwGsKVAPMdsnNrv75kLtw/bvoUYCRl4Te0wNYvs L3xddXKr7+76gZKoLzyO8z/1ao5FouJZzqJJ1nxp8D6EaXtJVqTQEsCP1G8fSAnr cTtmHfG5V5JQ4kX61mE6kQaSI5PLQpywq/tlLr8abZfTzEGv8npwfxE52D4vF6mb qF5OsmpJh14eBaez9pYyZ+TT3TPPuzt15NKLvK/ZWceeDVcD6JpGX9nRqPT88q+z jSvmO93PPb6vRLnaggJR4eyOMYfWT7gtGxiyqQvR0Y8XXyIx0j41WQTll9YDz3eA q/EwWYCfQ7tQW4uxTGoq4rIqDDB8qA== =jmCl -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 10/10] gnu: Add python-mypy. Resent-From: Marius Bakke Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 25 Jul 2020 16:19:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Tanguy Le Carrour , 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159569392719460 (code B ref 42465); Sat, 25 Jul 2020 16:19:01 +0000 Received: (at 42465) by debbugs.gnu.org; 25 Jul 2020 16:18:47 +0000 Received: from localhost ([127.0.0.1]:50949 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMso-00053n-S4 for submit@debbugs.gnu.org; Sat, 25 Jul 2020 12:18:47 -0400 Received: from eggs.gnu.org ([209.51.188.92]:36624) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMsm-00053Z-P9 for 42465@debbugs.gnu.org; Sat, 25 Jul 2020 12:18:45 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:46510) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jzMsh-0004DN-Ir; Sat, 25 Jul 2020 12:18:39 -0400 Received: from 84-52-226.102.3p.ntebredband.no ([84.52.226.102]:43474 helo=localhost) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jzMsh-0001Jc-5F; Sat, 25 Jul 2020 12:18:39 -0400 From: Marius Bakke In-Reply-To: <20200721115633.6088-10-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> <20200721115633.6088-10-tanguy@bioneland.org> Date: Sat, 25 Jul 2020 18:18:21 +0200 Message-ID: <871rkztvoy.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --=-=-= Content-Type: text/plain Tanguy Le Carrour writes: > * gnu/packages/python-check.scm (python-mypy): New variable. Neat! I only recently learned about MyPy, good to have it in Guix. > +(define-public python-mypy > + (package > + (name "python-mypy") > + (version "0.782") > + (source > + (origin > + (method url-fetch) > + (uri (pypi-uri "mypy" version)) > + (sha256 > + (base32 > + "030kn709515452n6gy2i1d9fg6fyrkmdz228lfpmbslybsld9xzg")))) > + (build-system python-build-system) > + (arguments > + `(#:phases > + (modify-phases %standard-phases > + (replace 'check > + (lambda _ > + (invoke "./runtests.py") > + #t))))) > + (native-inputs > + `(("python-attrs" ,python-attrs) > + ("python-flake8" ,python-flake8) > + ("python-flake8-bugbear" ,python-flake8-bugbear) > + ("python-flake8-pyi" ,python-flake8-pyi) > + ("python-importlib-metadata" ,python-importlib-metadata) > + ("python-lxml" ,python-lxml) > + ("python-psutil" ,python-psutil) > + ("python-py" ,python-py) > + ("python-pytest" ,python-pytest) > + ("python-pytest-cov" ,python-pytest-cov) > + ("python-pytest-forked" ,python-pytest-forked) > + ("python-pytest-xdist" ,python-pytest-xdist) > + ("python-setuptools" ,python-setuptools) > + ("python-virtualenv" ,python-virtualenv))) > + (propagated-inputs > + `(("python-mypy-extensions" ,python-mypy-extensions) > + ("python-typing-extensions" ,python-typing-extensions) > + ("python-typed-ast" ,python-typed-ast))) > + (home-page "http://www.mypy-lang.org/") > + (synopsis "Optional static type checker for Python") Perhaps s/Optional//? I mean, if it was mandatory, wouldn't it be part of cpython? :-P Probably I'm missing something, I see upstream uses optional too. Anyway, LGTM, nice work! --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl8cW04ACgkQoqBt8qM6 VPokRgf/WN3NZyGM6vPpJIsZ86HAlQHQPGOObamBaOTuCS+1ZAu3PxUaAh8AmrjU CyN7HozCfXpyqgWgV26pSE8R7e+oJ8lYX5wt11meWMKpWndf0+EAtMKTxgM4Bzew L+6bz5WtnUqg+tn5IF67UhdaTJtLjtW0VDz+RCbH+oj2fthQQXtI8mdNad6kdT50 8BRxmaEJQ/y/u+XGJf2pxxN8yPFolsh1yKKOFjNwofogdy5jUNSAW3MbK+qeFYgk 38KIt6LpMtYOLfYYEntnkWkPxBc7LPP6JAcPMm76XKFkfz7ToMBm7hbMBP1iE5nI iKtGuVosTpkigwiLFLfqDBHDpmTpZw== =32F9 -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 10/10] gnu: Add python-mypy. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Jul 2020 07:58:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Marius Bakke Cc: 42465@debbugs.gnu.org Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159583665615582 (code B ref 42465); Mon, 27 Jul 2020 07:58:01 +0000 Received: (at 42465) by debbugs.gnu.org; 27 Jul 2020 07:57:36 +0000 Received: from localhost ([127.0.0.1]:53902 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy0u-00043G-2k for submit@debbugs.gnu.org; Mon, 27 Jul 2020 03:57:36 -0400 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:39533) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy0s-000434-Ai for 42465@debbugs.gnu.org; Mon, 27 Jul 2020 03:57:34 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost (static-176-185-184-238.ftth.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id E182B1C0004; Mon, 27 Jul 2020 07:57:27 +0000 (UTC) Date: Mon, 27 Jul 2020 09:57:27 +0200 From: Tanguy Le Carrour Message-ID: <20200727075727.4hzpbhn7ljyjzmjr@melmoth> References: <20200721115633.6088-1-tanguy@bioneland.org> <20200721115633.6088-10-tanguy@bioneland.org> <871rkztvoy.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <871rkztvoy.fsf@gnu.org> X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Hi Marius, The emails that will follow contain the updated patch set. I think I've addressed all the problems you reported. Thanks again! There are two things that I'll changed: - `python-flake8-bugbear`: I've disabled a test that fails on slow computers like mine. Was it the proper thing to do?! - `python-hypothesmith` now uses `python-hypothesis-5.23` even though `python-flake8-bugbear` still uses `python-hypothesis`. Just to make sure, I'll sum up your comments below. * [PATCH 02/10] gnu: python-hypothesis: Update to 5.20.0. > This can not be applied on 'master' because Hypothesis has 6261 > dependent packages. […] you can add a different variable with the new > hypothesis. Done! I've updated it to 5.23.0. * [PATCH 03/10] gnu: Add python-mypy-extensions. * [PATCH 04/10] gnu: Add python-typing-inspect. * [PATCH 05/10] gnu: Add python-libcst. * [PATCH 06/10] gnu: Add python-lark-parser. * [PATCH 07/10] gnu: Add python-hypothesmith. Thanks for all your helpful comments regarding synopsis and description. I'd have accepted a global "run the f@#*!g linter", though! :-) To be honest, I'm not yet comfortable with editing the info I get from a project's page, so I mostly copy/paste… which, I know, is bad! I'll work on that! * [PATCH 08/10] gnu: Add python-flake8-bugbear. > I realize now that hypothesmith is probably a hypothesis plugin? > In that case it should not propagate hypothesis IMO. Unfortunately, it does not build if I drop it. * [PATCH 09/10] gnu: Add python-flake8-pyi. > No punctuation or article (you probably got that by now). :-) Yeah, I think I'm starting to see where you're going with this! :-D * [PATCH 10/10] gnu: Add python-mypy. > Perhaps s/Optional//? I mean, if it was mandatory, wouldn't it be part > of cpython? Removed! I've built, installed and tested MyPy successfully! Thanks again for your help! -- Tanguy From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v3 1/9] gnu: Add python-mypy-extensions. References: <20200721115515.5408-1-tanguy@bioneland.org> In-Reply-To: <20200721115515.5408-1-tanguy@bioneland.org> Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Jul 2020 08:02:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159583687416010 (code B ref 42465); Mon, 27 Jul 2020 08:02:01 +0000 Received: (at 42465) by debbugs.gnu.org; 27 Jul 2020 08:01:14 +0000 Received: from localhost ([127.0.0.1]:53906 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4M-0004A6-Kx for submit@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:14 -0400 Received: from relay6-d.mail.gandi.net ([217.70.183.198]:53531) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4K-00049q-JC for 42465@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:09 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.ftth.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay6-d.mail.gandi.net (Postfix) with ESMTPSA id 0AE89C0009; Mon, 27 Jul 2020 08:01:01 +0000 (UTC) From: Tanguy Le Carrour Date: Mon, 27 Jul 2020 10:00:43 +0200 Message-Id: <20200727080051.19383-1-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-check.scm (python-mypy-extensions): New variable. --- gnu/packages/python-check.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm index e96ce9e666..facdf11f07 100644 --- a/gnu/packages/python-check.scm +++ b/gnu/packages/python-check.scm @@ -8,6 +8,7 @@ ;;; Copyright © 2020 Marius Bakke ;;; Copyright © 2020 Edouard Klein ;;; Copyright © 2020 Vinicius Monego +;;; Copyright © 2020 Tanguy Le Carrour ;;; ;;; This file is part of GNU Guix. ;;; @@ -771,3 +772,23 @@ it, the declaration of a name's public export semantics are not separated from the implementation of that name.") (license (list license:asl2.0 license:lgpl3)))) ; only for setup_helpers.py + +(define-public python-mypy-extensions + (package + (name "python-mypy-extensions") + (version "0.4.3") + (source + (origin + (method url-fetch) + (uri (pypi-uri "mypy_extensions" version)) + (sha256 + (base32 + "1a04qsk8hd1lqns8w1j7cr0vmvbhg450di5k1i16kqxkbf7q30id")))) + (build-system python-build-system) + (arguments `(#:tests? #f)); no tests + (home-page "https://github.com/python/mypy_extensions") + (synopsis "Experimental extensions for MyPy") + (description "The @code{python-mypy-extensions} module defines +experimental extensions to the standard @code{typing} module that are +supported by the MyPy typechecker.") + (license license:expat))) -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v3 2/9] gnu: Add python-typing-inspect. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Jul 2020 08:02:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159583687616024 (code B ref 42465); Mon, 27 Jul 2020 08:02:02 +0000 Received: (at 42465) by debbugs.gnu.org; 27 Jul 2020 08:01:16 +0000 Received: from localhost ([127.0.0.1]:53909 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4S-0004AO-E9 for submit@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:16 -0400 Received: from relay6-d.mail.gandi.net ([217.70.183.198]:37155) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4R-0004A4-4N for 42465@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:15 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.ftth.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay6-d.mail.gandi.net (Postfix) with ESMTPSA id 67BFCC0009; Mon, 27 Jul 2020 08:01:09 +0000 (UTC) From: Tanguy Le Carrour Date: Mon, 27 Jul 2020 10:00:44 +0200 Message-Id: <20200727080051.19383-2-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200727080051.19383-1-tanguy@bioneland.org> References: <20200727080051.19383-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-typing-inspect): New variable. --- gnu/packages/python-xyz.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 3aebff078b..f47052f8b9 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -12297,6 +12297,27 @@ in Python. It allows you to declare the libraries your project depends on and it will manage (install/update) them for you.") (license license:expat))) +(define-public python-typing-inspect + (package + (name "python-typing-inspect") + (version "0.6.0") + (source (origin + (method url-fetch) + (uri (pypi-uri "typing_inspect" version)) + (sha256 + (base32 + "1dzs9a1pr23dhbvmnvms2jv7l7jk26023g5ysf0zvnq8b791s6wg")))) + (build-system python-build-system) + (propagated-inputs + `(("python-mypy-extensions" ,python-mypy-extensions) + ("python-typing-extensions" ,python-typing-extensions))) + (home-page "https://github.com/ilevkivskyi/typing_inspect") + (synopsis "API for inspection of types in the Python @code{typing} module") + (description + "The @code{typing_inspect} module defines experimental API for runtime +inspection of types defined in the Python standard typing module.") + (license license:expat))) + (define-public python-lazy-object-proxy (package (name "python-lazy-object-proxy") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v3 3/9] gnu: Add python-hypothesis-5.23. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Jul 2020 08:02:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159583687916042 (code B ref 42465); Mon, 27 Jul 2020 08:02:02 +0000 Received: (at 42465) by debbugs.gnu.org; 27 Jul 2020 08:01:19 +0000 Received: from localhost ([127.0.0.1]:53912 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4V-0004Ag-L4 for submit@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:19 -0400 Received: from relay6-d.mail.gandi.net ([217.70.183.198]:33727) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4U-0004A9-Ji for 42465@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:19 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.ftth.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay6-d.mail.gandi.net (Postfix) with ESMTPSA id D3FC6C0004; Mon, 27 Jul 2020 08:01:12 +0000 (UTC) From: Tanguy Le Carrour Date: Mon, 27 Jul 2020 10:00:45 +0200 Message-Id: <20200727080051.19383-3-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200727080051.19383-1-tanguy@bioneland.org> References: <20200727080051.19383-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/check.scm (python-hypothesis-5.23): New variable. --- gnu/packages/check.scm | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 661ed65e53..ab1839e0a2 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -34,6 +34,7 @@ ;;; Copyright © 2020 Brice Waegeneire ;;; Copyright © 2020 Josh Marshall ;;; Copyright © 2020 Vinicius Monego +;;; Copyright © 2020 Tanguy Le Carrour ;;; ;;; This file is part of GNU Guix. ;;; @@ -1824,6 +1825,18 @@ seamlessly into your existing Python unit testing work flow.") (license license:mpl2.0) (properties `((python2-variant . ,(delay python2-hypothesis)))))) +(define-public python-hypothesis-5.23 + (package + (inherit python-hypothesis) + (version "5.23.0") + (source (origin + (method url-fetch) + (uri (pypi-uri "hypothesis" version)) + (sha256 + (base32 + "0sy1v6nyxg4rjcf3rlr8nalb7wqd9nccpb2lzkchbj5an13ysf1h")))) + (home-page "https://github.com/HypothesisWorks/hypothesis"))) + ;; This is the last version of Hypothesis that supports Python 2. (define-public python2-hypothesis (let ((hypothesis (package-with-python2 -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v3 4/9] gnu: Add python-libcst. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Jul 2020 08:02:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159583688816087 (code B ref 42465); Mon, 27 Jul 2020 08:02:03 +0000 Received: (at 42465) by debbugs.gnu.org; 27 Jul 2020 08:01:28 +0000 Received: from localhost ([127.0.0.1]:53915 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4Z-0004Ay-Rp for submit@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:28 -0400 Received: from relay6-d.mail.gandi.net ([217.70.183.198]:60163) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4Y-0004AU-1l for 42465@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:23 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.ftth.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay6-d.mail.gandi.net (Postfix) with ESMTPSA id 4127EC0007; Mon, 27 Jul 2020 08:01:16 +0000 (UTC) From: Tanguy Le Carrour Date: Mon, 27 Jul 2020 10:00:46 +0200 Message-Id: <20200727080051.19383-4-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200727080051.19383-1-tanguy@bioneland.org> References: <20200727080051.19383-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-libcst): New variable. --- gnu/packages/python-xyz.scm | 57 +++++++++++++++++++++++++++++++++++++ 1 file changed, 57 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index f47052f8b9..5a620e3808 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -12297,6 +12297,63 @@ in Python. It allows you to declare the libraries your project depends on and it will manage (install/update) them for you.") (license license:expat))) +(define-public python-libcst + (package + (name "python-libcst") + (version "0.3.8") + (source (origin + (method url-fetch) + (uri (pypi-uri "libcst" version)) + (sha256 + (base32 + "05zsc61gsd2pyb6wiyh58zczndxi6rm4d2jl94rpf5cv1fzw6ks8")))) + (build-system python-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (add-after 'unpack 'remove-failing-tests + (lambda _ + ;; Reported upstream: . + (delete-file "libcst/tests/test_fuzz.py") + ;; Reported upstream: . + (delete-file "libcst/tests/test_pyre_integration.py") + (delete-file "libcst/codemod/tests/test_codemod_cli.py") + (delete-file "libcst/metadata/tests/test_full_repo_manager.py") + (delete-file "libcst/metadata/tests/test_type_inference_provider.py") + #t)) + (add-before 'check 'generate-test-data + (lambda _ + (setenv "PYTHONPATH" (string-append (getcwd) ":" (getenv "PYTHONPATH"))) + (invoke "python" "-m" "libcst.codegen.generate" "visitors") + (invoke "python" "-m" "libcst.codegen.generate" "return_types"))) + (replace 'check + (lambda _ + (invoke "python" "-m" "unittest") + #t))))) + (native-inputs + `(("python-black" ,python-black) + ("python-isort" ,python-isort))) + (propagated-inputs + `(("python-typing-extensions" ,python-typing-extensions) + ("python-typing-inspect" ,python-typing-inspect) + ("python-pyyaml" ,python-pyyaml))) + (home-page "https://github.com/Instagram/LibCST") + (synopsis "Concrete Syntax Tree (CST) parser and serializer library for Python") + (description + "LibCST parses Python source code as a CST tree that keeps all +formatting details (comments, whitespaces, parentheses, etc). It's useful +for building automated refactoring (codemod) applications and linters. +LibCST creates a compromise between an Abstract Syntax Tree (AST) and +a traditional Concrete Syntax Tree (CST). By carefully reorganizing and +naming node types and fields, LibCST creates a lossless CST that looks and +feels like an AST.") + (license (list license:expat + ;; Some files unde libcst/_parser/ are under Python Software + ;; Foundation license (see LICENSE file for details) + license:psfl + ;; libcst/_add_slots.py + license:asl2.0)))) + (define-public python-typing-inspect (package (name "python-typing-inspect") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v3 5/9] gnu: Add python-lark-parser. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Jul 2020 08:02:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159583688816094 (code B ref 42465); Mon, 27 Jul 2020 08:02:03 +0000 Received: (at 42465) by debbugs.gnu.org; 27 Jul 2020 08:01:28 +0000 Received: from localhost ([127.0.0.1]:53921 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4e-0004BQ-DR for submit@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:28 -0400 Received: from relay6-d.mail.gandi.net ([217.70.183.198]:42393) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4a-0004AZ-AP for 42465@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:24 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.ftth.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay6-d.mail.gandi.net (Postfix) with ESMTPSA id 953F2C000E; Mon, 27 Jul 2020 08:01:18 +0000 (UTC) From: Tanguy Le Carrour Date: Mon, 27 Jul 2020 10:00:47 +0200 Message-Id: <20200727080051.19383-5-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200727080051.19383-1-tanguy@bioneland.org> References: <20200727080051.19383-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-lark-parser): New variable. --- gnu/packages/python-xyz.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 5a620e3808..e67ba783fe 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -12297,6 +12297,26 @@ in Python. It allows you to declare the libraries your project depends on and it will manage (install/update) them for you.") (license license:expat))) +(define-public python-lark-parser + (package + (name "python-lark-parser") + (version "0.9.0") + (source (origin + (method url-fetch) + (uri (pypi-uri "lark-parser" version)) + (sha256 + (base32 + "1kd61asrb3h9spgsj4bslfbgp8q4271sw3hblk6f2vbbblv8jxcy")))) + (build-system python-build-system) + (home-page "https://github.com/lark-parser/lark") + (synopsis "Multi-language parser for Python") + (description + "Lark is a parser built with a focus on ergonomics, performance and +resilience. Lark can parse all context-free languages. That means it is +capable of parsing almost any programming language out there, and to +some degree most natural languages too.") + (license license:expat))) + (define-public python-libcst (package (name "python-libcst") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v3 8/9] gnu: Add python-flake8-pyi. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Jul 2020 08:02:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159583688916101 (code B ref 42465); Mon, 27 Jul 2020 08:02:03 +0000 Received: (at 42465) by debbugs.gnu.org; 27 Jul 2020 08:01:29 +0000 Received: from localhost ([127.0.0.1]:53923 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4e-0004BX-L7 for submit@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:28 -0400 Received: from relay6-d.mail.gandi.net ([217.70.183.198]:60163) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4b-0004AU-5v for 42465@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:25 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.ftth.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay6-d.mail.gandi.net (Postfix) with ESMTPSA id 9099EC0009; Mon, 27 Jul 2020 08:01:24 +0000 (UTC) From: Tanguy Le Carrour Date: Mon, 27 Jul 2020 10:00:50 +0200 Message-Id: <20200727080051.19383-8-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200727080051.19383-1-tanguy@bioneland.org> References: <20200727080051.19383-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-flake8-pyi): New variable. --- gnu/packages/python-xyz.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 7015c20b4e..db470d3440 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -7989,6 +7989,36 @@ plugins that intend to support Flake8 2.x and 3.x simultaneously.") (define-public python2-flake8-polyfill (package-with-python2 python-flake8-polyfill)) +(define-public python-flake8-pyi + (package + (name "python-flake8-pyi") + (version "20.5.0") + (source + (origin + (method url-fetch) + (uri (pypi-uri "flake8-pyi" version)) + (sha256 + (base32 + "1zpq4s9kp8w95pccmhhyyx1ff2zhnidcf1zb3xs46lzcx9plvnzk")))) + (build-system python-build-system) + (propagated-inputs + `(("python-attrs" ,python-attrs) + ("python-flake8" ,python-flake8) + ("python-pyflakes" ,python-pyflakes))) + (home-page "https://github.com/ambv/flake8-pyi") + (synopsis + "Flake8 plugin that provides specializations for type hinting stub files") + (description + "This package contains a plugin that provides specializations for +type hinting stub files, especially interesting for linting typeshed. It +adds the @file{.pyi} extension to the default value of the @code{--filename} +command-line argument to Flake8. This means stubs are linted by default with +this plugin enabled, without needing to explicitly list every file. It +modifies PyFlakes runs for @file{.pyi} files to defer checking type annotation +expressions after the entire file has been read. This enables support for +first-class forward references that stub files use.") + (license license:expat))) + (define-public python-mistune (package (name "python-mistune") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v3 9/9] gnu: Add python-mypy. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Jul 2020 08:02:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159583688916113 (code B ref 42465); Mon, 27 Jul 2020 08:02:04 +0000 Received: (at 42465) by debbugs.gnu.org; 27 Jul 2020 08:01:29 +0000 Received: from localhost ([127.0.0.1]:53926 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4e-0004Be-VH for submit@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:29 -0400 Received: from relay6-d.mail.gandi.net ([217.70.183.198]:60163) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4c-0004AU-OY for 42465@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:27 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.ftth.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay6-d.mail.gandi.net (Postfix) with ESMTPSA id 285CAC001E; Mon, 27 Jul 2020 08:01:26 +0000 (UTC) From: Tanguy Le Carrour Date: Mon, 27 Jul 2020 10:00:51 +0200 Message-Id: <20200727080051.19383-9-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200727080051.19383-1-tanguy@bioneland.org> References: <20200727080051.19383-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-check.scm (python-mypy): New variable. --- gnu/packages/python-check.scm | 50 +++++++++++++++++++++++++++++++++++ 1 file changed, 50 insertions(+) diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm index facdf11f07..c4c91d21e9 100644 --- a/gnu/packages/python-check.scm +++ b/gnu/packages/python-check.scm @@ -31,6 +31,7 @@ #:use-module (gnu packages python-web) #:use-module (gnu packages python-xyz) #:use-module (gnu packages web) + #:use-module (gnu packages xml) #:use-module (guix utils) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages) @@ -792,3 +793,52 @@ the implementation of that name.") experimental extensions to the standard @code{typing} module that are supported by the MyPy typechecker.") (license license:expat))) + +(define-public python-mypy + (package + (name "python-mypy") + (version "0.782") + (source + (origin + (method url-fetch) + (uri (pypi-uri "mypy" version)) + (sha256 + (base32 + "030kn709515452n6gy2i1d9fg6fyrkmdz228lfpmbslybsld9xzg")))) + (build-system python-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (replace 'check + (lambda _ + (invoke "./runtests.py") + #t))))) + (native-inputs + `(("python-attrs" ,python-attrs) + ("python-flake8" ,python-flake8) + ("python-flake8-bugbear" ,python-flake8-bugbear) + ("python-flake8-pyi" ,python-flake8-pyi) + ("python-importlib-metadata" ,python-importlib-metadata) + ("python-lxml" ,python-lxml) + ("python-psutil" ,python-psutil) + ("python-py" ,python-py) + ("python-pytest" ,python-pytest) + ("python-pytest-cov" ,python-pytest-cov) + ("python-pytest-forked" ,python-pytest-forked) + ("python-pytest-xdist" ,python-pytest-xdist) + ("python-virtualenv" ,python-virtualenv))) + (propagated-inputs + `(("python-mypy-extensions" ,python-mypy-extensions) + ("python-typing-extensions" ,python-typing-extensions) + ("python-typed-ast" ,python-typed-ast))) + (home-page "http://www.mypy-lang.org/") + (synopsis "Static type checker for Python") + (description "Mypy is an optional static type checker for Python that aims +to combine the benefits of dynamic (or 'duck') typing and static typing. Mypy combines +the expressive power and convenience of Python with a powerful type system and +compile-time type checking. Mypy type checks standard Python programs; run them using +any Python VM with basically no runtime overhead.") + ;; Most of the code is under MIT license; Some files are under Python Software + ;; Foundation License version 2: stdlib-samples/*, mypyc/lib-rt/pythonsupport.h and + ;; mypyc/lib-rt/getargs.c + (license (list license:expat license:psfl)))) -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v3 6/9] gnu: Add python-hypothesmith. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Jul 2020 08:02:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159583689416126 (code B ref 42465); Mon, 27 Jul 2020 08:02:04 +0000 Received: (at 42465) by debbugs.gnu.org; 27 Jul 2020 08:01:34 +0000 Received: from localhost ([127.0.0.1]:53928 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4k-0004C1-DF for submit@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:34 -0400 Received: from relay6-d.mail.gandi.net ([217.70.183.198]:53899) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4c-0004Ao-PV for 42465@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:27 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.ftth.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay6-d.mail.gandi.net (Postfix) with ESMTPSA id 10F05C0014; Mon, 27 Jul 2020 08:01:20 +0000 (UTC) From: Tanguy Le Carrour Date: Mon, 27 Jul 2020 10:00:48 +0200 Message-Id: <20200727080051.19383-6-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200727080051.19383-1-tanguy@bioneland.org> References: <20200727080051.19383-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/check.scm (python-hypothesmith): New variable. --- gnu/packages/check.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index ab1839e0a2..eb12383887 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -1853,6 +1853,29 @@ seamlessly into your existing Python unit testing work flow.") `(("python2-enum34" ,python2-enum34) ,@(package-propagated-inputs hypothesis)))))) +(define-public python-hypothesmith + (package + (name "python-hypothesmith") + (version "0.1.2") + (source + (origin + (method url-fetch) + (uri (pypi-uri "hypothesmith" version)) + (sha256 + (base32 + "09331sspknv459xcyn1k0lx5flqlc6gmnwp9370pfvg4kg1zmss6")))) + (build-system python-build-system) + (propagated-inputs + `(("python-hypothesis" ,python-hypothesis-5.23) + ("python-lark-parser" ,python-lark-parser) + ("python-libcst" ,python-libcst))) + (home-page "https://github.com/Zac-HD/hypothesmith") + (synopsis "Strategies for generating Python programs") + (description + "This package contains hypothesis strategies for generating Python +programs, something like CSmith, a random generator of C programs.") + (license license:mpl2.0))) + (define-public python-lit (package (name "python-lit") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH v3 7/9] gnu: Add python-flake8-bugbear. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Jul 2020 08:02:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159583689516132 (code B ref 42465); Mon, 27 Jul 2020 08:02:05 +0000 Received: (at 42465) by debbugs.gnu.org; 27 Jul 2020 08:01:35 +0000 Received: from localhost ([127.0.0.1]:53930 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4k-0004C3-MM for submit@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:34 -0400 Received: from relay6-d.mail.gandi.net ([217.70.183.198]:55487) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzy4e-0004Ax-If for 42465@debbugs.gnu.org; Mon, 27 Jul 2020 04:01:29 -0400 X-Originating-IP: 176.185.184.238 Received: from localhost.localdomain (static-176-185-184-238.ftth.abo.bbox.fr [176.185.184.238]) (Authenticated sender: tanguy@bioneland.org) by relay6-d.mail.gandi.net (Postfix) with ESMTPSA id CFA2CC0006; Mon, 27 Jul 2020 08:01:22 +0000 (UTC) From: Tanguy Le Carrour Date: Mon, 27 Jul 2020 10:00:49 +0200 Message-Id: <20200727080051.19383-7-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 In-Reply-To: <20200727080051.19383-1-tanguy@bioneland.org> References: <20200727080051.19383-1-tanguy@bioneland.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/python-xyz.scm (python-flake8-bugbear): New variable. --- gnu/packages/python-xyz.scm | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index e67ba783fe..7015c20b4e 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -7910,6 +7910,42 @@ complexity of Python source code.") ("python-pyflakes" ,python-pyflakes-1.2) ("python-mccabe" ,python-mccabe))))) +(define-public python-flake8-bugbear + (package + (name "python-flake8-bugbear") + (version "20.1.4") + (source + (origin + (method url-fetch) + (uri (pypi-uri "flake8-bugbear" version)) + (sha256 + (base32 + "0qiihb242fygzyrfynq913ak7cdmx8mcac9c0zk3y5gv16qf80mx")))) + (build-system python-build-system) + (arguments + '(#:phases + (modify-phases %standard-phases + (add-before 'check 'disable-test + (lambda _ + ;; This test fails on slow computers. + (substitute* "tests/test_bugbear.py" + (("def test_does_not_crash_on_any_valid_code") + "def _test_does_not_crash_on_any_valid_code"))))))) + (native-inputs + `(("python-hypothesis" ,python-hypothesis) + ("python-hypothesmith" ,python-hypothesmith))) + (propagated-inputs + `(("python-attrs" ,python-attrs) + ("python-flake8" ,python-flake8))) + (home-page "https://github.com/PyCQA/flake8-bugbear") + (synopsis + "Flake8 plugin for finding likely bugs and design problems in your program") + (description + "This package contains a plugin for Flake8 finding likely bugs and +design problems in your program. It contains warnings that don't belong +in pyflakes and pycodestyle.") + (license license:expat))) + (define-public python-flake8-polyfill (package (name "python-flake8-polyfill") -- 2.27.0 From unknown Sat Aug 16 22:46:37 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Tanguy Le Carrour Subject: bug#42465: closed (Re: [bug#42465] [PATCH 10/10] gnu: Add python-mypy.) Message-ID: References: <87h7tqq7yk.fsf@gnu.org> <20200721115515.5408-1-tanguy@bioneland.org> X-Gnu-PR-Message: they-closed 42465 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 42465@debbugs.gnu.org Date: Wed, 29 Jul 2020 22:22:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1596061322-4226-1" This is a multi-part message in MIME format... ------------=_1596061322-4226-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #42465: [PATCH 00/10] gnu: Add python-mypy. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 42465@debbugs.gnu.org. --=20 42465: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D42465 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1596061322-4226-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 42465-done) by debbugs.gnu.org; 29 Jul 2020 22:21:06 +0000 Received: from localhost ([127.0.0.1]:33871 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k0uRe-00014z-CT for submit@debbugs.gnu.org; Wed, 29 Jul 2020 18:21:06 -0400 Received: from eggs.gnu.org ([209.51.188.92]:47082) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k0uRZ-000148-Ii for 42465-done@debbugs.gnu.org; Wed, 29 Jul 2020 18:21:05 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:54930) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1k0uRU-0002Bx-3w; Wed, 29 Jul 2020 18:20:56 -0400 Received: from ti0006q161-3115.bb.online.no ([88.95.106.80]:51948 helo=localhost) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1k0uRT-0000sr-0u; Wed, 29 Jul 2020 18:20:55 -0400 From: Marius Bakke To: Tanguy Le Carrour Subject: Re: [bug#42465] [PATCH 10/10] gnu: Add python-mypy. In-Reply-To: <20200727075727.4hzpbhn7ljyjzmjr@melmoth> References: <20200721115633.6088-1-tanguy@bioneland.org> <20200721115633.6088-10-tanguy@bioneland.org> <871rkztvoy.fsf@gnu.org> <20200727075727.4hzpbhn7ljyjzmjr@melmoth> Date: Thu, 30 Jul 2020 00:20:35 +0200 Message-ID: <87h7tqq7yk.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 42465-done Cc: 42465-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Tanguy Le Carrour writes: > Hi Marius, > > The emails that will follow contain the updated patch set. > I think I've addressed all the problems you reported. Thanks again! > There are two things that I'll changed: > > - `python-flake8-bugbear`: I've disabled a test that fails on slow > computers like mine. Was it the proper thing to do?! > - `python-hypothesmith` now uses `python-hypothesis-5.23` even though > `python-flake8-bugbear` still uses `python-hypothesis`. > > Just to make sure, I'll sum up your comments below. > > * [PATCH 02/10] gnu: python-hypothesis: Update to 5.20.0. >> This can not be applied on 'master' because Hypothesis has 6261 >> dependent packages. [=E2=80=A6] you can add a different variable with th= e new >> hypothesis. > > Done! I've updated it to 5.23.0. Great. :-) > * [PATCH 03/10] gnu: Add python-mypy-extensions. > * [PATCH 04/10] gnu: Add python-typing-inspect. > * [PATCH 05/10] gnu: Add python-libcst. > * [PATCH 06/10] gnu: Add python-lark-parser. > * [PATCH 07/10] gnu: Add python-hypothesmith. > > Thanks for all your helpful comments regarding synopsis and description. > I'd have accepted a global "run the f@#*!g linter", though! :-) Heheh. I have become linter.=20=20 > To be honest, I'm not yet comfortable with editing the info I get from > a project's page, so I mostly copy/paste=E2=80=A6 which, I know, is bad! = I'll > work on that! I find it is often the most difficult part of packaging. How to convey [upstream description] in [neutral language for noob]. Occasionally I'll peek at Debians description which are typically pretty good (but don't tell anyone!). > * [PATCH 08/10] gnu: Add python-flake8-bugbear. >> I realize now that hypothesmith is probably a hypothesis plugin? >> In that case it should not propagate hypothesis IMO. > > Unfortunately, it does not build if I drop it. Ah right, I was not entirely clear. I meant the Hypothesis input should probably be native (for tests), but not propagated so that other packages could use it with other Hypothesis versions. Making plugin packages not propagate the package they "plug in to" is a favorite nit-pick of mine, often causing great confusion... This case is complicated since Hypothesmith depends on a newer version of Hypothesis, maybe the plugin only works with that newer version? In which case propagating makes a lot of sense. Anyway it's not a big deal either way, so let's not go there. :-) > * [PATCH 09/10] gnu: Add python-flake8-pyi. >> No punctuation or article (you probably got that by now). :-) > > Yeah, I think I'm starting to see where you're going with this! :-D > > * [PATCH 10/10] gnu: Add python-mypy. >> Perhaps s/Optional//? I mean, if it was mandatory, wouldn't it be part >> of cpython? > > Removed! > > I've built, installed and tested MyPy successfully! Thanks again for > your help! Awesome, I applied the series as-is. Thanks for your work! --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl8h9jMACgkQoqBt8qM6 VPqW+wf/fvp5+aS7EJSNdV7zzMDn9U6gbxwYPUjoqy4JNfeBrPCy8Vvdljh7NF6N OEUC71xB/oEd4Zj/x5NOUjLx/DrRZLwzoFlELlJyFuwNSWRYbYLBKDUPXrusU7YV 26J6Gj1WNqXWcxumeEuZgVVyQwstknZVZ3tRL5s/TODnHYPC/anDcFdtSJPE7Gyo tu6AgtVoW9vy3clNjLkwmdO4cep/q2wO8sjR/EqxdunVDoHUKBYBcnDr3JvHsedV EKSshRTZH7yjkX57c0hWFXqe0Fqns5brtySajyvZ5fmjTAoL8+1ALMqgzXsUpHEO oCbwrFqG5UGAS0+0y2bpM3qzKorXPw== =asEq -----END PGP SIGNATURE----- --=-=-=-- ------------=_1596061322-4226-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 21 Jul 2020 11:55:43 +0000 Received: from localhost ([127.0.0.1]:38363 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqs2-0001nF-VK for submit@debbugs.gnu.org; Tue, 21 Jul 2020 07:55:43 -0400 Received: from lists.gnu.org ([209.51.188.17]:35342) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jxqs0-0001n7-Vk for submit@debbugs.gnu.org; Tue, 21 Jul 2020 07:55:41 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:52066) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jxqs0-0003Da-MS for guix-patches@gnu.org; Tue, 21 Jul 2020 07:55:40 -0400 Received: from relay1-d.mail.gandi.net ([217.70.183.193]:47741) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jxqry-0006zl-Ka for guix-patches@gnu.org; Tue, 21 Jul 2020 07:55:40 -0400 X-Originating-IP: 176.159.32.89 Received: from rafflesia.easter-eggs.fr (176-159-32-89.abo.bbox.fr [176.159.32.89]) (Authenticated sender: tanguy@bioneland.org) by relay1-d.mail.gandi.net (Postfix) with ESMTPA id 18F0C240002; Tue, 21 Jul 2020 11:55:35 +0000 (UTC) From: Tanguy Le Carrour To: guix-patches@gnu.org Subject: [PATCH 00/10] gnu: Add python-mypy. Date: Tue, 21 Jul 2020 13:55:15 +0200 Message-Id: <20200721115515.5408-1-tanguy@bioneland.org> X-Mailer: git-send-email 2.27.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: none client-ip=217.70.183.193; envelope-from=tanguy@bioneland.org; helo=relay1-d.mail.gandi.net X-detected-operating-system: by eggs.gnu.org: First seen = 2020/07/21 07:55:36 X-ACL-Warn: Detected OS = Linux 3.11 and newer X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: submit Cc: Tanguy Le Carrour X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) This patch replaces #42395 and #42396. It might also replace #35975 and #35193. Tanguy Le Carrour (10): gnu: python-typing-extension: Update to 3.7.4.2. gnu: python-hypothesis: Update to 5.20.0. gnu: Add python-mypy-extensions. gnu: Add python-typing-inspect. gnu: Add python-libcst. gnu: Add python-lark-parser. gnu: Add python-hypothesmith. gnu: Add python-flake8-bugbear. gnu: Add python-flake8-pyi. gnu: Add python-mypy. gnu/packages/check.scm | 27 +++++- gnu/packages/python-check.scm | 71 +++++++++++++++ gnu/packages/python-xyz.scm | 159 +++++++++++++++++++++++++++++++++- 3 files changed, 253 insertions(+), 4 deletions(-) -- 2.27.0 ------------=_1596061322-4226-1-- From unknown Sat Aug 16 22:46:37 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 10/10] gnu: Add python-mypy. Resent-From: Tanguy Le Carrour Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 30 Jul 2020 06:37:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Marius Bakke Cc: 42465-done@debbugs.gnu.org Received: via spool by 42465-done@debbugs.gnu.org id=D42465.159609101927979 (code D ref 42465); Thu, 30 Jul 2020 06:37:02 +0000 Received: (at 42465-done) by debbugs.gnu.org; 30 Jul 2020 06:36:59 +0000 Received: from localhost ([127.0.0.1]:34198 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k12BW-0007HD-VQ for submit@debbugs.gnu.org; Thu, 30 Jul 2020 02:36:59 -0400 Received: from relay1-d.mail.gandi.net ([217.70.183.193]:15465) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k12BU-0007Gz-P2 for 42465-done@debbugs.gnu.org; Thu, 30 Jul 2020 02:36:57 -0400 X-Originating-IP: 176.159.32.89 Received: from localhost (176-159-32-89.abo.bbox.fr [176.159.32.89]) (Authenticated sender: tanguy@bioneland.org) by relay1-d.mail.gandi.net (Postfix) with ESMTPSA id B4A7F240004; Thu, 30 Jul 2020 06:36:50 +0000 (UTC) Date: Thu, 30 Jul 2020 08:36:50 +0200 From: Tanguy Le Carrour Message-ID: <20200730063650.7ty2hhaubenqquuz@rafflesia> References: <20200721115633.6088-1-tanguy@bioneland.org> <20200721115633.6088-10-tanguy@bioneland.org> <871rkztvoy.fsf@gnu.org> <20200727075727.4hzpbhn7ljyjzmjr@melmoth> <87h7tqq7yk.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <87h7tqq7yk.fsf@gnu.org> X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Le 07/30, Marius Bakke a écrit : > Tanguy Le Carrour writes: > > […] > > To be honest, I'm not yet comfortable with editing the info I get from > > a project's page, so I mostly copy/paste… which, I know, is bad! I'll > > work on that! > > I find it is often the most difficult part of packaging. How to convey > [upstream description] in [neutral language for noob]. Occasionally > I'll peek at Debians description which are typically pretty good (but > don't tell anyone!). I promise I won't tell anyone! This will stay between you, me and the internet! ;-) > > * [PATCH 08/10] gnu: Add python-flake8-bugbear. > >> I realize now that hypothesmith is probably a hypothesis plugin? > >> In that case it should not propagate hypothesis IMO. > > > > Unfortunately, it does not build if I drop it. > > Ah right, I was not entirely clear. I meant the Hypothesis input should > probably be native (for tests), but not propagated so that other > packages could use it with other Hypothesis versions. Making plugin > packages not propagate the package they "plug in to" is a favorite > nit-pick of mine, often causing great confusion... > > This case is complicated since Hypothesmith depends on a newer version > of Hypothesis, maybe the plugin only works with that newer version? In > which case propagating makes a lot of sense. Anyway it's not a big deal > either way, so let's not go there. :-) I'll keep that for later! I think I have to sleep on the idea… several nights! ^_^' > > I've built, installed and tested MyPy successfully! Thanks again for > > your help! > > Awesome, I applied the series as-is. Thanks for your work! Thanks!! -- Tanguy