private void Error(string msg) { // leave this here for scanner testing if (_output != null) _output.WriteLine("-- line {0}, col {1}: {2}", _line, _col, msg); }