Function stripComments

scripts/rubi/extract-rules.ts:45–62

(src: string)

/** Strip WL comments (nested), preserving newlines for cell structure. */
export function stripComments(src: string): string {
  let out = '';
  let depth = 0;
  for (let i = 0; i < src.length; i++) {
    if (src.startsWith('(*', i)) {
      depth++;
      i++;
    } else if (depth > 0 && src.startsWith('*)', i)) {
      depth--;
      i++;
    } else if (depth === 0) {
      out += src[i];
    } else if (src[i] === '\n') {
      out += '\n';
    }
  }
  return out;
}

function asCall(expr: Json, op: string): Json[] | null {
  return Array.isArray(expr) && expr[0] === op ? (expr as Json[]) : null;