Codex Musi 编译器诊断｜标明出错表达式与预期类型
EnglishCodex 安装步骤
- 打开 GitHub 固定提交的 `.agents/skills/musi-diagnostics/SKILL.md`，核对内容与使用条件。
- 在自己的项目中创建 `.agents/skills/musi-diagnostics/`，把核对后的文件保存为 `.agents/skills/musi-diagnostics/SKILL.md`。
- 在该项目根目录启动 Codex，输入 `$musi-diagnostics` 并选择同名技能。
中文摘要
让 Musi 的编译器错误指出具体符号和类型差异，用主标签定位出错表达式，并在有证据时补充声明位置与建议。
SKILL.md 中文导读
可复现示例
为模拟的返回值错误拟定诊断文本和位置。
{"site":"return value","expected":"Bool","found":"Float","primaryLine":12,"declarationLine":3}工作步骤
- 定位所属阶段的诊断种类。
- 把预期值、实际值和具体符号写清楚。
- 用最小输入验证输出和主次标签。
验收方法
用 `return value expected Bool, found Float` 描述不匹配。第 `12` 行是主标签，声明在第 `3` 行时可用次标签。
GitHub 原文 · 更新日期
适用环境
在 Codex 中打开 Musi 编译器工作区，提供负责当前阶段的诊断类型、源码范围和测试夹具。
常见问题
什么时候可以加自动修复建议？
只有能确认替换既准确又安全时才加。存在多种有效修法时，可以解释类型差异和需要确认的选择。