/**
 * Helper for printing timings, in the spirit of Python's `tic` and `toc`.
 */

export { tic, toc }

const timingStack: [string | undefined, number][] = []

function tic(label?: string) {
  if (label) console.log(`${label}... `)
  timingStack.push([label, performance.now()])
}

function toc() {
  const [label, start] = timingStack.pop()!
  const time = (performance.now() - start) / 1000
  if (label) console.log(`${label}... ${time.toFixed(3)} sec`)
  return time
}