strip numeric prefix from callstack filenames

akkartik

Nov 10, 2023, 3:16 PM

YE6JKEWOEHTXQ2ZQ3Z755DEULU5VXG7N67QKGW7S3ZHJCKLM7DBQC

Dependencies

• [2] 3JVRTWUY provide a filename for clearer error callstacks
• [3] WNHI74P7 load manifest in correct order
• [4] Y5BXW7FX check for syntax errors when loading app
• [5] EZHO4TSW new file-system format for freewheeling apps
• [*] LRDM35CE app running again

Change contents

• replacement in live.lua at line 65
  [3.231]→[2.11:60](∅→∅)
  − local status, err = live.eval(buf, filename)
  [3.231]

  [3.1657]
  + local _, definition_name = filename:match('^(%d+)-(.+)')

  + local status, err = live.eval(buf, definition_name)