public ParseException(SourcePositionInfo position) : this($"Parsing failed in {position.Filename} at line {position.Line} character {position.Character}", position) { }
public ParseException(string message, SourcePositionInfo position) : base(message) { Position = position; }