Function extractInputs

benchmarks/wester/extract.mjs:73–103

(transcript, sourceUrl)

}

function extractInputs(transcript, sourceUrl) {
  const lines = transcript.replaceAll('\r\n', '\n').split('\n');
  const expressions = [];

  for (let index = 0; index < lines.length; index += 1) {
    const start = lines[index].match(/^In\[\d+\]:=\s?(.*)$/);
    if (!start) continue;
    if (start[1].trim() === '') continue;
    if (start[1].trim() === 'Quit[]') continue;

    const input = [start[1]];
    while (
      index + 1 < lines.length &&
      !isTiming(lines[index + 1]) &&
      !isSessionBoundary(lines[index + 1])
    ) {
      input.push(lines[index + 1]);
      index += 1;
    }

    const expression = repairTerminalWrapping(input).join('\n').trim();
    if (expression) expressions.push(expression);
  }

  return [
    `(* Extracted from ${sourceUrl}`,
    `   Source index: ${INDEX_URL} *)`,
    '',
    ...expressions.flatMap((expression) => [expression, '']),
  ].join('\n');
}

const indexResponse = await fetch(INDEX_URL);
if (!indexResponse.ok) {