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

Fix Beta

Browse Source
This commit is contained in:
Adrián Arroyo Calle
2021-01-16 22:32:50 +01:00
parent 2ed2e6d62f
commit 1d538ee70c
1 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/machine/machine_state_impl.rs
View File

@@ -3130,9 +3130,14 @@ impl MachineState {
) { ) {
let interrupted = INTERRUPT.load(std::sync::atomic::Ordering::Relaxed); let interrupted = INTERRUPT.load(std::sync::atomic::Ordering::Relaxed);
if INTERRUPT.compare_and_swap(interrupted, false, std::sync::atomic::Ordering::Relaxed) { match INTERRUPT.compare_exchange(interrupted, false, std::sync::atomic::Ordering::Relaxed, std::sync::atomic::Ordering::Relaxed) {
self.throw_interrupt_exception(); Ok(interruption) => {
return; if interruption {
self.throw_interrupt_exception();
return;
}
},
Err(_) => unreachable!()
} }
let mut default_call_policy: Box<dyn CallPolicy> = Box::new(DefaultCallPolicy {}); let mut default_call_policy: Box<dyn CallPolicy> = Box::new(DefaultCallPolicy {});