diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2021-11-23 20:27:27 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2021-11-25 09:53:44 +0200 |
| commit | 4bfaeda8039acc2a25891a778a51ae7dce1e0d32 (patch) | |
| tree | 6fc50fd802625e65ae32bbc8f79e9adc757d842a /src/builtins.rs | |
| parent | efa0a2676dccf23195cf0ab68510bfbac720f4a8 (diff) | |
Get term reduction (without Lazy) seemingly working
Diffstat (limited to 'src/builtins.rs')
| -rw-r--r-- | src/builtins.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/builtins.rs b/src/builtins.rs index 46b6ec5..fa029a9 100644 --- a/src/builtins.rs +++ b/src/builtins.rs @@ -21,7 +21,7 @@ pub fn make_identity_function() -> Term { Term::Abstraction(v, Rc::new(Term::Variable(v))) } -pub fn try_builtin_symbol_to_value(symbol: &ast::Symbol) -> Option<Term> { +pub fn try_builtin_symbol_to_term(symbol: &ast::Symbol) -> Option<Term> { match symbol.as_str() { "true" => Some(make_boolean_true_function()), "false" => Some(make_boolean_false_function()), |