GNU bug report logs - #42465
[PATCH 00/10] gnu: Add python-mypy.

Previous Next

Full log

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

From: Marius Bakke <marius <at> gnu.org>
To: Tanguy Le Carrour <tanguy <at> bioneland.org>, 42465 <at> debbugs.gnu.org
Cc: Tanguy Le Carrour <tanguy <at> bioneland.org>
Subject: Re: [bug#42465] [PATCH 03/10] gnu: Add python-mypy-extensions.
Date: Sat, 25 Jul 2020 17:55:27 +0200

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

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

> * gnu/packages/python-check.scm (python-mypy-extensions): New variable.

[...]

> +(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.")
                                                 ^^^
No '.'.   --------->

> +    (description "The @code{python-mypy-extensions} module defines experimental
> +extensions to the standard 'typing' module that are supported by the mypy typechecker.")

@code{typing}.  Also try to keep description lines shorter than 78
characters.  This should probably also say 'MyPy' (capitalized)?

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