| -- Test cases for incremental error streaming. |
| -- Each time errors are reported, '==== Errors flushed ====' is printed. |
| |
| [case testErrorStream] |
| import b |
| [file a.py] |
| 1 + '' |
| [file b.py] |
| import a |
| '' / 2 |
| [out] |
| ==== Errors flushed ==== |
| a.py:1: error: Unsupported operand types for + ("int" and "str") |
| ==== Errors flushed ==== |
| b.py:2: error: Unsupported operand types for / ("str" and "int") |
| |
| [case testBlockers] |
| import b |
| [file a.py] |
| 1 + '' |
| [file b.py] |
| import a |
| break |
| 1 / '' # won't get reported, after a blocker |
| [out] |
| ==== Errors flushed ==== |
| a.py:1: error: Unsupported operand types for + ("int" and "str") |
| ==== Errors flushed ==== |
| b.py:2: error: 'break' outside loop |
| |
| [case testCycles] |
| import a |
| [file a.py] |
| import b |
| 1 + '' |
| def f() -> int: |
| reveal_type(b.x) |
| return b.x |
| y = 0 + 0 |
| [file b.py] |
| import a |
| def g() -> int: |
| reveal_type(a.y) |
| return a.y |
| 1 / '' |
| x = 1 + 1 |
| |
| [out] |
| ==== Errors flushed ==== |
| b.py:3: note: Revealed type is 'builtins.int' |
| b.py:5: error: Unsupported operand types for / ("int" and "str") |
| ==== Errors flushed ==== |
| a.py:2: error: Unsupported operand types for + ("int" and "str") |
| a.py:4: note: Revealed type is 'builtins.int' |
