def parathesis_space_check()

in lean/scripts/lint_style.py [0:0]


def parathesis_space_check(lines, path):
    errors = []
    for line_nr, line in enumerate(lines, 1):
        if "( " in line or " )" in line:
            errors += [(ERR_PSP, line_nr, path)]
    return errors