vrepl: cleanup in vrepl.v (#21834)

This commit is contained in:
yuyi 2024-07-10 02:04:59 +08:00 committed by GitHub
parent 1229ccf98a
commit 70e78cc766
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -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()