Rove Studio preview initialized.
Run the browser preview, inspect the source, or build the same file locally.
SOURCE INSPECTION
What is in this file?
Source→Typed HIR→MIR→Target
This is a lightweight browser inspection. It does not replace the native compiler's type checker or MIR verifier.
REPRODUCIBLE LOCAL BUILD
Run the real compiler
The browser cannot invoke your local compiler. Save the editor as scratchpad.rove, then run:
rove run scratchpad.rove --target cpp
The target selector changes this command only; the preview panel never claims a native build succeeded.