equal
deleted
inserted
replaced
29 continue |
29 continue |
30 |
30 |
31 elif not line.startswith(' '): |
31 elif not line.startswith(' '): |
32 state = 'none' |
32 state = 'none' |
33 |
33 |
|
34 elif not line.replace('^', '').replace('~', '').strip(): |
|
35 # PEP 657: Fine-grained error locations in tracebacks |
|
36 # ~~~~~~^^^^^^^^^ |
|
37 continue |
|
38 |
34 elif state == 'file': |
39 elif state == 'file': |
35 # Ignore lines after " File " |
40 # Ignore lines after " File " |
36 state = 'tb' |
41 state = 'tb' |
37 continue |
42 continue |
38 |
43 |