REPL: `exit` to exit
parent
f4f1622528
commit
a2b80d5b3d
|
@ -851,7 +851,7 @@ fn run_repl() []string {
|
||||||
exit(1)
|
exit(1)
|
||||||
}
|
}
|
||||||
println('V $Version')
|
println('V $Version')
|
||||||
println('Use Ctrl-D to exit')
|
println('Use Ctrl-D or `exit` to exit')
|
||||||
println('For now you have to use println() to print values, this will be fixed soon\n')
|
println('For now you have to use println() to print values, this will be fixed soon\n')
|
||||||
file := TmpPath + '/vrepl.v'
|
file := TmpPath + '/vrepl.v'
|
||||||
mut lines := []string
|
mut lines := []string
|
||||||
|
@ -862,7 +862,7 @@ fn run_repl() []string {
|
||||||
continue
|
continue
|
||||||
}
|
}
|
||||||
line = line.trim_space()
|
line = line.trim_space()
|
||||||
if line == '' {
|
if line == '' || line == 'exit' {
|
||||||
break
|
break
|
||||||
}
|
}
|
||||||
// Save the source only if the user is printing something,
|
// Save the source only if the user is printing something,
|
||||||
|
|
|
@ -622,8 +622,6 @@ pub fn (s string) ustring() ustring {
|
||||||
}
|
}
|
||||||
for i := 0; i < s.len; i++ {
|
for i := 0; i < s.len; i++ {
|
||||||
char_len := utf8_char_len(s.str[i])
|
char_len := utf8_char_len(s.str[i])
|
||||||
//# char_len =UTF8_CHAR_LEN(s.str[i]);
|
|
||||||
// println('cl=$char_len')
|
|
||||||
res.runes << i
|
res.runes << i
|
||||||
i += char_len - 1
|
i += char_len - 1
|
||||||
res.len++
|
res.len++
|
||||||
|
@ -644,8 +642,6 @@ pub fn (s string) ustring_tmp() ustring {
|
||||||
res.runes.len = s.len
|
res.runes.len = s.len
|
||||||
mut j := 0
|
mut j := 0
|
||||||
for i := 0; i < s.len; i++ {
|
for i := 0; i < s.len; i++ {
|
||||||
//char_len := 0
|
|
||||||
//# char_len =UTF8_CHAR_LEN(s.str[i]);
|
|
||||||
char_len := utf8_char_len(s.str[i])
|
char_len := utf8_char_len(s.str[i])
|
||||||
res.runes[j] = i
|
res.runes[j] = i
|
||||||
j++
|
j++
|
||||||
|
@ -656,18 +652,13 @@ pub fn (s string) ustring_tmp() ustring {
|
||||||
}
|
}
|
||||||
|
|
||||||
fn (u ustring) substr(start, end int) string {
|
fn (u ustring) substr(start, end int) string {
|
||||||
// println('substr($start, $end)')
|
|
||||||
// println('runes=')
|
|
||||||
// println(u.runes)
|
|
||||||
start = u.runes[start]
|
start = u.runes[start]
|
||||||
// handle last char
|
|
||||||
if end >= u.runes.len {
|
if end >= u.runes.len {
|
||||||
end = u.s.len
|
end = u.s.len
|
||||||
}
|
}
|
||||||
else {
|
else {
|
||||||
end = u.runes[end]
|
end = u.runes[end]
|
||||||
}
|
}
|
||||||
// println('fast $start, $end')
|
|
||||||
return u.s.substr(start, end)
|
return u.s.substr(start, end)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue