diff options
| -rw-r--r-- | samples/sample1.code | 6 | ||||
| -rw-r--r-- | src/runtime.rs | 9 |
2 files changed, 8 insertions, 7 deletions
diff --git a/samples/sample1.code b/samples/sample1.code index b72d496..3d90d32 100644 --- a/samples/sample1.code +++ b/samples/sample1.code @@ -4,6 +4,6 @@ # factorial 10; -true - (id 1) - (id 2); +fn a b = b; +fn; +true;
\ No newline at end of file diff --git a/src/runtime.rs b/src/runtime.rs index ca4457e..8f2c0e8 100644 --- a/src/runtime.rs +++ b/src/runtime.rs @@ -214,16 +214,17 @@ pub fn process(program: &ast::Program) { let evaled_expr = process_expr(&symbol_table, expression, &bound_params); let mut abstracted_expr: Rc<Term> = evaled_expr; - // bound_params.iter().rev().for_each(|(_, v)| { - // abstracted_expr = Rc::new(Value::Function(*v, Rc::clone(&abstracted_expr))); - // }); + bound_params.iter().rev().for_each(|(_, v)| { + abstracted_expr = Rc::new(Term::Abstraction(*v, Rc::clone(&abstracted_expr))); + }); symbol_table.insert(symbol.clone(), abstracted_expr); } ast::Statement::Expression(expression) => { println!("[runtime] evaluating free-standing expression"); let term = process_expr(&symbol_table, expression, &vec![]); - println!("Result:\n{}", term); + println!("Term:\n{}", term); + // let value = evaluate_term(&symbol_table, term); } } } |