You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Accidentally evaluated a function that ended up outputting about 5k lines worth (And each line was of substantial length as well) of material onto the REPL. Interrupting evaluation didn't work because it was already evaluated, so it's a bottleneck of printing.
Thoughts
The following is a summary of what @bpringe has said to me about the matter:
The output window queues up prints and uses the applyEdit function of the VSCode API. Because applyEdit is async, it happens after evaluation, and it's slow in general, which is why printing seems to happen in chunks with what appears to be a pause in between each chunk.
The solution will likely lie in clearing this queue, which should be pretty easy because it's just an array.
The text was updated successfully, but these errors were encountered:
PEZ
changed the title
Huge evaluations, even if interrupted, still try to write to output buffer
Print side effects keeps printing to the output buffer even when the evaluation is interrupted
Jan 23, 2021
bpringe
changed the title
Print side effects keeps printing to the output buffer even when the evaluation is interrupted
Print side effects keep printing to the output window even when the evaluation is interrupted
Mar 26, 2021
bpringe
changed the title
Print side effects keep printing to the output window even when the evaluation is interrupted
Stop printing to the output window when all evaluations are interrupted
Mar 26, 2021
How it happened
Accidentally evaluated a function that ended up outputting about 5k lines worth (And each line was of substantial length as well) of material onto the REPL. Interrupting evaluation didn't work because it was already evaluated, so it's a bottleneck of printing.
Thoughts
The following is a summary of what @bpringe has said to me about the matter:
The output window queues up prints and uses the
applyEdit
function of the VSCode API. BecauseapplyEdit
is async, it happens after evaluation, and it's slow in general, which is why printing seems to happen in chunks with what appears to be a pause in between each chunk.The solution will likely lie in clearing this queue, which should be pretty easy because it's just an array.
The text was updated successfully, but these errors were encountered: