all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* [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.