Skip to content

changed eval to ref to make it work for julia 1.12 #39

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
cjuli1 merged 1 commit into from
Mar 18, 2026
Merged

changed eval to ref to make it work for julia 1.12 #39

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 7 additions & 8 deletions src/local_db.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -170,24 +170,23 @@ get_phaseinoffset(db::LocalDB) = get_phaseinoffset(get_input(db))
get_phaseindelta(db::LocalDB) = get_phaseindelta(get_input(db))
get_phaseinsteps(db::LocalDB) = get_phaseinsteps(get_input(db))

const _LOCAL_DB_NAME = :_local_db
const _LOCAL_DB_NAME = Ref{Union{LocalDB, Nothing}}(nothing)
function create_local_db()
if (_LOCAL_DB_NAME in names(Main))
db = getfield(Main, _LOCAL_DB_NAME)
isnothing(db) || error("$_LOCAL_DB_NAME already exists")
if _LOCAL_DB_NAME[] === nothing
_LOCAL_DB_NAME[] = LocalDB()
else
error("$_LOCAL_DB_NAME already exists")
end
Core.eval(Main, Expr(:(=), _LOCAL_DB_NAME, LocalDB()))
return
end

function get_local_db()
(_LOCAL_DB_NAME in names(Main)) || error("$_LOCAL_DB_NAME has not been created")
db = getfield(Main, _LOCAL_DB_NAME)
db = _LOCAL_DB_NAME[]
isnothing(db) && error("$_LOCAL_DB_NAME has been freed")
return db::LocalDB
end

function free_local_db()
Core.eval(Main, Expr(:(=), _LOCAL_DB_NAME, nothing))
_LOCAL_DB_NAME[] = nothing
return
end
Loading