From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id WMfbMSTfZ2DpYAAAgWs5BA (envelope-from ) for ; Sat, 03 Apr 2021 05:21:08 +0200 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 QDYDLCTfZ2AkaAAAB5/wlQ (envelope-from ) for ; Sat, 03 Apr 2021 03:21: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 D0520EB0E for ; Sat, 3 Apr 2021 05:21:07 +0200 (CEST) Received: from localhost ([::1]:58170 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lSWqQ-0000xh-Hy for larch@yhetil.org; Fri, 02 Apr 2021 23:21:06 -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 1lSWqM-0000xV-Np for guix-patches@gnu.org; Fri, 02 Apr 2021 23:21:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:49740) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lSWqM-0003ox-GX for guix-patches@gnu.org; Fri, 02 Apr 2021 23:21:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lSWqM-0004NY-CD for guix-patches@gnu.org; Fri, 02 Apr 2021 23:21:02 -0400 Subject: bug#35193: [PATCH 0/3] Add python-mypy and required packages Resent-From: Maxim Cournoyer Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Sat, 03 Apr 2021 03:21:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 35193 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: wednesday Cc: swedebugia , 35193-done@debbugs.gnu.org Mail-Followup-To: 35193@debbugs.gnu.org, maxim.cournoyer@gmail.com, JesseJohnGildersleve@protonmail.com Received: via spool by 35193-done@debbugs.gnu.org id=D35193.161742003516772 (code D ref 35193); Sat, 03 Apr 2021 03:21:02 +0000 Received: (at 35193-done) by debbugs.gnu.org; 3 Apr 2021 03:20:35 +0000 Received: from localhost ([127.0.0.1]:33051 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lSWpv-0004MS-63 for submit@debbugs.gnu.org; Fri, 02 Apr 2021 23:20:35 -0400 Received: from mail-qt1-f180.google.com ([209.85.160.180]:44749) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lSWpt-0004MD-LQ for 35193-done@debbugs.gnu.org; Fri, 02 Apr 2021 23:20:34 -0400 Received: by mail-qt1-f180.google.com with SMTP id y12so4862445qtx.11 for <35193-done@debbugs.gnu.org>; Fri, 02 Apr 2021 20:20:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=YGAZdXdSSYzN3ql/Q775pkOa09utA8W4mAQdmLiGuno=; b=i2u4V9I9y6yC1Kjw61C+1CiADnFJ2V8CSJZgjIlcnlNJDLjc7DfWq3cM+3CmEUAUyP gXuqqFdK2tYA937czcxkF7ZysPXIJT1HQ8Nxec5FO5vMy4Yk4hq6tfj2fClEq8BF8eyD n7FFUhhpYcklMMwibsNYVqodEqnB2ojxfmDQ+mkYBoQ2w89NtQyafio2dRdD9OKj9X9c kzs0QXxlOoZiYqeAFzktXF/EZR0xlxtloZeMaV7idU58FXGqQkI8Wo417j0/aKtEOHaW tCSKvGemO3qMkxaY+bLMdGSXC9amTbNHbElnovn2X4dIikEFFYKJ+oxpoD9Lh1hM+qF+ YKcg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=YGAZdXdSSYzN3ql/Q775pkOa09utA8W4mAQdmLiGuno=; b=NphSYtTTtNEqbHqCtNAyvSTOYy2GOw87Z6+TBLURTkInGjushbqx6Itd0HYyvfTgYN 7tagl0ezaOesJ77XWSWca95efdCMF/hbuURfrYUCn4ra5DMGMlSNETB+p0dyU6J9QC1s Bcm6QXgWEhFadNCRodvnTGBwGkNDA50Dv52KSwwe8l02zTo40LzBXhrD/LF8NPHPyxvY rZzmaI0hwTsjb7xzCouvbvya3kOTxfKSZK1ndQd2ZKGMGYzT6ntpVGqOK3U4ck+vO9pU yJx42admcGOwKG0Ult16eHJ4v0xuRexXeYffMfkYTJ3J+NZp8SZOD6hnYTm5QVB5w55z Q8Rg== X-Gm-Message-State: AOAM530/mPtcNqgH5xzK+Wsspe63Ra3fV9g2qxTR4ATj73NhwzGr9jsj UWljpUL9sse3tJcesB/yI+U= X-Google-Smtp-Source: ABdhPJzPcVcC2YIMhXq2Uhylzow8jGNQBDE2ztDWG9eT6pBAJFgM04yfWI9EbmasmvyuSpBfpH3YBg== X-Received: by 2002:ac8:4b6d:: with SMTP id g13mr14010275qts.369.1617420028044; Fri, 02 Apr 2021 20:20:28 -0700 (PDT) Received: from hurd (dsl-10-133-254.b2b2c.ca. [72.10.133.254]) by smtp.gmail.com with ESMTPSA id d14sm9102584qkg.33.2021.04.02.20.20.27 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 02 Apr 2021 20:20:27 -0700 (PDT) From: Maxim Cournoyer References: <20190430152914.13616-1-jessejohngildersleve@zohomail.eu> <20190430152914.13616-4-jessejohngildersleve@zohomail.eu> <74772c08-9903-6e23-357c-5928517ca53f@riseup.net> Date: Fri, 02 Apr 2021 23:20:21 -0400 In-Reply-To: <74772c08-9903-6e23-357c-5928517ca53f@riseup.net> (swedebugia@riseup.net's message of "Thu, 27 Jun 2019 16:11:07 +0200") Message-ID: <87o8ewqcju.fsf_-_@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1617420068; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-to:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=YGAZdXdSSYzN3ql/Q775pkOa09utA8W4mAQdmLiGuno=; b=eb4BWhDTdyQlnJBuBXrwo85o+gZbwLhu4fyzLL2I75fg0NIUcPfGBDawZmvUE0Z+6ZiRO7 fUJEqugwlV5ZeUXDKoZjNUZ6gql4k+Bkc3GhoC7Pi2Gqd5Enr8cDs6tvLfOYkltw9/fajE GJm1C6jCKUWxhI/kih80QLzKLkZsyiEqaiPD4GtbCUV4qzZr/yF+mfYayux2HvHWAnhDtN z9V4alybbKAxFdrBN/JTRbP/GIw2F4GLJU7kqVDw1w/IImJAP/1KbelQ8vRPMx9/x2y44T o5drMYSQOG5zg0zbYTNcOpSd78h93wzmlLVYp9d68tIs/k0ZcBu/AS9et4zWkg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1617420068; a=rsa-sha256; cv=none; b=KVienm2wScGpF8whHZ6bTP0+SUQdvMwdB2QEXuEfc+Oe07vQXvTBL254WtWMV2/2LMqpuN u66TwL8olH37VszFMjkpVS7OeC3CeTSIyX7os5mg7ZdbhCCOhwJcVB2wEu+cVdMaOQJmr9 xFHycMLJyOU7dIgVEUMLOxfh7zHgAgl1EC4vmHnoCDEun8y9S+N0dXxbt45Om/bEkw/x8/ hHoZ0doQN7ubPivlkAgRrVGMVrR9e0aTQsp9ra+c13VQFR9f5bLS3JXneU3AV2JVNP9sK1 icrrAWuS4RH1c63Z7OssamMFK3cFxG1uFKJUbWXIrGtJ8zenahNOD1LaS1MzFw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20161025 header.b=i2u4V9I9; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=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-Migadu-Spam-Score: -1.33 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20161025 header.b=i2u4V9I9; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=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-Migadu-Queue-Id: D0520EB0E X-Spam-Score: -1.33 X-Migadu-Scanner: scn0.migadu.com X-TUID: r8YbaFHDOQaP Hi! swedebugia writes: > 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. :) It seems python-mypy and the required dependencies were merged (last year) from another contributor that probably had failed to notice about them here. Thank you nonetheless, and thanks to swedebugia for the review! Closing. Maxim