Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions crates/wright-cli/src/cli.rs
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ pub(crate) struct Cli {

pub(crate) const LONG_ABOUT: &str = "Wright compiler and Workshop tooling CLI.

Commands parse, validate, analyze, lint, inspect, compile, or reconstruct
Commands check correctness, report semantic facts, lint, inspect, compile, or reconstruct
source through the typed wright-driver result envelope. `compile` and `convert`
keep their source artifact stdout contracts; JSON mode prints only one
wright-result/v1 envelope to stdout.
Expand Down Expand Up @@ -61,9 +61,9 @@ pub(crate) enum Command {
Compile(CompileArgs),
/// Reconstruct validated Workshop input as canonical OPY or OSTW source.
Convert(ConvertArgs),
/// Parse, validate, and analyze the input.
/// Check frontend, project, semantic, and validation correctness.
Check(CommonArgs),
/// Parse, lower, and report semantic findings.
/// Report semantic structure, symbol usage, and CFG measurements.
Analyze(CommonArgs),
/// Parse, lower, and report lint findings.
Lint(LintArgs),
Expand Down
2 changes: 2 additions & 0 deletions crates/wright-cli/src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -199,6 +199,7 @@ fn run_workflow(command: Command) -> ExitCode {
ConvertTargetArg::Opy => wright_driver::ConvertTarget::Opy,
ConvertTargetArg::Ostw => wright_driver::ConvertTarget::Ostw,
};
let _activity = presentation.activity();
let envelope = session.convert(target);
let code = envelope.exit;
present::render(&envelope, presentation);
Expand Down Expand Up @@ -244,6 +245,7 @@ fn run_command<T: serde::Serialize>(
run: fn(&mut wright_driver::CompilerSession) -> wright_driver::Envelope<T>,
presentation: present::Presentation,
) -> u8 {
let _activity = presentation.activity();
let envelope = run(session);
let code = envelope.exit;
present::render(&envelope, presentation);
Expand Down
Loading