From unknown Thu Sep 11 15:11:07 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#35975 <35975@debbugs.gnu.org> To: bug#35975 <35975@debbugs.gnu.org> Subject: Status: [PATCH 43/47] gnu: Add python-mypy. Reply-To: bug#35975 <35975@debbugs.gnu.org> Date: Thu, 11 Sep 2025 22:11:07 +0000 retitle 35975 [PATCH 43/47] gnu: Add python-mypy. reassign 35975 guix-patches submitter 35975 "h.nasajpour" severity 35975 normal tag 35975 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Tue May 28 20:36:03 2019 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 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: **** X-Spam-Status: No, score=4.3 required=5.0 tests=BAYES_50,NO_DNS_FOR_FROM, RDNS_DYNAMIC,RECEIVED_FROM_WINDOWS_HOST,URIBL_BLOCKED autolearn=disabled version=3.3.2 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" To: guix-patches@gnu.org Subject: [PATCH 43/47] gnu: Add python-mypy. 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 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: Windows NT kernel [generic] X-Received-From: 37.59.236.227 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: -1.9 (-) X-Debbugs-Envelope-To: submit Cc: "h.nasajpour" X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.9 (--) * 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))) =20 +(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 "04h8brrbbx151dfa2cvvlnxgmb5wa00mhd2z7nd20s8kyibfk= q1p")))) + (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 =E2=80=9Cmypy_extensions=E2=80=9D module defines experimental = extensions to the standard =E2=80=9Ctyping=E2=80=9D module that are suppo= rted 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 "05479r3gbq17r22hyhxjg49smx5q864pgx8ayy23rsdj4w6z2= r2p")))) + (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 wit= h features such as type inference, + gradual typing, generics and union types.") + (license license:expat))) =20 --=20 2.17.1 From debbugs-submit-bounces@debbugs.gnu.org Tue Dec 10 01:42:44 2019 Received: (at 35975) by debbugs.gnu.org; 10 Dec 2019 06:42:44 +0000 Received: from localhost ([127.0.0.1]:54834 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ieZEG-00021W-Jf for submit@debbugs.gnu.org; Tue, 10 Dec 2019 01:42:44 -0500 Received: from mout02.posteo.de ([185.67.36.66]:57495) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ieZEE-00021K-RC for 35975@debbugs.gnu.org; Tue, 10 Dec 2019 01:42:40 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id E589F2400FB for <35975@debbugs.gnu.org>; Tue, 10 Dec 2019 07:42:32 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1575960152; bh=XTasl5v2pOpP5A4JRKYXW5+bkpFcr8uMx8eEbySkkAo=; h=From:To:Cc:Subject:Date:From; b=HIpaBsssdjAKeXrPxgqM2RTGYJWQzh/m6Q9aeU+Kj48GNp2QhvXY0zZs7MZ62DlXf nY6ZxMPwX9v+ZvJ7+pqrHKoHpvflXjUtREMK9TdOgumBv/rMR8Vasg7F2fn6bFrDaw XdrgicIWglkQ7Kh8jcKpZeqYC8HDNtQEXVfMUAxf+S6OXWJLlF2TUiv98I83K0gsIH KDhuAGYWUjEAcD85YsDaZf3dIr+qLbh/sMmsIJU8YX/UeJm4mQBkehuV9xy86Z0uBa S9c/qpJWnAiZETb4xjphmtJFWrVNWwirAmKAQzUXFpX5mHAuvsyO0BowpEfYu7ipWS z5kMQxAL31bjg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 47X9Tz3GRhz9rxW; Tue, 10 Dec 2019 07:42:31 +0100 (CET) From: Brett Gilio To: "h.nasajpour" Subject: Re: [bug#35975] [PATCH 43/47] gnu: Add python-mypy. References: <20190529003550.3213-1-h.nasajpour@pantherx.org> Date: Tue, 10 Dec 2019 00:42:30 -0600 In-Reply-To: <20190529003550.3213-1-h.nasajpour@pantherx.org> (h. nasajpour's message of "Wed, 29 May 2019 05:05:50 +0430") Message-ID: <87r21ck7ft.fsf@posteo.net> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 35975 Cc: 35975@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) "h.nasajpour" writes: > * 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))) >=20=20 > +(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 "04h8brrbbx151dfa2cvvlnxgmb5wa00mhd2z7nd20s8kyibfk= q1p")))) > + (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 =E2=80=9Cmypy_extensions=E2=80=9D module defines experimental = extensions to the standard =E2=80=9Ctyping=E2=80=9D module that are support= ed 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 "05479r3gbq17r22hyhxjg49smx5q864pgx8ayy23rsdj4w6z2= r2p")))) > + (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 wit= h features such as type inference, > + gradual typing, generics and union types.") > + (license license:expat))) Hi, This package requires a few revisions before it can be merged to master. If you could separate the packages out either as separate patches in a series or by having the extensions package as a native input defined inline of the `python-mypy' package that would be terrific! Additionally, there are several issues with indentation. Generally we do not like open and close parenthesis along on lines by themselves. Additionally there are some issues with your description. Make sure to run `guix lint` to catch some of these issues. Lastly, this package has a new version upstream. If you need help let me know! Thanks! --=20 Brett M. Gilio Homepage -- https://scm.pw/ GNU Guix -- https://guix.gnu.org/ From debbugs-submit-bounces@debbugs.gnu.org Thu Apr 07 09:11:30 2022 Received: (at 35975-done) by debbugs.gnu.org; 7 Apr 2022 13:11:30 +0000 Received: from localhost ([127.0.0.1]:60187 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ncRv8-0000EF-CI for submit@debbugs.gnu.org; Thu, 07 Apr 2022 09:11:30 -0400 Received: from mail-wr1-f48.google.com ([209.85.221.48]:33560) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ncRv5-0000Dl-Lw for 35975-done@debbugs.gnu.org; Thu, 07 Apr 2022 09:11:29 -0400 Received: by mail-wr1-f48.google.com with SMTP id c7so7873289wrd.0 for <35975-done@debbugs.gnu.org>; Thu, 07 Apr 2022 06:11:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=YH5lNAzvp5yecTqAHEmvFWE/165swwDmba/jMY1PlIA=; b=bFB32+pPwKAvX6F2tIRPeMG4l2U+ci9RGH7EWBv0MGoh/jiRXau1pZoyBdAi/ywSCI XnnqUgGfBcQXmbvFvZuQIuCG4sWn49EgnHiajx9Ps35vRSD5vKDOrUxvNIgDJaC8fA0c ePJisPI/GubJzJKMYfBh8oaw44mh3+ezKIUKdV8z0KaA4a9zD6e5suASBT8ogAf3YxE+ xKu8EozE+vyVPr4QgUCfvQb4ivzq55gH9NLRGEjgHKMgfY+JWEGpyUwuZ6x9Dv2ijw0p v5CKGD1E6gcVZDNdmv70WRvWmqWNZE+He4fZH9VIv7k21WhoKqNId3uKL/NAFDySyFzL Gscg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=YH5lNAzvp5yecTqAHEmvFWE/165swwDmba/jMY1PlIA=; b=pwsu4VqGvDFE7B26c4aRmGBNeWAo3z37g79h244/7gb5il0zVvGT0bzhKp9xA4v/iY 8i+lJ6kD+hWyd6tDJpToWQm9WGPik9tsXsgFJenEvhfu3dJcepFm2HIRagRxsKIcZns7 K4ngqrT5E06imkybDQOnEEhXF3sFyoloVPP9ibHrNaMkFpZb0NXmC9xD980R2AwQWTiy 6Gf7kD61e8HZW7+3lmP4x9/2puUimJEQu0/2wVEVZShFB8Z5LnONevIGUZ1zIOR/t3p1 A6qN6N2cBC3Qpk+gmw82ce7rSa4mtYBljeetPdGCJgSftP+MZN6cs00T7HAYiyElk6FP CmMA== X-Gm-Message-State: AOAM532aABQABqQyuobXmzyDqC39o6jQfqjLo1d44H7hj+pgGFu0+31Y tAjOKbWutN/4Xo6xdewuNT6OAdBViDE= X-Google-Smtp-Source: ABdhPJxCdFt3I97cXq0Oj7slLewhe4gOqWkM+j/J33Lyh2smlm0PYOAbmcMjjWlSDHGNwZdEAn24Gg== X-Received: by 2002:a5d:64eb:0:b0:205:d418:4798 with SMTP id g11-20020a5d64eb000000b00205d4184798mr10927606wri.11.1649337081995; Thu, 07 Apr 2022 06:11:21 -0700 (PDT) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id s17-20020adfdb11000000b001f02d5fea43sm17466065wri.98.2022.04.07.06.11.21 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 07 Apr 2022 06:11:21 -0700 (PDT) From: zimoun To: "h.nasajpour" Subject: Re: bug#35975: [PATCH 43/47] gnu: Add python-mypy. References: <20190529003550.3213-1-h.nasajpour@pantherx.org> Date: Thu, 07 Apr 2022 15:04:48 +0200 In-Reply-To: <20190529003550.3213-1-h.nasajpour@pantherx.org> (h. nasajpour's message of "Wed, 29 May 2019 05:05:50 +0430") Message-ID: <86wng111u7.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-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 35975-done Cc: 35975-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi, Thanks for your submission. Guix currently provides MyPy added by 4fae4f9aab806451535db032b43cba558668cf64 therefore I am closing. On Wed, 29 May 2019 at 05:05, "h.nasajpour" wrote: > +(define-public python-mypy > + (package > + (name "python-mypy") > + (version "0.701") --8<---------------cut here---------------start------------->8--- $ guix show python-mypy | recsel -p name,version name: python-mypy version: 0.931 --8<---------------cut here---------------end--------------->8--- Cheers, simon From unknown Thu Sep 11 15:11:07 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 06 May 2022 11:24:08 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator