aboutsummaryrefslogtreecommitdiff
path: root/src/main.rs
blob: 80a40663181c0536257863b4cd93ef8b23179341 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64

use melisp::parse::parsetree::parse_to_ast;
use melisp::sexp::{SExp::*, SLeaf::Nil};
use std::{io, io::Write};

fn main() {
    match repl() {
        Ok(()) => println!("bye :)"),
        Err(e) => {
            println!("Error: {}", e);
            main();
        },
    }
}

fn repl() -> Result<(), String> {

    let stdin = io::stdin();
    
    let mut input = String::new();

    let mut stdout = io::stdout();
    
    print!("> ");
    match stdout.flush() {
        Ok(_) => (),
        Err(_) => println!("Enter s-expression:"),
    };
    let mut success = stdin.read_line(&mut input);

    while success.is_ok() && input != "exit\n" {
        if let Ok(0) = success {
            print!("\n");
            break;
        }

        let expression = match parse_to_ast(&input) {
            Ok(SCons(a, b)) if *b == Atom(Nil) => Ok(*a),
            t => t
        }?;

        let ty = expression.type_check().map_err(|e| e.to_string())?;

        let result = expression.multistep()?;

        println!("{} : {}", result, ty);

        print!("> ");
        match stdout.flush() {
            Ok(_) => (),
            Err(_) => println!("Enter s-expression:"),
        };
        input.clear();
        success = stdin.read_line(&mut input);

    }

    match success {
        Ok(_) => Ok(()),
        Err(e) => Err(format!("read error: {e}")),
    }

}