Re: Types and builds for mypy

Hi Phil, Phil writes: > Thanks for your reply Maxim, > > Maxim Cournoyer writes: > > >> Is MyPy the only consumer of Python type annotations? I think so, but >> I'm not sure. If it's the only one, it'd make sense to move mypy and >> all the annotation types to (gnu packages python-types), I th

Re: Types and builds for mypy

Thanks for your reply Maxim, Maxim Cournoyer writes: > Is MyPy the only consumer of Python type annotations? I think so, but > I'm not sure. If it's the only one, it'd make sense to move mypy and > all the annotation types to (gnu packages python-types), I think. Mypy is certainly a prominent

Re: Types and builds for mypy

Hi, Philip Beadling writes: > Hi all > > Users of mypy and python will have noticed since the promotion of mypy to v0. > 971 it is now neccesary to provide separate python packages containing types > of non core libraries. > > The way we've been collecting these, outside of Guix proper, is in

Types and builds for mypy

Hi all Users of mypy and python will have noticed since the promotion of mypy to v0. 971 it is now neccesary to provide separate python packages containing types of non core libraries. The way we've been collecting these, outside of Guix proper, is in a single module called python-types, which