✓
Passing This code compiles and runs correctly.
Code
// `koruc <file> help` prints "No commands defined in <file>" even when the
// program's imports declare commands that DO dispatch — `install`/`i` from
// std/package runs on this very file. The enumerator scans the pre-merge
// entry AST while the dispatcher resolves post-merge, so help reports a
// command surface that is not the real one. The tool claims something false
// about its own verbs.
~import std/package
~tor main {}
~proc main|zig {
}
~main()
Flows
flow ~main click a branch to expand · @labels scroll to their anchor
main
Test Configuration
Post-validation Script:
#!/bin/bash
set -u
cd "$(dirname "$0")"
# std/package declares `i`/`install`. `koruc <file> install` dispatches on
# this input (proven below), so `help` claiming none exist is a false report.
OUT=$(koruc "$KORU_INPUT" help 2>&1) || { echo "FAIL: help exited non-zero"; echo "$OUT"; exit 1; }
echo "$OUT" | grep -q "install" || {
echo "FAIL: 'help' does not list 'install', though install dispatches on this file"
echo "$OUT"
exit 1
}
# Control: install really does dispatch (it announces itself and completes).
OUT2=$(koruc "$KORU_INPUT" install 2>&1)
echo "$OUT2" | grep -q "Running command: install" || {
echo "FAIL: control — install did not dispatch; the pin's premise moved"
echo "$OUT2"
exit 1
}
echo "=== Test passed: help lists commands the program's imports declare ==="