update README

diff --git a/README.md b/README.md
index a82b3e03f93c8721ea454b99f50dbdfec8ea07fb..6a4ddf1670194275da214d63c4fde29b49ba1997 100644 (file)
--- 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 2c82ea56e1d6ad015b5ea847f4b24f2674157b4c..3455d865eb1c4b9ac82264f3f021ac39c0966ee7 100644 (file)
--- 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)