Fix repl setprompt

fix #8031