From df0412dda71ef99c860d7845ea77e48bf9b77b86 Mon Sep 17 00:00:00 2001 From: Justin Ethier Date: Thu, 17 Sep 2020 17:58:38 -0400 Subject: [PATCH] Attempt to handle whitespace on windows --- runtime.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/runtime.c b/runtime.c index 74ccbda0..a8876858 100644 --- a/runtime.c +++ b/runtime.c @@ -7132,6 +7132,7 @@ static void _read_string(void *data, object cont, port_type *p) if (escaped_whitespace) { switch (c) { + case '\r': case '\t': case ' ': p->col_num++; @@ -7215,6 +7216,7 @@ static void _read_string(void *data, object cont, port_type *p) } break; } + case '\r': case '\t': case ' ': escaped_whitespace = 1;