Previous commit broke UTF-8 lexing, by changing the get_char

semantics on the input stream to wide character input.
Also, reading a query the command line (-c) must
read bytes from a UTF-8 encoding of the string.
We introduce a new get_byte function which can extract bytes
from streams which provide it.

1 files changed, 1 insertions, 1 deletions

diff --git a/txr.c b/txr.c
index 9cdb03d5..58bfffb3 100644
--- a/txr.c
+++ b/txr.c
@@ -307,7 +307,7 @@ static int txr_main(int argc, char **argv)
   if (specstring) {
     spec_file = L"cmdline";
     spec_file_str = string(spec_file);
-    yyin_stream = make_string_input_stream(specstring);
+    yyin_stream = make_string_byte_input_stream(specstring);
   } else if (spec_file_str) {
     if (wcscmp(c_str(spec_file_str), L"-") != 0) {
       FILE *in = w_fopen(c_str(spec_file_str), L"r");