コード例 #1
0
ファイル: main.py プロジェクト: agriffis/kitty
def type_check() -> NoReturn:
    from kitty.cli_stub import generate_stub  # type:ignore
    generate_stub()
    from kittens.tui.operations_stub import generate_stub  # type: ignore
    generate_stub()
    py = shutil.which('python') or shutil.which('python3')
    os.execlp(py, py, '-m', 'mypy', '--pretty')
コード例 #2
0
def type_check():
    init_env()
    from kitty.cli_stub import generate_stub
    generate_stub()
    from kitty.options_stub import generate_stub
    generate_stub()
    if 'CI' in os.environ:
        os.execlp('mypy', 'mypy')
    else:
        os.execlp('dmypy', 'dmypy', 'run', '--', '--follow-imports=error')
コード例 #3
0
def type_check() -> NoReturn:
    from kitty.cli_stub import generate_stub  # type:ignore
    generate_stub()
    from kitty.options_stub import generate_stub  # type: ignore
    generate_stub()
    from kittens.tui.operations_stub import generate_stub  # type: ignore
    generate_stub()
    os.execlp(sys.executable, 'python', '-m', 'mypy', '--pretty')