GNU bug report logs - #42395
[PATCH 1/2] gnu: Add python-mypy-extensions.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 42395 in the body.
You can then email your comments to 42395 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Tanguy Le Carrour <tanguy <at> bioneland.org>
To: guix-patches <at> gnu.org
Cc: Tanguy Le Carrour <tanguy <at> bioneland.org>
Subject: [PATCH 1/2] gnu: Add python-mypy-extensions.
Date: Thu, 16 Jul 2020 16:34:43 +0200

* gnu/packages/python-check.scm (python-mypy-extensions): New variable.
---
 gnu/packages/python-check.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm
index 200bce6ced..819ce21e09 100644
--- a/gnu/packages/python-check.scm
+++ b/gnu/packages/python-check.scm
@@ -7,6 +7,7 @@
 ;;; Copyright © 2020 Julien Lepiller <julien <at> lepiller.eu>
 ;;; Copyright © 2020 Marius Bakke <mbakke <at> fastmail.com>
 ;;; Copyright © 2020 Edouard Klein <edk <at> beaver-labs.com>
+;;; Copyright © 2020 Tanguy Le Carrour <tanguy <at> bionelang.org>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -451,3 +452,22 @@ analysing code quality.")
     (description "This package provides a library for replying fake data to
 Python software under test, when they make an HTTP query.")
     (license license:asl2.0)))
+
+(define-public python-mypy-extensions
+  (package
+    (name "python-mypy-extensions")
+    (version "0.4.3")
+    (source
+      (origin
+        (method url-fetch)
+        (uri (pypi-uri "mypy_extensions" version))
+        (sha256
+         (base32
+          "1a04qsk8hd1lqns8w1j7cr0vmvbhg450di5k1i16kqxkbf7q30id"))))
+    (build-system python-build-system)
+    (arguments `(#:tests? #f)); no tests
+    (home-page "https://github.com/python/mypy_extensions")
+    (synopsis "Experimental extensions for MyPy.")
+    (description "The @code{python-mypy-extensions} module defines experimental
+extensions to the standard 'typing' module that are supported by the mypy typechecker.")
+    (license license:expat)))
-- 
2.27.0

Message #8 received at 42395 <at> debbugs.gnu.org (full text, mbox):

From: Tanguy Le Carrour <tanguy <at> bioneland.org>
To: 42395 <at> debbugs.gnu.org
Cc: Tanguy Le Carrour <tanguy <at> bioneland.org>
Subject: [PATCH v2 1/2] gnu: Add python-mypy-extensions.
Date: Thu, 16 Jul 2020 16:40:11 +0200

* gnu/packages/python-check.scm (python-mypy-extensions): New variable.
---
 gnu/packages/python-check.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm
index 200bce6ced..819ce21e09 100644
--- a/gnu/packages/python-check.scm
+++ b/gnu/packages/python-check.scm
@@ -7,6 +7,7 @@
 ;;; Copyright © 2020 Julien Lepiller <julien <at> lepiller.eu>
 ;;; Copyright © 2020 Marius Bakke <mbakke <at> fastmail.com>
 ;;; Copyright © 2020 Edouard Klein <edk <at> beaver-labs.com>
+;;; Copyright © 2020 Tanguy Le Carrour <tanguy <at> bionelang.org>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -451,3 +452,22 @@ analysing code quality.")
     (description "This package provides a library for replying fake data to
 Python software under test, when they make an HTTP query.")
     (license license:asl2.0)))
+
+(define-public python-mypy-extensions
+  (package
+    (name "python-mypy-extensions")
+    (version "0.4.3")
+    (source
+      (origin
+        (method url-fetch)
+        (uri (pypi-uri "mypy_extensions" version))
+        (sha256
+         (base32
+          "1a04qsk8hd1lqns8w1j7cr0vmvbhg450di5k1i16kqxkbf7q30id"))))
+    (build-system python-build-system)
+    (arguments `(#:tests? #f)); no tests
+    (home-page "https://github.com/python/mypy_extensions")
+    (synopsis "Experimental extensions for MyPy.")
+    (description "The @code{python-mypy-extensions} module defines experimental
+extensions to the standard 'typing' module that are supported by the mypy typechecker.")
+    (license license:expat)))
-- 
2.27.0

Message #11 received at 42395 <at> debbugs.gnu.org (full text, mbox):

From: Tanguy Le Carrour <tanguy <at> bioneland.org>
To: 42395 <at> debbugs.gnu.org
Cc: Tanguy Le Carrour <tanguy <at> bioneland.org>
Subject: [PATCH v2 2/2] gnu: Add python-mypy.
Date: Thu, 16 Jul 2020 16:40:12 +0200

* gnu/packages/python-check.scm (python-mypy): New variable.
---
 gnu/packages/python-check.scm | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm
index 819ce21e09..ee3e9fe76a 100644
--- a/gnu/packages/python-check.scm
+++ b/gnu/packages/python-check.scm
@@ -471,3 +471,29 @@ Python software under test, when they make an HTTP query.")
     (description "The @code{python-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.782")
+    (source
+      (origin
+        (method url-fetch)
+        (uri (pypi-uri "mypy" version))
+        (sha256
+         (base32
+          "030kn709515452n6gy2i1d9fg6fyrkmdz228lfpmbslybsld9xzg"))))
+    (build-system python-build-system)
+    (arguments `(#:tests? #f)); no tests
+    (propagated-inputs
+     `(("python-mypy-extensions" ,python-mypy-extensions)
+       ("python-typing-extensions" ,python-typing-extensions)
+       ("python-typed-ast" ,python-typed-ast)))
+    (home-page "http://www.mypy-lang.org/")
+    (synopsis "Optional static type checker for Python")
+    (description "Mypy is an optional static type checker for Python that aims
+to combine the benefits of dynamic (or 'duck') typing and static typing.  Mypy combines
+the expressive power and convenience of Python with a powerful type system and
+compile-time type checking.  Mypy type checks standard Python programs; run them using
+any Python VM with basically no runtime overhead.")
+    (license license:expat)))
-- 
2.27.0

Message #14 received at 42395 <at> debbugs.gnu.org (full text, mbox):

From: Tanguy Le Carrour <tanguy <at> bioneland.org>
To: 42395 <at> debbugs.gnu.org
Subject: Re: bug#42395: Acknowledgement ([PATCH 1/2] gnu: Add
 python-mypy-extensions.)
Date: Fri, 17 Jul 2020 10:39:40 +0200

Hi Guix!

I've just found out that there's already a bug report with a patch series
for `python-mypy`: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=35193.
But it's more than a year old now, and has never been closed.

So I guess you can close this bug (#42395) and I'll start again where
Jesse left off. This means I have to enable and fix mypy's tests… which will
end up in adding some more new packages.

I'll (properly) open a new bug report when the patch set is ready.

Sorry (again) for the noise!

-- 
Tanguy

Message #19 received at 42395-done <at> debbugs.gnu.org (full text, mbox):

From: Marius Bakke <marius <at> gnu.org>
To: Tanguy Le Carrour <tanguy <at> bioneland.org>, 42395-done <at> debbugs.gnu.org
Subject: Re: [bug#42395] Acknowledgement ([PATCH 1/2] gnu: Add
 python-mypy-extensions.)
Date: Tue, 21 Jul 2020 23:24:22 +0200

[Message part 1 (text/plain, inline)]

Tanguy Le Carrour <tanguy <at> bioneland.org> writes:

> Hi Guix!
>
> I've just found out that there's already a bug report with a patch series
> for `python-mypy`: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=35193.
> But it's more than a year old now, and has never been closed.
>
> So I guess you can close this bug (#42395) and I'll start again where
> Jesse left off. This means I have to enable and fix mypy's tests… which will
> end up in adding some more new packages.

Awesome, thanks!

Note that you can close bugs yourself by simply appending "-done" to the
bug ID, like I've done in this message.

[signature.asc (application/pgp-signature, inline)]

Message #22 received at 42395-done <at> debbugs.gnu.org (full text, mbox):

From: Tanguy Le Carrour <tanguy <at> bioneland.org>
To: Marius Bakke <marius <at> gnu.org>
Cc: 42395-done <at> debbugs.gnu.org
Subject: Re: [bug#42395] Acknowledgement ([PATCH 1/2] gnu: Add
 python-mypy-extensions.)
Date: Wed, 22 Jul 2020 07:44:49 +0200

Le 07/21, Marius Bakke a écrit :
> Note that you can close bugs yourself by simply appending "-done" to the
> bug ID, like I've done in this message.

Sorry, I didn't know! Thanks for closing it!
Does that mean that anybody can close any bug?!

-- 
Tanguy

Message #25 received at 42395-done <at> debbugs.gnu.org (full text, mbox):

From: Marius Bakke <marius <at> gnu.org>
To: Tanguy Le Carrour <tanguy <at> bioneland.org>
Cc: 42395-done <at> debbugs.gnu.org
Subject: Re: [bug#42395] Acknowledgement ([PATCH 1/2] gnu: Add
 python-mypy-extensions.)
Date: Sat, 25 Jul 2020 17:43:33 +0200

[Message part 1 (text/plain, inline)]

Tanguy Le Carrour <tanguy <at> bioneland.org> writes:

> Le 07/21, Marius Bakke a écrit :
>> Note that you can close bugs yourself by simply appending "-done" to the
>> bug ID, like I've done in this message.
>
> Sorry, I didn't know! Thanks for closing it!
> Does that mean that anybody can close any bug?!

Indeed.  Apparently spammers and script kiddies have better things to do
than mess with Debbugs, go figure.  :-)

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.