]> Repositorios git - scryer-prolog.git/commitdiff
don't truly truncate the heap.
authorMark Thom <[email protected]>
Sat, 9 Dec 2017 04:38:52 +0000 (21:38 -0700)
committerMark Thom <[email protected]>
Sat, 9 Dec 2017 04:38:52 +0000 (21:38 -0700)
src/prolog/io.rs

index c3043fb685bb5469ded32318747a0354ca80c12f..298ecb3542e899a6fc872a4a280388586947dcba 100644 (file)
@@ -368,14 +368,12 @@ pub fn eval<'a, 'b: 'a>(wam: &'a mut Machine, tl: &'b TopLevel) -> EvalSession<'
                 Err(e)   => return EvalSession::ParserError(e)
             };
 
-            print_code(&compiled_pred);
             wam.add_predicate(clauses, compiled_pred)
         },
         &TopLevel::Fact(ref fact) => {
             let mut cg = CodeGenerator::<DebrayAllocator>::new();
 
             let compiled_fact = cg.compile_fact(fact);
-            print_code(&compiled_fact);
             wam.add_fact(fact, compiled_fact)
         },
         &TopLevel::Rule(ref rule) => {
@@ -386,7 +384,6 @@ pub fn eval<'a, 'b: 'a>(wam: &'a mut Machine, tl: &'b TopLevel) -> EvalSession<'
                 Err(e) => return EvalSession::ParserError(e)                
             };
 
-            print_code(&compiled_rule);
             wam.add_rule(rule, compiled_rule)
         },
         &TopLevel::Query(ref query) => {
@@ -397,7 +394,6 @@ pub fn eval<'a, 'b: 'a>(wam: &'a mut Machine, tl: &'b TopLevel) -> EvalSession<'
                 Err(e) => return EvalSession::ParserError(e)
             };
 
-            print_code(&compiled_query);
             wam.submit_query(compiled_query, cg.take_vars())
         }
     }