Kyle Marek-Spartz kmarekspartz

I hereby claim:

I am kmarekspartz on github.
I am kmarekspartz (https://keybase.io/kmarekspartz) on keybase.
I have a public key whose fingerprint is 3E3A FA4F 186A 1177 5827 48D2 65B3 DEFC 84D7 E3E5

To claim this, I am signing this object:

I hereby claim:

To claim this, I am signing this object:

	FROM python:3.6
	WORKDIR /mypy-bug
	ADD requirements.txt .
	RUN pip install -r requirements.txt
	ADD typing_text_io.py main.py
	RUN mypy --strict main.py
	CMD python main.py

	from sqlalchemy import Column, Integer, ForeignKey, create_engine
	from sqlalchemy.ext.declarative import declarative_base
	from sqlalchemy.ext.orderinglist import ordering_list
	from sqlalchemy.orm import relationship, backref, sessionmaker


	Base = declarative_base()


	class Slide(Base):

	<stdin>:1:10: fatal error: 'asm/types.h' file not found
	#include <asm/types.h>
	^
	1 error generated.
	asm_types.c:3:1: warning: type specifier missing, defaults to 'int' [-Wimplicit-int]
	main(int argc, char **argv)
	^~~~
	asm_types.c:12:2: warning: __U8_TYPEDEF not defined [-W#warnings]
	#warning __U8_TYPEDEF not defined
	^

	<stdin>:1:10: fatal error: 'asm/types.h' file not found
	#include <asm/types.h>
	^
	1 error generated.
	asm_types.c:3:1: warning: type specifier missing, defaults to 'int' [-Wimplicit-int]
	main(int argc, char **argv)
	^~~~
	asm_types.c:12:2: warning: __U8_TYPEDEF not defined [-W#warnings]
	#warning __U8_TYPEDEF not defined
	^