Using Editline in REPL