core: Rewrite string reader.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 8 Apr 2018 21:14:45 +0000 (23:14 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 8 Apr 2018 21:14:45 +0000 (23:14 +0200)
commit45e347588c8361355bc89469ff62ab830b6dbeda
tree29e3bd965143bd317098dab98f4ad2c24dc7d8cd
parent7d32ecd906376956f01723a32cc1e39b3e9b9ab2
core: Rewrite string reader.

* src/reader.c (reader_read_string): Rewrite, create much less
  garbage.
  (append_char): Remove.
src/reader.c