soma fix

Auto-fix common errors found by check.

soma fix is a command of soma, the toolchain of the Soma programming language (compiler, checker, verifier, test runner and server in one binary). Its options, as soma 3.2.4 prints them:

$ soma fix --help
Auto-fix common errors found by check

Usage: soma-v3.2.4 fix [OPTIONS] <FILE>

Arguments:
  <FILE>  Path to the .cell source file

Options:
      --json               Output as JSON (for agents)
      --native-idiv        Rewrite `a / b` on two Ints inside [native] handlers to idiv(a, b) — for code written when native `/` truncated
      --edition <EDITION>  Migrate the program to an edition: the mechanical rewrites, soma.toml, then what is left to decide (`--edition 2027`)
      --stdlib <STDLIB>    Path to stdlib directory (default: auto-detect)
  -h, --help               Print help