mirror of
https://github.com/astral-sh/ruff
synced 2026-01-20 21:10:48 -05:00
c027979851
## Summary This PR adds a playground for Red Knot [Screencast from 2024-08-14 10-33-54.webm](https://github.com/user-attachments/assets/ae81d85f-74a3-4ba6-bb61-4a871b622f05) Sharing does work 😆 I just forgot to start wrangler. It supports: * Multiple files * Showing the AST * Showing the tokens * Sharing * Persistence to local storage Future extensions: * Configuration support: The `pyproject.toml` would *just* be another file. * Showing type information on hover ## Blockers ~~Salsa uses `catch_unwind` to break cycles, which Red Knot uses extensively when inferring types in the standard library. However, WASM (at least `wasm32-unknown-unknown`) doesn't support `catch_unwind` today, so the playground always crashes when the type inference encounters a cycle.~~ ~~I created a discussion in the [salsa zulip](https://salsa.zulipchat.com/#narrow/stream/333573-salsa-3.2E0/topic/WASM.20support) to see if it would be possible to **not** use catch unwind to break cycles.~~ ~~[Rust tracking issue for WASM catch unwind support](https://github.com/rust-lang/rust/issues/118168)~~ ~~I tried to build the WASM with the nightly compiler option but ran into problems because wasm-bindgen doesn't support WASM-exceptions. We could try to write the binding code by hand.~~ ~~Another alternative is to use `wasm32-unknown-emscripten` but it's rather painful to build~~
36 lines
1.0 KiB
JSON
36 lines
1.0 KiB
JSON
{
|
|
"name": "knot-playground",
|
|
"private": true,
|
|
"version": "0.0.0",
|
|
"type": "module",
|
|
"scripts": {
|
|
"prebuild": "npm run build:wasm",
|
|
"build": "vite build",
|
|
"build:wasm": "wasm-pack build ../../crates/red_knot_wasm --target web --out-dir ../../playground/knot/red_knot_wasm",
|
|
"dev:wasm": "wasm-pack build ../../crates/red_knot_wasm --dev --target web --out-dir ../../playground/knot/red_knot_wasm",
|
|
"predev:build": "npm run dev:wasm",
|
|
"dev:build": "vite build",
|
|
"prestart": "npm run dev:wasm",
|
|
"start": "vite",
|
|
"preview": "vite preview"
|
|
},
|
|
"dependencies": {
|
|
"@monaco-editor/react": "^4.7.0",
|
|
"classnames": "^2.5.1",
|
|
"lz-string": "^1.5.0",
|
|
"monaco-editor": "^0.52.2",
|
|
"react": "^19.0.0",
|
|
"react-dom": "^19.0.0",
|
|
"react-resizable-panels": "^2.1.7",
|
|
"red_knot_wasm": "file:red_knot_wasm",
|
|
"shared": "0.0.0",
|
|
"smol-toml": "^1.3.1"
|
|
},
|
|
"overrides": {
|
|
"@monaco-editor/react": {
|
|
"react": "$react",
|
|
"react-dom": "$react-dom"
|
|
}
|
|
}
|
|
}
|