Simplify infc interface (#139)

Author: 0xGeorgii

CHANGELOG.md

@@ -39,6 +39,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### CLI
 
+- Simplify `infc` and `infs build` default behavior: running without phase flags now performs full compilation and writes `out/<name>.wasm` ([#138])
+  - `infc example.inf` equivalent to `infc example.inf --codegen -o`
+  - `infc example.inf -v` produces both `out/example.wasm` and `out/example.v`
+  - Supplying `--parse`, `--analyze`, or `--codegen` still overrides the default
+  - Matches conventional compiler UX (e.g. `gcc foo.c`)
 - Add `BuildProfile` (Debug/Release) with `resolve_opt_level()` for target-aware optimization ([#97])
 - Remove external toolchain dependencies: no `inf-llc`, `rust-lld`, or platform-specific library paths required ([#125])
 - Defer WASM compilation until output files are actually needed (`-o` or `-v` flags) ([#97])
@@ -311,3 +316,4 @@ Initial tagged release.
 [#127]: https://github.com/Inferara/inference/pull/127
 [#134]: https://github.com/Inferara/inference/pull/135
 [#136]: https://github.com/Inferara/inference/pull/136
+[#138]: https://github.com/Inferara/inference/pull/138

README.md

@@ -41,16 +41,16 @@ The `infs build` command compiles a single `.inf` source file through three phas
 2. **Analyze** (`--analyze`) – Perform type checking and semantic validation (WIP)
 3. **Codegen** (`--codegen`) – Emit WebAssembly binary with optional Rocq translation
 
-You must specify at least one phase flag; phases run in canonical order (parse → analyze → codegen).
+Phases run in canonical order (parse → analyze → codegen). When no phase flag is given, `infs build` defaults to full compilation and writes the WASM binary to disk.
 
 ### Basic Usage
 
 ```bash
-# Via cargo
-cargo run -p infs -- build path/to/file.inf --parse
+# Full compilation (default — no flags needed)
+./target/debug/infs build path/to/file.inf
 
-# After building, call the binary directly
-./target/debug/infs build path/to/file.inf --codegen -o
+# Parse only (syntax check)
+cargo run -p infs -- build path/to/file.inf --parse
 ```
 
 ### Compilation Modes

apps/infs/README.md

@@ -62,30 +62,30 @@ cargo build -p infs --release
 ### Build Command
 
 ```bash
+# Full compilation with WASM output (default — no flags needed)
+infs build example.inf
+
+# Full compilation with Rocq translation
+infs build example.inf -v
+
 # Parse only (syntax check)
 infs build example.inf --parse
 
 # Type checking
 infs build example.inf --analyze
-
-# Full compilation with WASM output
-infs build example.inf --codegen -o
-
-# Full compilation with Rocq translation
-infs build example.inf --codegen -o -v
 ```
 
 ### Build Flags
 
 | Flag | Description |
 |------|-------------|
-| `--parse` | Run the parse phase to build the typed AST |
-| `--analyze` | Run the analyze phase for type checking |
+| `--parse` | Run the parse phase to build the typed AST (overrides default) |
+| `--analyze` | Run the analyze phase for type checking (overrides default) |
 | `--codegen` | Run the codegen phase to emit WebAssembly |
 | `-o` | Generate WASM binary file in `out/` directory |
 | `-v` | Generate Rocq (.v) translation file |
 
-At least one of `--parse`, `--analyze`, or `--codegen` must be specified.
+When no phase flag is given, `infs build` defaults to full compilation and writes the WASM binary to disk — equivalent to `--codegen -o`.
 
 ### Run Command
 
@@ -245,7 +245,7 @@ When running `build`, `run` commands, `infs` locates the `infc` compiler using t
 **Priority 1 - INFC_PATH**: Use for development, testing, or CI/CD with a pre-built binary:
 ```bash
 export INFC_PATH=/path/to/custom/infc
-infs build example.inf --codegen -o
+infs build example.inf
 ```
 
 **Priority 2 - System PATH**: Automatic if `infc` is installed system-wide (e.g., via package manager).

apps/infs/docs/qa-test-suite.md

@@ -121,7 +121,7 @@ This document contains tests that require manual verification or are not yet aut
 These should be verified via CI on each platform.
 
 **Steps:**
-1. Run `infs build trivial.inf --parse --codegen -o`
+1. Run `infs build trivial.inf`
 2. Verify WASM output exists
 3. Run `infs run trivial.inf --entry-point hello_world`
 

apps/infs/src/commands/build.rs

@@ -4,14 +4,16 @@
 //! via subprocess. This module acts as a lightweight bootstrapper, validating
 //! arguments and forwarding them to infc.
 //!
-//! ## Compilation Phases
+//! ## Behavior
 //!
-//! 1. **Parse** (`--parse`) - Builds the typed AST using tree-sitter
-//! 2. **Analyze** (`--analyze`) - Performs type checking and semantic validation
-//! 3. **Codegen** (`--codegen`) - Emits WebAssembly binary
+//! `infs build` always performs full compilation (parse, analyze, codegen)
+//! and writes the WASM binary to disk. The `-v` flag additionally generates
+//! a Rocq (.v) translation file.
 //!
-//! Phases execute in canonical order (parse -> analyze -> codegen) regardless
-//! of the order flags appear on the command line. Each phase depends on the previous.
+//! ```bash
+//! infs build example.inf       # parse -> codegen -> write out/example.wasm
+//! infs build example.inf -v    # parse -> codegen -> write out/example.wasm + out/example.v
+//! ```
 
 use anyhow::{Context, Result, bail};
 use clap::Args;
@@ -23,42 +25,14 @@ use crate::toolchain::find_infc;
 
 /// Arguments for the build command.
 ///
-/// The build command operates in phases, and users must explicitly request
-/// which phases to run via command line flags.
-///
-/// ## Phase Dependencies
-///
-/// - `--parse`: Standalone, builds the typed AST
-/// - `--analyze`: Requires parsing (automatically runs parse phase)
-/// - `--codegen`: Requires analysis (automatically runs parse and analyze phases)
-///
-/// ## Output Flags
-///
-/// - `-o`: Generate WASM binary file in `out/` directory
-/// - `-v`: Generate Rocq (.v) translation in `out/` directory
-#[derive(Args)]
-#[allow(clippy::struct_excessive_bools)]
+/// Always performs full compilation (parse, analyze, codegen) and writes
+/// the WASM binary to disk. Use `-v` to also generate a Rocq (.v) file.
+#[derive(Args, Clone)]
 pub struct BuildArgs {
     /// Path to the source file to compile.
     pub path: PathBuf,
 
-    /// Run the parse phase to build the typed AST.
-    #[clap(long = "parse", action = clap::ArgAction::SetTrue)]
-    pub parse: bool,
-
-    /// Run the analyze phase for semantic and type inference.
-    #[clap(long = "analyze", action = clap::ArgAction::SetTrue)]
-    pub analyze: bool,
-
-    /// Run the codegen phase to emit WebAssembly binary.
-    #[clap(long = "codegen", action = clap::ArgAction::SetTrue)]
-    pub codegen: bool,
-
-    /// Generate output WASM binary file.
-    #[clap(short = 'o', action = clap::ArgAction::SetTrue)]
-    pub generate_wasm_output: bool,
-
-    /// Generate Rocq (.v) translation file.
+    /// Generate Rocq (.v) translation file in addition to the WASM binary.
     #[clap(short = 'v', action = clap::ArgAction::SetTrue)]
     pub generate_v_output: bool,
 }
@@ -68,48 +42,25 @@ pub struct BuildArgs {
 /// ## Execution Flow
 ///
 /// 1. Validates that the source file exists
-/// 2. Ensures at least one phase flag is specified
-/// 3. Locates the infc compiler binary
-/// 4. Builds and executes the infc command with appropriate flags
-/// 5. Propagates exit code from infc
+/// 2. Locates the infc compiler binary
+/// 3. Builds and executes the infc command, forwarding `-v` if requested
+/// 4. Propagates exit code from infc
 ///
 /// ## Errors
 ///
 /// Returns an error if:
 /// - The source file does not exist
-/// - No phase flags are specified
 /// - infc compiler cannot be found
 /// - infc exits with non-zero code (as `InfsError::ProcessExitCode`)
 pub fn execute(args: &BuildArgs) -> Result<()> {
     if !args.path.exists() {
         bail!("Path not found: {}", args.path.display());
     }
 
-    let need_parse = args.parse;
-    let need_analyze = args.analyze;
-    let need_codegen = args.codegen;
-
-    if !(need_parse || need_analyze || need_codegen) {
-        bail!("At least one of --parse, --analyze, or --codegen must be specified");
-    }
-
     let infc_path = find_infc()?;
-
     let mut cmd = Command::new(&infc_path);
     cmd.arg(&args.path);
 
-    if need_parse {
-        cmd.arg("--parse");
-    }
-    if need_analyze {
-        cmd.arg("--analyze");
-    }
-    if need_codegen {
-        cmd.arg("--codegen");
-    }
-    if args.generate_wasm_output {
-        cmd.arg("-o");
-    }
     if args.generate_v_output {
         cmd.arg("-v");
     }

apps/infs/src/commands/init.rs

@@ -53,7 +53,7 @@ pub fn execute(args: &InitArgs) -> Result<()> {
     println!("Initialized Inference project in {display_name}");
     println!();
     println!("Next steps:");
-    println!("  infs build src/main.inf --codegen -o");
+    println!("  infs build src/main.inf");
     println!();
     println!("To learn more about Inference, visit:");
     println!("  https://inference-lang.org");

apps/infs/src/commands/new.rs

@@ -79,7 +79,7 @@ pub fn execute(args: &NewArgs) -> Result<()> {
     println!();
     println!("Next steps:");
     println!("  cd {}", project_path.display());
-    println!("  infs build src/main.inf --codegen -o");
+    println!("  infs build src/main.inf");
     println!();
     println!("To learn more about Inference, visit:");
     println!("  https://inference-lang.org");