From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:44613) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hgV8C-0000Xd-0C for guix-patches@gnu.org; Thu, 27 Jun 2019 10:12:09 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hgV86-00009c-Jp for guix-patches@gnu.org; Thu, 27 Jun 2019 10:12:07 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:53835) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hgV86-00009X-FE for guix-patches@gnu.org; Thu, 27 Jun 2019 10:12:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hgV86-00020Y-8G for guix-patches@gnu.org; Thu, 27 Jun 2019 10:12:02 -0400 Subject: [bug#35193] [PATCH v2 3/3] gnu: Add python-mypy Resent-Message-ID: Received: from eggs.gnu.org ([2001:470:142:3::10]:44381) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hgV7K-0008GV-OZ for guix-patches@gnu.org; Thu, 27 Jun 2019 10:11:19 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hgV7J-0008Oj-D4 for guix-patches@gnu.org; Thu, 27 Jun 2019 10:11:14 -0400 Received: from mx1.riseup.net ([198.252.153.129]:42390) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hgV7J-0008OY-4x for guix-patches@gnu.org; Thu, 27 Jun 2019 10:11:13 -0400 Received: from capuchin.riseup.net (capuchin-pn.riseup.net [10.0.1.176]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (Client CN "*.riseup.net", Issuer "COMODO RSA Domain Validation Secure Server CA" (verified OK)) by mx1.riseup.net (Postfix) with ESMTPS id 2095B1B9330 for ; Thu, 27 Jun 2019 07:11:12 -0700 (PDT) Received: from [127.0.0.1] (localhost [127.0.0.1]) by capuchin.riseup.net (Postfix) with ESMTPSA id 893421203DC for ; Thu, 27 Jun 2019 07:11:11 -0700 (PDT) References: <20190430152914.13616-1-jessejohngildersleve@zohomail.eu> <20190430152914.13616-4-jessejohngildersleve@zohomail.eu> From: swedebugia Message-ID: <74772c08-9903-6e23-357c-5928517ca53f@riseup.net> Date: Thu, 27 Jun 2019 16:11:07 +0200 MIME-Version: 1.0 In-Reply-To: <20190430152914.13616-4-jessejohngildersleve@zohomail.eu> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 35193@debbugs.gnu.org On 2019-04-30 17:29, wednesday wrote: > * gnu/packages/python-xyz.scm (python-mypy): New public variable. > --- > gnu/packages/python-xyz.scm | 27 +++++++++++++++++++++++++++ > 1 file changed, 27 insertions(+) > > diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm > index 01c065fc83..c528d2849d 100644 > --- a/gnu/packages/python-xyz.scm > +++ b/gnu/packages/python-xyz.scm > @@ -15679,3 +15679,30 @@ standard @code{typing} module that are supported by the mypy typechecker.") > (propagated-inputs > `(("python2-typing" ,python2-typing) > ,@(package-propagated-inputs mypy)))))) > + > +(define-public python-mypy > + (package > + (name "python-mypy") > + (version "0.701") > + (source > + (origin > + (method url-fetch) > + (uri (pypi-uri "mypy" version)) > + (sha256 > + (base32 > + "05479r3gbq17r22hyhxjg49smx5q864pgx8ayy23rsdj4w6z2r2p")))) > + (build-system python-build-system) > + ;; FIXME: tests freeze at 80% We really would like to understand why these fail and mitigate if possible. Have you reported this upstream? > + (arguments '(#:tests? #f)) > + (propagated-inputs > + `(("python-mypy-extensions" ,python-mypy-extensions) > + ("python-typed-ast" ,python-typed-ast) > + ("python-psutil" ,python-psutil))) > + (home-page "http://www.mypy-lang.org/") > + (synopsis "Optional static typing for Python 3 and 2 (PEP 484)") > + (description "Add type annotations to your Python programs, and use mypy to type check > +them. This phrase is a little eh weird. Could you rephrase to something like "Mypy checks type annotations..." or "Mypy is a ..."? > Mypy is essentially a Python linter on steroids, and it can catch many programming > +errors by analyzing your program, without actually having to run it. Mypy has a powerful > +type system with features such as type inference, gradual typing, generics and union > +types.") > + (license license:expat))) The LICENSE file contains this: "Portions of mypy are licensed under different licenses. The files under stdlib-samples are licensed under the PSF 2 License, reproduced below." Could you update the patch when you get an answer from upstream? Thanks for the patch. :) -- Cheers Swedebugia