You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Julia will soon (I hope) merge JuliaLang/julia#44527 which will break GAP.jl; but everything is in place to fix that. To ensure the switch will be as quick and painless as possible, I am noting down what needs to be done here. (Also, once the breakage starts I can just point people here to explain what's going on).
modified so that the init_block is not set resp. executed for Julia >= 1.10 with jl_reinit_foreign_type (which may eventually include 1.9, as there are plans to backport this)
Julia will soon (I hope) merge JuliaLang/julia#44527 which will break GAP.jl; but everything is in place to fix that. To ensure the switch will be as quick and painless as possible, I am noting down what needs to be done here. (Also, once the breakage starts I can just point people here to explain what's going on).
jl_reinit_foreign_type
if available gap-system/gap#5224jl_reinit_foreign_type
if available gap-system/gap#5224 appliedinit_block
is not set resp. executed for Julia>= 1.10withjl_reinit_foreign_type
(which may eventually include 1.9, as there are plans to backport this)jl_reinit_foreign_type
if available #845The text was updated successfully, but these errors were encountered: