Tested with python-3.4 and a simple file: $ python3 --version Python 3.4.3 test.py: #!/usr/bin/env python3 import typing def foo() -> int: return "" print("Hello!") With Mypy installed through emerge =mypy-0.4.4: $ mypy test.py test.py: error: Name '__builtins__' is not defined test.py:1: error: Cannot find module named 'builtins' test.py:1: note: (Perhaps setting MYPYPATH or using the "--silent-imports" flag would help) test.py:2: error: No library stub file for standard library module 'typing' test.py:2: note: (Stub files are from https://github.com/python/typeshed) test.py: note: In function "foo": test.py:4: error: Name 'int' is not defined test.py:4: error: INTERNAL ERROR -- please report a bug at https://github.com/python/mypy/issues testtyping.py:4: note: please use --show-traceback to print a traceback when reporting a bug Mypy-0.4.2 crashed with a different message, but in the end it was a stack trace showing that builtins were not found. Uninstalled mypy, installed pip, did: $ pip install mypy-lang $ mypy test.py test.py: note: In function "foo": test.py:5: error: Incompatible return value type (got "str", expected "int") (This is the expected output) As far as I could find out the ebuild did not install required stubs/whatever. /usr/lib/mypy only contained a directory xml after being installed with emerge. Now, as installed with pip, it also contains a directory typeshed. The system is up to date (emerge --update --deep --newuse world) emerge --info: Portage 2.3.0 (python 3.4.3-final-0, default/linux/amd64/13.0, gcc-4.9.3, glibc-2.22-r4, 4.8.1 x86_64) ================================================================= System uname: Linux-4.8.1-x86_64-AMD_FX-tm-8350_Eight-Core_Processor-with-gentoo-2.2 KiB Mem: 24655100 total, 12904880 free KiB Swap: 0 total, 0 free Timestamp of repository gentoo: Wed, 12 Oct 2016 10:30:01 +0000 sh bash 4.3_p48 ld GNU ld (Gentoo 2.25.1 p1.1) 2.25.1 app-shells/bash: 4.3_p48::gentoo dev-java/java-config: 2.2.0-r3::gentoo dev-lang/perl: 5.22.2::gentoo dev-lang/python: 2.7.10-r1::gentoo, 3.4.3-r1::gentoo, 3.5.1-r3::gentoo dev-util/cmake: 3.5.2-r1::gentoo dev-util/pkgconfig: 0.28-r2::gentoo sys-apps/baselayout: 2.2::gentoo sys-apps/openrc: 0.21.7::gentoo sys-apps/sandbox: 2.10-r1::gentoo sys-devel/autoconf: 2.13::gentoo, 2.69::gentoo sys-devel/automake: 1.11.6-r1::gentoo, 1.12.6::gentoo, 1.14.1::gentoo, 1.15::gentoo sys-devel/binutils: 2.25.1-r1::gentoo sys-devel/gcc: 4.9.3::gentoo sys-devel/gcc-config: 1.7.3::gentoo sys-devel/libtool: 2.4.6::gentoo sys-devel/make: 4.1-r1::gentoo sys-kernel/linux-headers: 4.3::gentoo (virtual/os-headers) sys-libs/glibc: 2.22-r4::gentoo Repositories: gentoo location: /usr/portage sync-type: rsync sync-uri: rsync://rsync.gentoo.org/gentoo-portage priority: -1000 Custom location: /usr/local/portage masters: gentoo vmware location: /var/lib/layman/vmware masters: gentoo priority: 50 Installed sets: @mysystem ACCEPT_KEYWORDS="amd64" ACCEPT_LICENSE="* -@EULA" CBUILD="x86_64-pc-linux-gnu" CFLAGS="-march=native -O2 -pipe" CHOST="x86_64-pc-linux-gnu" CONFIG_PROTECT="/etc /usr/share/config /usr/share/gnupg/qualified.txt" CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/dconf /etc/env.d /etc/fonts/fonts.conf /etc/gconf /etc/gentoo-release /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo /etc/texmf/language.dat.d /etc/texmf/language.def.d /etc/texmf/updmap.d /etc/texmf/web2c" CXXFLAGS="-march=native -O2 -pipe" DISTDIR="/usr/portage/distfiles" EMERGE_DEFAULT_OPTS="--oneshot" FCFLAGS="-O2 -pipe" FEATURES="assume-digests binpkg-logs config-protect-if-modified distlocks ebuild-locks fixlafiles merge-sync news parallel-fetch preserve-libs protect-owned sandbox sfperms strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync xattr" FFLAGS="-O2 -pipe" GENTOO_MIRRORS="ftp://ftp.wh2.tu-dresden.de/pub/mirrors/gentoo http://mirror.netcologne.de/gentoo/ http://linux.rz.ruhr-uni-bochum.de/download/gentoo-mirror/" LANG="en_US.utf8" LDFLAGS="-Wl,-O1 -Wl,--as-needed" MAKEOPTS="-j12 -l20" PKGDIR="/usr/portage/packages" PORTAGE_CONFIGROOT="/" PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --omit-dir-times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages --exclude=/.git" PORTAGE_TMPDIR="/var/tmp" USE="3dnow X aac acl acpi alsa amd64 aspell avx berkdb bzip2 cairo cdda cli consolekit cracklib crypt cups cxx dbus dri flac fortran gdbm gstreamer gtk gtk3 iconv icu introspection ipv6 jpeg jpeg2k kde lame legacy-systray libsamplerate lm_sensors mmx mmxext modules mp3 multilib ncurses nls nptl ogg openexr opengl openmp pam pcre pcre16 png policykit pulseaudio python qt3support qt4 qt5 readline sdl seccomp session sndfile spell sse sse2 sse3 sse4 ssl svg tcpd theora tiff truetype udev unicode vorbis wavpack xattr xkb zlib" ABI_X86="64" ALSA_CARDS="ali5451 als4000 atiixp atiixp-modem bt87x ca0106 cmipci emu10k1x ens1370 ens1371 es1938 es1968 fm801 hda-intel intel8x0 intel8x0m maestro3 trident usb-audio via82xx via82xx-modem ymfpci" APACHE2_MODULES="authn_core authz_core socache_shmcb unixd actions alias auth_basic authn_alias authn_anon authn_dbm authn_default authn_file authz_dbm authz_default authz_groupfile authz_host authz_owner authz_user autoindex cache cgi cgid dav dav_fs dav_lock deflate dir disk_cache env expires ext_filter file_cache filter headers include info log_config logio mem_cache mime mime_magic negotiation rewrite setenvif speling status unique_id userdir usertrack vhost_alias" CALLIGRA_FEATURES="kexi words flow plan sheets stage tables krita karbon braindump author" CAMERAS="ptp2" COLLECTD_PLUGINS="df interface irq load memory rrdtool swap syslog" CPU_FLAGS_X86="mmx mmxext sse sse2 sse3 ssse3 sse4 sse4_1 sse4_2 avx 3dnow 3dnowext" ELIBC="glibc" GPSD_PROTOCOLS="ashtech aivdm earthmate evermore fv18 garmin garmintxt gpsclock itrax mtk3301 nmea ntrip navcom oceanserver oldstyle oncore rtcm104v2 rtcm104v3 sirf superstar2 timing tsip tripmate tnt ublox ubx" INPUT_DEVICES="evdev keyboard mouse" KERNEL="linux" L10N="en en" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer" LINGUAS="en de" OFFICE_IMPLEMENTATION="libreoffice" PHP_TARGETS="php5-6" PYTHON_SINGLE_TARGET="python2_7" PYTHON_TARGETS="python2_7 python3_4" RUBY_TARGETS="ruby20 ruby21" USERLAND="GNU" VIDEO_CARDS="vesa" XTABLES_ADDONS="quota2 psd pknock lscan length2 ipv4options ipset ipp2p iface geoip fuzzy condition tee tarpit sysrq steal rawnat logmark ipmark dhcpmac delude chaos account" Unset: CC, CPPFLAGS, CTARGET, CXX, INSTALL_MASK, LC_ALL, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS, USE_PYTHON
Created attachment 457494 [details] mypy-0.4.6.ebuild The releases on github.com don't include the "typeshed" submodule, and as such the package that Gentoo installs contains no stubs. Attached is an ebuild that pulls using the git-r3 eclass and (due to the eclass) ensures the correct submodules are pulled and installed as well. I've also updated the upstream source as github.com/python, since mypy seems to have become official, and I've bumped it to 0.4.6 since that's the latest version.
dev-python/mypy-0.540 is available in my overlay: https://github.com/stefantalpalaru/gentoo-overlay
I've just bumped this to 0.570 and in the process I added downloading a fixed commit from github of the typeshed that corresponds to the one that would be pulled down directly using git (unfortunately live repos aren't allowed in stable/unmasked ebuilds, but apparently live generated tarballs from github are). This should resolve the issue, but please reopen this if there are stability problems or any other issues concerning the ebuild. 5:)
Sorry, it appears I never pushed my bump to 0.570, but it's in the tree now (along with the latest 0.590).
