Swap sigil from . to :
This commit is contained in:
parent
f795612884
commit
1c0365529d
5
TODO.md
5
TODO.md
@ -1,6 +1,11 @@
|
|||||||
|
|
||||||
# TODO Items
|
# 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'
|
* change 'trait' to 'interface'
|
||||||
-think about idris-related ideas of multiple implementations of a type for an interface (+ vs * impl for monoids)
|
-think about idris-related ideas of multiple implementations of a type for an interface (+ vs * impl for monoids)
|
||||||
|
|
||||||
|
@ -143,7 +143,7 @@ impl Repl {
|
|||||||
options: Repl::get_options(),
|
options: Repl::get_options(),
|
||||||
languages: languages,
|
languages: languages,
|
||||||
current_language_index: i,
|
current_language_index: i,
|
||||||
interpreter_directive_sigil: '.',
|
interpreter_directive_sigil: ':',
|
||||||
console
|
console
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -176,6 +176,7 @@ impl Repl {
|
|||||||
|
|
||||||
fn run(&mut self) {
|
fn run(&mut self) {
|
||||||
println!("Schala MetaInterpreter version {}", VERSION_STRING);
|
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(());
|
self.console.get_history().load(".schala_history").unwrap_or(());
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user