rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove dead code

Browse Source
This commit is contained in:
Mark Thom
2017-05-10 10:47:05 -06:00
parent 91b9aed33a
commit 9afa37a94b
1 changed files with 11 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
src/prolog/codegen.rs
View File

@@ -22,20 +22,10 @@ pub enum EvalSession<'a> {
SubsequentQuerySuccess, SubsequentQuerySuccess,
} }
impl<'a> EvalSession<'a> { impl<'a, TermMarker: Allocator<'a>> CodeGenerator<'a, TermMarker>
#[allow(dead_code)] {
pub fn failed_query(&self) -> bool {
if let &EvalSession::QueryFailure = self {
true
} else {
false
}
}
}
impl<'a, TermMarker: Allocator<'a>> CodeGenerator<'a, TermMarker> {
pub fn new() -> Self { pub fn new() -> Self {
CodeGenerator { marker: Allocator::new(), CodeGenerator { marker: Allocator::new(),
var_count: HashMap::new() } var_count: HashMap::new() }
} }
@@ -258,11 +248,10 @@ impl<'a, TermMarker: Allocator<'a>> CodeGenerator<'a, TermMarker> {
match toc { match toc {
&TermOrCut::Term(Term::Clause(_, ref name, _)) &TermOrCut::Term(Term::Clause(_, ref name, _))
| &TermOrCut::Term(Term::Constant(_, Constant::Atom(ref name))) => { | &TermOrCut::Term(Term::Constant(_, Constant::Atom(ref name))) =>
if let &mut Line::Control(ref mut ctrl) = body.last_mut().unwrap() { if let &mut Line::Control(ref mut ctrl) = body.last_mut().unwrap() {
*ctrl = ControlInstruction::Execute(name.clone(), last_arity); *ctrl = ControlInstruction::Execute(name.clone(), last_arity);
} },
},
_ => dealloc_index = body.len() _ => dealloc_index = body.len()
}; };