public String ErrorToString(SourceError err) { return($"[ERROR] {err.message} at {path}:{err.pos.lineNo}:{err.pos.columnNo}"); }
public void ReportError(SourceError err) { errors.Add(err); }