From 748250d383a6e29aafa52b274d173bb0150204f9 Mon Sep 17 00:00:00 2001 From: greg Date: Mon, 23 Apr 2018 19:45:58 -0700 Subject: [PATCH] Swap sigil from . to : --- TODO.md | 5 +++++ schala-repl/src/lib.rs | 3 ++- 2 files changed, 7 insertions(+), 1 deletion(-) 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(());