Now we can mypy check all files in the echo dir.

presubmit.py

@@ -19,56 +19,7 @@
 
 subprocess.check_call([
     'mypy',
-    'src/echo/call_profiler.py',
-    'src/echo/cpython_tracer.py',
-    'src/echo/ctype_frame.py',
-    'src/echo/efunction_type.py',
-    'src/echo/frame_objects.py',
-    'src/echo/__init__.py',
-    'src/echo/import_routines.py',
-    'src/echo/bc_helpers.py',
-    'src/echo/builtin_build_class.py',
-    'src/echo/builtin_bytearray.py',
-    'src/echo/builtin_enumerate.py',
-    'src/echo/builtin_exception.py',
-    'src/echo/builtin_int.py',
-    'src/echo/builtin_iter.py',
-    'src/echo/builtin_list.py',
-    'src/echo/builtin_object.py',
-    'src/echo/builtin_predicates.py',
-    'src/echo/builtin_str.py',
-    'src/echo/builtin_super.py',
-    'src/echo/builtin_sys_module.py',
-    'src/echo/builtin_tuple.py',
-    'src/echo/builtin_type.py',
-    'src/echo/bytecode_trace.py',
-    'src/echo/code_attributes.py',
-    'src/echo/common.py',
-    'src/echo/common_test.py',
-    'src/echo/dso_objects.py',
-    'src/echo/ebuiltins.py',
-    'src/echo/egenerator.py',
-    'src/echo/ecell.py',
-    'src/echo/eclassmethod.py',
-    'src/echo/elog.py',
-    'src/echo/emap.py',
-    'src/echo/emodule.py',
-    'src/echo/eobjects.py',
-    'src/echo/eproperty.py',
-    'src/echo/epy_object.py',
-    'src/echo/estaticmethod.py',
-    'src/echo/etraceback.py',
-    'src/echo/guest_objects_test.py',
-    'src/echo/interp_context.py',
-    'src/echo/interp_result.py',
-    'src/echo/interp_routines.py',
-    'src/echo/interpreter_state.py',
-    'src/echo/iteration_helpers.py',
-    'src/echo/oo_builtins.py',
-    'src/echo/return_kind.py',
-    'src/echo/trace_util.py',
-    'src/echo/tracediff.py',
-    'src/echo/value.py',
+    'src/echo',
 ])
 print('=== mypy ok!', file=sys.stderr)