def long_lines_check()

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

• 8 lines of code
• 4 McCabe index (conditional complexity)

def long_lines_check(lines, path):
    errors = []
    # TODO: some string literals (in e.g. tactic output messages) can be excepted from this rule
    for line_nr, line in enumerate(lines, 1):
        if "http" in line:
            continue
        if len(line) > 101:
            errors += [(ERR_LIN, line_nr, path)]
    return errors