Menü
Type-check a Sounio .sio file using the souc compiler
Mit Codex oder Claude installieren Kopieren Sie diesen Prompt, fügen Sie ihn in Codex, Claude oder einen anderen Assistant ein und lassen Sie die Skill-Seite prüfen und installieren.
Basierend auf der SOC-Berufsklassifikation
JIT-execute a Sounio .sio file and show output
Type-check a Sounio .sio file using the souc compiler
Compile and run a Sounio .sio file and show output
Work on the self-hosted Sounio compiler bootstrap path: self-hosted/main.sio pipeline modes (--lex, --parse, --check, --ir-dump, --native-compile), frontend corpus gates, and bootstrap binary milestones.
Work on the native x86-64 code generation backend: register allocation, instruction encoding, peephole optimization, frame sizing, ELF output, and the compile_ir_function pipeline; use when editing any sprint 52–65+ native/*.sio files.
Work on the profile-guided optimization pipeline: counter injection, .sprof file output, strategy promotion, inlining, layout, const-fold/DCE, and register allocation; use when editing any sprint 38–52+ IR optimization files.
| name | sounio-check |
| description | Type-check a Sounio .sio file using the souc compiler |
| user-invocable | true |
| allowed-tools | Bash, Read, Glob |
Type-check the specified Sounio source file.
Resolve the souc compiler binary:
$SOUC_BIN or $SOUC environment variable if setsouc on PATH./artifacts/omega/souc-bin/souc-linux-x86_64-jitSOUC_BINIf no file argument given, find the most recently modified .sio file in the working directory
Run type-check:
$SOUC check <file>
If the user asked for --show-ast or --show-types, pass those flags through
Parse the output:
with effects, &mut → &!, semicolons, missing type annotationsIf the error mentions a missing effect, suggest the correct with clause based on what the function body does (IO for print, Mut for mutation, Div for division, Panic for indexing/assert)