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

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

[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

[bug#42396] [PATCH 2/2] gnu: Add python-mypy.

[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

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

[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

[bug#42395] [PATCH v2 2/2] gnu: Add python-mypy.

[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

[bug#42396] Acknowledgement ([PATCH 2/2] gnu: Add python-mypy.)

[Tanguy Le Carrour]

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

[bug#42395] Acknowledgement ([PATCH 1/2] gnu: Add python-mypy-extensions.)

[Tanguy Le Carrour]

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

bug#42395: Acknowledgement ([PATCH 1/2] gnu: Add python-mypy-extensions.)

[Marius Bakke]

[-- 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 --]

[bug#42395] Acknowledgement ([PATCH 1/2] gnu: Add python-mypy-extensions.)

[Tanguy Le Carrour]

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

bug#42396: [PATCH 2/2] gnu: Add python-mypy.

[Tanguy Le Carrour]

Replaced by #42465.

-- 
Tanguy

[bug#42395] Acknowledgement ([PATCH 1/2] gnu: Add python-mypy-extensions.)

[Marius Bakke]

[-- 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 --]