From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id IEr/HpD2IV8KMAAA0tVLHw (envelope-from ) for ; Wed, 29 Jul 2020 22:22:08 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id yC+dGpD2IV/LYgAAB5/wlQ (envelope-from ) for ; Wed, 29 Jul 2020 22:22:08 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 018209404CB for ; Wed, 29 Jul 2020 22:22:08 +0000 (UTC) Received: from localhost ([::1]:44510 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1k0uSd-0006Lp-0Z for larch@yhetil.org; Wed, 29 Jul 2020 18:22:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57478) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1k0uSY-0006LQ-SJ for guix-patches@gnu.org; Wed, 29 Jul 2020 18:22:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:50559) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1k0uSY-0002Id-HB for guix-patches@gnu.org; Wed, 29 Jul 2020 18:22:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1k0uSY-00016G-BU for guix-patches@gnu.org; Wed, 29 Jul 2020 18:22:02 -0400 Subject: bug#42465: [PATCH 10/10] gnu: Add python-mypy. Resent-From: Marius Bakke Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Wed, 29 Jul 2020 22:22:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Tanguy Le Carrour Cc: 42465-done@debbugs.gnu.org Mail-Followup-To: 42465@debbugs.gnu.org, marius@gnu.org, tanguy@bioneland.org Received: via spool by 42465-done@debbugs.gnu.org id=D42465.15960612664157 (code D ref 42465); Wed, 29 Jul 2020 22:22:02 +0000 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 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -3.3 (---) X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam-Score: -3.11 X-TUID: eRMUs5XjPIA0 --=-=-= 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----- --=-=-=--