Function markPass

src/resolution/callback-synthesizer.ts:3708–3714

(label: string, dt: number)

  // thread, so a worker crash isolates to a retry instead of failing synthesis.
  const passEdges: Edge[][] = new Array<Edge[]>(SYNTH_PASSES.length).fill(NONE);
  const markPass = (label: string, dt: number): void => {
    if (process.env.CODEGRAPH_SYNTH_TIMINGS && (dt > 250 || process.env.CODEGRAPH_SYNTH_TIMINGS === 'all')) {
      console.error(`[synth-timing] ${label}: ${dt}ms`);
    }
    passesDone++;
    emit(passesDone);
  };
  const runPassOnMain = async (i: number): Promise<void> => {
    const pass = SYNTH_PASSES[i]!;
    const t0 = Date.now();