* [bug#42395] [PATCH 1/2] gnu: Add python-mypy-extensions.
@ 2020-07-16 14:34 Tanguy Le Carrour
2020-07-16 14:34 ` [bug#42396] [PATCH 2/2] gnu: Add python-mypy Tanguy Le Carrour
` (2 more replies)
0 siblings, 3 replies; 10+ messages in thread
From: Tanguy Le Carrour @ 2020-07-16 14:34 UTC (permalink / raw)
To: 42395; +Cc: Tanguy Le Carrour
* 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@lepiller.eu>
;;; Copyright © 2020 Marius Bakke <mbakke@fastmail.com>
;;; Copyright © 2020 Edouard Klein <edk@beaver-labs.com>
+;;; Copyright © 2020 Tanguy Le Carrour <tanguy@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
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [bug#42396] [PATCH 2/2] gnu: Add python-mypy.
2020-07-16 14:34 [bug#42395] [PATCH 1/2] gnu: Add python-mypy-extensions Tanguy Le Carrour
@ 2020-07-16 14:34 ` Tanguy Le Carrour
[not found] ` <handler.42396.B.159491011027203.ack@debbugs.gnu.org>
2020-07-22 12:02 ` bug#42396: [PATCH 2/2] gnu: Add python-mypy Tanguy Le Carrour
2020-07-16 14:40 ` [bug#42395] [PATCH v2 1/2] gnu: Add python-mypy-extensions Tanguy Le Carrour
[not found] ` <handler.42395.B.159491010827194.ack@debbugs.gnu.org>
2 siblings, 2 replies; 10+ messages in thread
From: Tanguy Le Carrour @ 2020-07-16 14:34 UTC (permalink / raw)
To: 42396; +Cc: Tanguy Le Carrour
* 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
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [bug#42395] [PATCH v2 1/2] gnu: Add python-mypy-extensions.
2020-07-16 14:34 [bug#42395] [PATCH 1/2] gnu: Add python-mypy-extensions Tanguy Le Carrour
2020-07-16 14:34 ` [bug#42396] [PATCH 2/2] gnu: Add python-mypy Tanguy Le Carrour
@ 2020-07-16 14:40 ` Tanguy Le Carrour
2020-07-16 14:40 ` [bug#42395] [PATCH v2 2/2] gnu: Add python-mypy Tanguy Le Carrour
[not found] ` <handler.42395.B.159491010827194.ack@debbugs.gnu.org>
2 siblings, 1 reply; 10+ messages in thread
From: Tanguy Le Carrour @ 2020-07-16 14:40 UTC (permalink / raw)
To: 42395; +Cc: Tanguy Le Carrour
* 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@lepiller.eu>
;;; Copyright © 2020 Marius Bakke <mbakke@fastmail.com>
;;; Copyright © 2020 Edouard Klein <edk@beaver-labs.com>
+;;; Copyright © 2020 Tanguy Le Carrour <tanguy@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
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [bug#42395] [PATCH v2 2/2] gnu: Add python-mypy.
2020-07-16 14:40 ` [bug#42395] [PATCH v2 1/2] gnu: Add python-mypy-extensions Tanguy Le Carrour
@ 2020-07-16 14:40 ` Tanguy Le Carrour
0 siblings, 0 replies; 10+ messages in thread
From: Tanguy Le Carrour @ 2020-07-16 14:40 UTC (permalink / raw)
To: 42395; +Cc: Tanguy Le Carrour
* 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
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [bug#42396] Acknowledgement ([PATCH 2/2] gnu: Add python-mypy.)
[not found] ` <handler.42396.B.159491011027203.ack@debbugs.gnu.org>
@ 2020-07-16 14:43 ` Tanguy Le Carrour
0 siblings, 0 replies; 10+ messages in thread
From: Tanguy Le Carrour @ 2020-07-16 14:43 UTC (permalink / raw)
To: 42396
Hi Guix!
Sorry, I submitted a patch series, but I failed to open only one bug!
I've just sent a v2 with the 2 patches to #42395, so this on can be closed!
Sorry for the noise!
--
Tanguy
^ permalink raw reply [flat|nested] 10+ messages in thread
* [bug#42395] Acknowledgement ([PATCH 1/2] gnu: Add python-mypy-extensions.)
[not found] ` <handler.42395.B.159491010827194.ack@debbugs.gnu.org>
@ 2020-07-17 8:39 ` Tanguy Le Carrour
2020-07-21 21:24 ` bug#42395: " Marius Bakke
0 siblings, 1 reply; 10+ messages in thread
From: Tanguy Le Carrour @ 2020-07-17 8:39 UTC (permalink / raw)
To: 42395
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
^ permalink raw reply [flat|nested] 10+ messages in thread
* bug#42395: Acknowledgement ([PATCH 1/2] gnu: Add python-mypy-extensions.)
2020-07-17 8:39 ` [bug#42395] Acknowledgement ([PATCH 1/2] gnu: Add python-mypy-extensions.) Tanguy Le Carrour
@ 2020-07-21 21:24 ` Marius Bakke
2020-07-22 5:44 ` [bug#42395] " Tanguy Le Carrour
0 siblings, 1 reply; 10+ messages in thread
From: Marius Bakke @ 2020-07-21 21:24 UTC (permalink / raw)
To: Tanguy Le Carrour, 42395-done
[-- Attachment #1: Type: text/plain, Size: 623 bytes --]
Tanguy Le Carrour <tanguy@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.
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]
^ permalink raw reply [flat|nested] 10+ messages in thread
* [bug#42395] Acknowledgement ([PATCH 1/2] gnu: Add python-mypy-extensions.)
2020-07-21 21:24 ` bug#42395: " Marius Bakke
@ 2020-07-22 5:44 ` Tanguy Le Carrour
2020-07-25 15:43 ` Marius Bakke
0 siblings, 1 reply; 10+ messages in thread
From: Tanguy Le Carrour @ 2020-07-22 5:44 UTC (permalink / raw)
To: Marius Bakke; +Cc: 42395-done
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
^ permalink raw reply [flat|nested] 10+ messages in thread
* bug#42396: [PATCH 2/2] gnu: Add python-mypy.
2020-07-16 14:34 ` [bug#42396] [PATCH 2/2] gnu: Add python-mypy Tanguy Le Carrour
[not found] ` <handler.42396.B.159491011027203.ack@debbugs.gnu.org>
@ 2020-07-22 12:02 ` Tanguy Le Carrour
1 sibling, 0 replies; 10+ messages in thread
From: Tanguy Le Carrour @ 2020-07-22 12:02 UTC (permalink / raw)
To: 42396-done
Replaced by #42465.
--
Tanguy
^ permalink raw reply [flat|nested] 10+ messages in thread
* [bug#42395] Acknowledgement ([PATCH 1/2] gnu: Add python-mypy-extensions.)
2020-07-22 5:44 ` [bug#42395] " Tanguy Le Carrour
@ 2020-07-25 15:43 ` Marius Bakke
0 siblings, 0 replies; 10+ messages in thread
From: Marius Bakke @ 2020-07-25 15:43 UTC (permalink / raw)
To: Tanguy Le Carrour; +Cc: 42395-done
[-- Attachment #1: Type: text/plain, Size: 429 bytes --]
Tanguy Le Carrour <tanguy@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. :-)
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2020-07-25 15:44 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-07-16 14:34 [bug#42395] [PATCH 1/2] gnu: Add python-mypy-extensions Tanguy Le Carrour
2020-07-16 14:34 ` [bug#42396] [PATCH 2/2] gnu: Add python-mypy Tanguy Le Carrour
[not found] ` <handler.42396.B.159491011027203.ack@debbugs.gnu.org>
2020-07-16 14:43 ` [bug#42396] Acknowledgement ([PATCH 2/2] gnu: Add python-mypy.) Tanguy Le Carrour
2020-07-22 12:02 ` bug#42396: [PATCH 2/2] gnu: Add python-mypy Tanguy Le Carrour
2020-07-16 14:40 ` [bug#42395] [PATCH v2 1/2] gnu: Add python-mypy-extensions Tanguy Le Carrour
2020-07-16 14:40 ` [bug#42395] [PATCH v2 2/2] gnu: Add python-mypy Tanguy Le Carrour
[not found] ` <handler.42395.B.159491010827194.ack@debbugs.gnu.org>
2020-07-17 8:39 ` [bug#42395] Acknowledgement ([PATCH 1/2] gnu: Add python-mypy-extensions.) Tanguy Le Carrour
2020-07-21 21:24 ` bug#42395: " Marius Bakke
2020-07-22 5:44 ` [bug#42395] " Tanguy Le Carrour
2020-07-25 15:43 ` Marius Bakke
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.