Function pushCurrentFile

src/utility.mjs:51–53

(f)

let currentFile = [];

export function pushCurrentFile(f) {
  currentFile.push(f);
}

export function popCurrentFile() {
  currentFile.pop();