Ben Wiederhake 0c86ee3876 Shell: Rewrite Shell::possibly_print_error without deprecated API ...

Also, not allocating copies of the current string all the time should be
a tiny bit more efficient. We can do this because the 'current_line' is
only used while reporting the error, so it will not be used once we
begin reading the next line.

2023-05-30 00:21:59 +02:00

87 KiB

Raw Blame History

View Raw