From patchwork Wed May 29 00:35:50 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Hamzeh Nasajpour X-Patchwork-Id: 14126 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id C8A3017052; Wed, 29 May 2019 01:37:07 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 6A02517050 for ; Wed, 29 May 2019 01:37:07 +0100 (BST) Received: from localhost ([127.0.0.1]:44788 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hVmaY-0000OS-Uj for patchwork@mira.cbaines.net; Tue, 28 May 2019 20:37:06 -0400 Received: from eggs.gnu.org ([209.51.188.92]:40869) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hVmaV-0000Mq-IS for guix-patches@gnu.org; Tue, 28 May 2019 20:37:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hVmaU-0001uK-F1 for guix-patches@gnu.org; Tue, 28 May 2019 20:37:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:44217) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hVmaU-0001u5-Ay for guix-patches@gnu.org; Tue, 28 May 2019 20:37:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hVmaU-0006AJ-7J for guix-patches@gnu.org; Tue, 28 May 2019 20:37:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#35975] [PATCH 43/47] gnu: Add python-mypy. Resent-From: "h.nasajpour" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 29 May 2019 00:37:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 35975 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35975@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.155909016323577 (code B ref -1); Wed, 29 May 2019 00:37:02 +0000 Received: (at submit) by debbugs.gnu.org; 29 May 2019 00:36:03 +0000 Received: from localhost ([127.0.0.1]:57748 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hVmZX-000687-6Z for submit@debbugs.gnu.org; Tue, 28 May 2019 20:36:03 -0400 Received: from eggs.gnu.org ([209.51.188.92]:54414) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hVmZU-00067C-Ky for submit@debbugs.gnu.org; Tue, 28 May 2019 20:36:00 -0400 Received: from lists.gnu.org ([209.51.188.17]:52871) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hVmZP-00014y-Ds for submit@debbugs.gnu.org; Tue, 28 May 2019 20:35:55 -0400 Received: from eggs.gnu.org ([209.51.188.92]:40544) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hVmZO-0007tw-13 for guix-patches@gnu.org; Tue, 28 May 2019 20:35:55 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hVmZM-00012q-OH for guix-patches@gnu.org; Tue, 28 May 2019 20:35:53 -0400 Received: from 37.59.236.227.rdns.hasaserver.com ([37.59.236.227]:55889 helo=hamzeh-VirtualBox.Home) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hVmZM-000123-6S for guix-patches@gnu.org; Tue, 28 May 2019 20:35:52 -0400 Received: by hamzeh-VirtualBox.Home (Postfix, from userid 0) id B582B1A154B; Wed, 29 May 2019 05:05:51 +0430 (+0430) From: "h.nasajpour" Date: Wed, 29 May 2019 05:05:50 +0430 Message-Id: <20190529003550.3213-1-h.nasajpour@pantherx.org> X-Mailer: git-send-email 2.17.1 In-Reply-To: References: MIME-Version: 1.0 X-detected-operating-system: by eggs.gnu.org: Windows NT kernel [generic] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: "h.nasajpour" Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python-xyz.scm (python-mypy): New variable * gnu/packages/python-xyz.scm (python-mypy_extensions): New variable --- gnu/packages/python-xyz.scm | 41 +++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 93783d17ee..298a59f59f 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -15495,4 +15495,45 @@ by Igor Pavlov.") as they are based on the CPython 2.7 and 3.6 parsers.") (license license:expat))) +(define-public python-mypy_extensions + (package + (name "python-mypy_extensions") + (version "0.4.1") + (source (origin + (method url-fetch) + (uri (pypi-uri "mypy_extensions" version)) + (sha256 (base32 "04h8brrbbx151dfa2cvvlnxgmb5wa00mhd2z7nd20s8kyibfkq1p")))) + (build-system python-build-system) + (arguments + `(#:tests? #f)) + (home-page "http://www.mypy-lang.org/") + (synopsis "Experimental type system extensions for programs checked with the mypy typechecker.") + (description + "The “mypy_extensions” module defines experimental extensions to the standard “typing” module that are supported by the mypy typechecker..") + (license license:expat))) + +(define-public python-mypy + (package + (name "python-mypy") + (version "0.701") + (source (origin + (method url-fetch) + (uri (pypi-uri "mypy" version)) + (sha256 (base32 "05479r3gbq17r22hyhxjg49smx5q864pgx8ayy23rsdj4w6z2r2p")))) + (build-system python-build-system) + (arguments + `(#:tests? #f)) + (inputs `( + ("python-typed-ast" , python-typed-ast) + ("python-mypy_extensions" , python-mypy_extensions) + ("python-typed-ast" , python-typed-ast) + )) + (home-page "http://www.mypy-lang.org/") + (synopsis "Optional static typing for Python (mypyc-compiled version)") + (description + "Add type annotations to your Python programs, and use mypy to type check them. + Mypy is essentially a Python linter on steroids, and it can catch many programming errors by analyzing your program, + without actually having to run it. Mypy has a powerful type system with features such as type inference, + gradual typing, generics and union types.") + (license license:expat)))