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