From 82e98e5ec05bd528367656b0fa5f86fbe3b1f4ad Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 4 May 2020 16:56:03 +0200 Subject: [PATCH] Look up functions --- src/parse/terms.rs | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/src/parse/terms.rs b/src/parse/terms.rs index 305cb6b..b1eed37 100644 --- a/src/parse/terms.rs +++ b/src/parse/terms.rs @@ -467,11 +467,8 @@ where crate::parse::error::Location::new(0, Some(0)))) } - // TODO: implement look-up - let declaration = - crate::FunctionDeclaration::new(function_name.to_string(), arguments.len()); - let declaration = std::rc::Rc::new(declaration); - + let declaration = self.declarations.find_or_create_function_declaration( + function_name, arguments.len()); return Ok(crate::Term::function(declaration, arguments)); }, _ => (),