next

tcmts.cli.mcp.next · #pblvar5b · term · runs anywhere

A short note on what to do after a command, from what it printed.

export function next(argv: string[], out: string, code: number): string | undefined {
  if (argv[0] === "update" || argv[0] === "add") {
    if (/no longer typecheck|tcm todo/.test(out)) return "Some dependents no longer typecheck: see tcm_todo, and fix them with tcm_edit + tcm_update.";
    if (code === 0) return "Saved. tcm_test runs the tests this reaches.";
  }
  if (argv[0] === "check" && code === 0 && /~ update|\+ new/.test(out)) return "tcm_update saves it.";
  return undefined;
}

used by