mirrors/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-10-02 14:51:25 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

[playground] Fix reveal_type (#17013)

Browse source 
## Summary

Capture both `stdout` and `stderr` in a single stream. This fixes
`reveal_type`, which prints to `stderr` by default.

## Test Plan

Tested with a simple `reveal_type(1)` example and got the output:
```
Runtime value is '1'
Runtime type is 'int'
```
This commit is contained in:
David Peter 2025-03-27 17:21:26 +01:00 • committed by GitHub
parent 6ef522159d
commit 142fe0d29b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 9 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

17
playground/knot/src/Editor/SecondaryPanel.tsx
View file

@ -134,13 +134,14 @@ function RunWithPyiodide({
if (output == null) {
const handleRun = () => {
let stdout = "";
let combined_output = "";
pyodide.setStdout({
batched(output) {
stdout += output + "\n";
},
});
const outputHandler = (output: string) => {
combined_output += output + "\n";
};
pyodide.setStdout({ batched: outputHandler });
pyodide.setStderr({ batched: outputHandler });
const main = files.selected == null ? "" : files.contents[files.selected];
@ -163,7 +164,7 @@ function RunWithPyiodide({
def reveal_type(obj):
import typing
print(f"Runtime value is: \`{obj}\`")
print(f"Runtime value is '{obj}'")
return typing.reveal_type(obj)
builtins.reveal_type = reveal_type`);
@ -174,7 +175,7 @@ function RunWithPyiodide({
filename: fileName,
});
setOutput(stdout);
setOutput(combined_output);
} catch (e) {
setOutput(`Failed to run Python script: ${e}`);
} finally {