affine/flesh
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

normalize inputs via shell

Browse source
This commit is contained in:
Aidan Hahn 2021-09-18 17:02:40 -07:00
parent 72598c2168
commit a8e2484212
No known key found for this signature in database
GPG key ID: 327711E983899316
1 changed files with 11 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/bin/main.rs
View file

@ -51,12 +51,21 @@ fn main() {
}
loop {
// todo: configurable prompt
// TODO: configurable prompt
let readline = rl.readline("λ ");
match readline {
Ok(line) => {
rl.add_history_entry(line.as_str());
match lex(line.as_str().to_owned()) {
let mut l = line.as_str().to_owned();
if !l.starts_with("(") {
l = "(".to_owned() + &l;
}
if !l.ends_with(")") {
l = l + ")";
}
match lex(l) {
Ok(a) => {
match eval(a.clone(), vt.clone(), ft.clone(), false) {
Ok(a) => {