erictraut
commented
1 day ago This error message is typically caused by a bug in pyright's logic that leads to infinite recursion. In this case, it's not infinite recursion but rather very deep recursion that occurs when analyzing code with a very long chain of dependent function calls. In particular, the problem occurs when pyright attempts to infer the return type for the Worksheet._prepare_formula method. Inference is required here because the method has no return type annotation. To infer the return type, pyright must evaluate the types of all values returned via return statements. The final statement is a return formula statement. To evaluate the type of formula, pyright must evaluate the return type of the call to re.sub, but this requires knowing the type of the argument formula, which requires evaluating another call to re.sub, etc. To make matters more difficult, re.sub is an overloaded function, so evaluating this call is more complex and requires more stack frames than a normal (non-overloaded) function. The result is that pyright gets several thousand stack frames into its evaluation and then exhausts the stack.
I don't recall ever seeing this limit reached before. I'll need to think about whether there are ways to detect and mitigate the problem before it results in a crash.
I suspect the reason that we haven't seen this before is that code typically isn't written with "unrolled" function calls in this manner. More typically, this would be done with a loop that acts upon some iterable data structure.
Hello!
I am getting a
Maximum call stack size exceededwhen using rather a simple script withxlsxwriter.Here is reproducible minimal example (
callstack-error.py)Running
pyright callstack-error.pyin terminal yieldsAn internal error occurred while type checking file "[...]/callstack-error.py": RangeError: Maximum call stack size exceeded.I am running Python v3.12.7 under MacOS Sequoia 15.0.1, on M1 Pro My venv (
uv pip freezeoutput):I have tried to run pyright directly on xlsxwriter (by copying it from .venv and running
pyright xlsxwriter), which yields expected results with errors, warnings etc. and leads me to believe error does not lie in xlsxwriter itself.Full traceback
``` An internal error occurred while type checking file "/Users/darx/Documents/Hobby/pyright-callstack-repro/callstack-error.py": RangeError: Maximum call stack size exceeded at Object.getParamType (/Users/darx/.cache/pyright-python/1.1.385/node_modules/pyright/dist/pyright-internal/src/analyzer/types.ts:2262:21) at addVirtualParam (/Users/darx/.cache/pyright-python/1.1.385/node_modules/pyright/dist/pyright-internal/src/analyzer/parameterUtils.ts:150:52) at forEach (/Users/darx/.cache/pyright-python/1.1.385/node_modules/pyright/dist/pyright-internal/src/analyzer/parameterUtils.ts:299:13) at Array.forEach (