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

fix deadlock in load_library_as_stream

Browse Source
This commit is contained in:
Skgland
2023-08-27 19:56:55 +02:00
committed by Bennet Bleßmann
parent 13cbff7eab
commit 70b6cc8e55
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/machine/system_calls.rs
View File

@@ -7846,7 +7846,9 @@ impl Machine {
use crate::machine::LIBRARIES; use crate::machine::LIBRARIES;
match LIBRARIES.borrow().get(&*library_name.as_str()) { let lib_ref = LIBRARIES.borrow();
let lib = lib_ref.get(&*library_name.as_str());
match lib {
Some(library) => { Some(library) => {
let lib_stream = Stream::from_static_string(library, &mut self.machine_st.arena); let lib_stream = Stream::from_static_string(library, &mut self.machine_st.arena);
unify!( unify!(