工具

CLI、格式化、lint、测试、REPL 以及 Language Server。

工具

tooling 叙事现在建立在仓库中提交的 souc 构件、它实际报告的能力,以及运行仓库的 gate 脚本之上。

今日已验证

  • 提交的 souc 构件可通过 --helpinfo 直接暴露当前 CLI 表面。
  • gate 脚本和提交的构件是公开声明最强的证据。
  • 先运行 souc check,再考虑 runbuild

当前限制

  • 真实行为取决于具体的 souc 二进制,而不只是仓库里有哪些文件。
  • LLVM、GPU 和 LSP 等后端能力必须按构件确认,不能只看源码目录。

在这个仓库中验证

"$SOUC_BIN" --help
"$SOUC_BIN" info
"$SOUC_BIN" fmt --help
"$SOUC_BIN" lint --help

bash scripts/selfhost/selfhost_zero_fallback_gate.sh