public override string ToString()
{
var result = GenerateTraceback();
result += $"{this.ErrorName} : {this.ErrorDetails}";
result += "\n\n" + StringWithArrows.Get(this.Pos_Start.Text, this.Pos_Start, this.Pos_End);
return(result);
}
public override string ToString()
{
return($"{ErrorName} : {ErrorDetails}\nFile : {Pos_Start.Fn}, Line : {Pos_Start.Ln + 1 }, Col : {Pos_Start.Col + 1}"
+ "\n\n" + StringWithArrows.Get(Pos_Start.Text, Pos_Start, Pos_End));
}
