From 7527bc76f8f4ca2a4908f6d0e7ffc86a1ffc2619 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 12 Jul 2018 00:14:14 -0600 Subject: [PATCH] update README --- README.md | 2 +- src/prolog/toplevel.rs | 9 +-------- 2 files changed, 2 insertions(+), 9 deletions(-) diff --git a/README.md b/README.md index a82b3e03..6a4ddf16 100644 --- a/README.md +++ b/README.md @@ -26,7 +26,7 @@ Extend rusty-wam to include the following, among other features: associativity and precedence (_done_). * Bignum, rational number and floating point arithmetic (_done_). * Built-in control operators (`,`, `;`, `->`, etc.) (_done_). -* A revised, not-terrible module system (_in progress_). +* A revised, not-terrible module system (_done, I think_). * Built-in predicates for list processing and top-level declarative control (`setup_call_control/3`, `call_with_inference_limit/3`, etc.) (NEEDS REVISION) diff --git a/src/prolog/toplevel.rs b/src/prolog/toplevel.rs index 2c82ea56..3455d865 100644 --- a/src/prolog/toplevel.rs +++ b/src/prolog/toplevel.rs @@ -425,7 +425,7 @@ impl RelationWorker { } else if name.as_str() == ":" && terms.len() == 2 { let callee = *terms.pop().unwrap(); let mod_name = *terms.pop().unwrap(); - + module_resolution_call(mod_name, callee) } else if name.as_str() == "->" && terms.len() == 2 { let conq = *terms.pop().unwrap(); @@ -598,13 +598,6 @@ impl<'a, R: Read> TopLevelWorker<'a, R> { let tl = merge_clauses(&mut tls)?; if tls.is_empty() { - /* - match tl.name() { - Some(name) => self.add_name(name, tl.arity(), clause_name!("user")), - _ => {} - }; - */ - Ok(deque_to_packet(tl, results)) } else { Err(ParserError::InconsistentEntry) -- 2.54.0