From 6085c9e180487ed3fad0580b3842948e98da8eba Mon Sep 17 00:00:00 2001 From: yuyi Date: Tue, 9 Jul 2024 22:13:59 +0800 Subject: [PATCH] vrepl: cleanup in vrepl.v --- cmd/tools/vrepl.v | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/cmd/tools/vrepl.v b/cmd/tools/vrepl.v index e36424127fe43a..fb9b876e301fba 100644 --- a/cmd/tools/vrepl.v +++ b/cmd/tools/vrepl.v @@ -54,12 +54,6 @@ const possible_statement_patterns = [ '#include ', 'for ', 'or ', - 'insert(', - 'delete(', - 'prepend(', - 'sort(', - 'clear(', - 'trim(', ' as ', ] @@ -508,9 +502,7 @@ fn run_repl(workdir string, vrepl_prefix string) int { r.lines << r.line } } else { - for r.temp_lines.len > 0 { - r.temp_lines.delete(0) - } + r.temp_lines.clear() } if r.is_pin { r.pin()