diff --git a/TODO.md b/TODO.md index 940810f..eb9b9c3 100644 --- a/TODO.md +++ b/TODO.md @@ -1,6 +1,11 @@ # TODO Items + +- REPL: + - want to be able to do things like `:doc Identifier`, and have the language load up these definitions to the REPL + + * change 'trait' to 'interface' -think about idris-related ideas of multiple implementations of a type for an interface (+ vs * impl for monoids) diff --git a/schala-repl/src/lib.rs b/schala-repl/src/lib.rs index 71235d8..633a38c 100644 --- a/schala-repl/src/lib.rs +++ b/schala-repl/src/lib.rs @@ -143,7 +143,7 @@ impl Repl { options: Repl::get_options(), languages: languages, current_language_index: i, - interpreter_directive_sigil: '.', + interpreter_directive_sigil: ':', console } } @@ -176,6 +176,7 @@ impl Repl { fn run(&mut self) { println!("Schala MetaInterpreter version {}", VERSION_STRING); + println!("Type {}help for help with the REPL", self.interpreter_directive_sigil); self.console.get_history().load(".schala_history").unwrap_or(());