From patchwork Tue Apr 30 15:29:14 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: wednesday X-Patchwork-Id: 13822 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 D00B616F7B; Tue, 30 Apr 2019 16:47:32 +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,T_DKIM_INVALID, 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 58F4E16F79 for ; Tue, 30 Apr 2019 16:47:32 +0100 (BST) Received: from localhost ([127.0.0.1]:48856 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hLUyh-0003BW-DP for patchwork@mira.cbaines.net; Tue, 30 Apr 2019 11:47:31 -0400 Received: from eggs.gnu.org ([209.51.188.92]:48195) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hLUuk-0007jk-8m for guix-patches@gnu.org; Tue, 30 Apr 2019 11:43:28 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hLUhp-0001V8-80 for guix-patches@gnu.org; Tue, 30 Apr 2019 11:30:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:56845) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hLUhp-0001V3-4c for guix-patches@gnu.org; Tue, 30 Apr 2019 11:30:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hLUhp-0001w9-1C for guix-patches@gnu.org; Tue, 30 Apr 2019 11:30:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#35193] [PATCH v2 3/3] gnu: Add python-mypy Resent-From: wednesday Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 30 Apr 2019 15:30:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35193 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35193@debbugs.gnu.org Received: via spool by 35193-submit@debbugs.gnu.org id=B35193.15566381777364 (code B ref 35193); Tue, 30 Apr 2019 15:30:04 +0000 Received: (at 35193) by debbugs.gnu.org; 30 Apr 2019 15:29:37 +0000 Received: from localhost ([127.0.0.1]:42153 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hLUhM-0001uc-R9 for submit@debbugs.gnu.org; Tue, 30 Apr 2019 11:29:37 -0400 Received: from sender-pp-o92.zoho.eu ([185.20.209.252]:25314) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hLUhJ-0001uR-K0 for 35193@debbugs.gnu.org; Tue, 30 Apr 2019 11:29:33 -0400 ARC-Seal: i=1; a=rsa-sha256; t=1556638171; cv=none; d=zohomail.eu; s=zohoarc; b=X5uAS5RLVkJ5itLMc/z+rVgF+TqtPdF3qiQMfzC+Mmhm36HAdQJggWjjeW1gxAyc6UcGnHM2ePbFNZ+m2o3gUkfZRuEn1xAwA1lodzZ0UrLDkgcJOHhw3gLnBxX5/fGjSDEuhehSVVykY/9MYqddOO7+OnIWkpitJuvWCSaNWXc= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.eu; s=zohoarc; t=1556638171; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To:ARC-Authentication-Results; bh=DIaYpyu/aeeA2M085u71dKATVEGi3E9vq8yQYUfakTo=; b=KtonfQOidkM8bCctOl7AqbhGThg7vR8gG7JC5S3Zfv+DuFn3sV5mCV6W2Wwg8KkdQN9h/OHD8ENU84WzpFzOxpsETtAv2gs5XCZfO86QU4McD+H4RiHOC8KZUskebBuhHMHQde6JYTOOGeRv4rvoIU7JtxPkDT8YPI7sQmpJohc= ARC-Authentication-Results: i=1; mx.zohomail.eu; dkim=pass header.i=zohomail.eu; spf=pass smtp.mailfrom=jessejohngildersleve@zohomail.eu; dmarc=pass header.from= header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1556638171; s=zoho; d=zohomail.eu; i=jessejohngildersleve@zohomail.eu; h=From:To:Cc:Message-ID:Subject:Date:In-Reply-To:References:MIME-Version:Content-Transfer-Encoding:Content-Type; l=1606; bh=DIaYpyu/aeeA2M085u71dKATVEGi3E9vq8yQYUfakTo=; b=smycAcKjYq2NHfWY0sybeQnRfSaDFHkOr7PneJddldTLJXtRoEWuUjUeyy0kJ3Ym HHcm/yaJNbEqMZrFVwsa+i4M+WeZsMhDJ8aJTBPwsqV5fN1LSuZhlKvdvlnPA0OX54z 6eCYGtuHrvrMynOdJ2VOws5RzJONrlEwdHYyUT9s= Received: from wed.pc.home (cpc132926-bary5-2-0-cust58.know.cable.virginm.net [80.0.110.59]) by mx.zoho.eu with SMTPS id 1556638169323583.7287295348059; Tue, 30 Apr 2019 17:29:29 +0200 (CEST) From: wednesday Message-ID: <20190430152914.13616-4-jessejohngildersleve@zohomail.eu> Date: Tue, 30 Apr 2019 16:29:14 +0100 X-Mailer: git-send-email 2.21.0 In-Reply-To: <20190430152914.13616-1-jessejohngildersleve@zohomail.eu> References: <20190430152914.13616-1-jessejohngildersleve@zohomail.eu> MIME-Version: 1.0 X-ZohoMailClient: External 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: wednesday 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 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% + (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. 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)))