Commit 60d7cf34 authored by Jeff Smits's avatar Jeff Smits

Compile stuff before committing? Me?

parent c8b339e7
......@@ -41,7 +41,7 @@ impl<'a> MutContext<'a> {
targs: Vec<ATermRef>,
current: ATermRef)
-> Result<ATermRef> {
context.stack_tracer.borrow_mut().push(name.clone());
self.stack_tracer.borrow_mut().push(prim_name.to_owned());
let prim_ref = self.primitives
.iter()
.flat_map(|prims| prims.get(prim_name))
......@@ -50,9 +50,9 @@ impl<'a> MutContext<'a> {
.ok_or_else(|| Error::UndefinedPrimitive(prim_name.to_owned()))?;
let result = eval_prim_ref(prim_ref, self, sargs, targs, current);
if result.is_ok() {
context.stack_tracer.borrow_mut().pop_on_success();
self.stack_tracer.borrow_mut().pop_on_success();
} else {
context.stack_tracer.borrow_mut().pop_on_failure();
self.stack_tracer.borrow_mut().pop_on_failure();
}
result
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment