tape refactor

Usage

tape refactor <file.tape> [options]

Purpose

Materializes refactor("path") { ... } blocks into separate .tape files. The compiler validates these blocks on every build — by the time this command runs, the extraction is already proven correct.

tape refactor app.tape
# Wrote ./store.tape
# Rewrote app.tape

What it does

1. Run analysis pass (scan, parse, lower, typecheck) to validate refactor boundaries
2. For each refactor("path") { ... } block in the source:
   • Generate the target file with only the imports the moved code uses
   • Wrap all declarations in pub {}
   • Inherit @profile from the source file
3. Rewrite the source file:
   • Remove the refactor block(s)
   • Add selective imports for symbols that the remaining code references

Examples

# Materialize all refactor blocks:
tape refactor app.tape

# Preview without writing:
tape refactor app.tape --dry-run

# Overwrite existing target files:
tape refactor app.tape --force

—dry-run output

Virtual module "./store.tape":
  Imports:     (none)
  Exports:     items, count, add_item, sum

Host "app.tape" after extraction:
  New import: import { items, count, add_item, sum } from "./store.tape";
  Removed:    refactor block (lines 12-31)

Would write: ./store.tape (new file)
Would rewrite: app.tape

Options

Exit codes

Relationship to other commands

tape refactor uses the same frontend pipeline as tape check — it stops after type checking and does not generate native code. The refactor boundaries are validated during normal tape build and tape check runs too, so errors appear immediately during development.

tape check app.tape      # validates refactor boundaries (among everything else)
tape build app.tape      # also validates them, then builds
tape refactor app.tape   # materializes them into files

Generated file format

Target files are generated with:

• Only the imports the moved code actually uses
• All declarations inside a pub {} block
• The source file’s @profile pragma (if present)
• No other boilerplate

// store.tape (generated by tape refactor)
pub {
    var items: [64]i64;
    var count: i64 = 0;
    fn add_item(val: i64) { ... }
    fn sum() -> i64 { ... }
}

Error conditions

Last modified: 2026-05-28 13:24:58 UTC