Add check to NoExperimental whitelist to being current (oscar-system#…

…3558)
JohnAAbbott · Apr 3, 2024 · 915da71 · 915da71
1 parent 1623c8e
commit 915da71
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/experimental/Experimental.jl b/experimental/Experimental.jl
@@ -30,6 +30,7 @@ include_dependency(".")
 isfile(joinpath(expdir, "NoExperimental_whitelist_.jl")) || error("experimental/NoExperimental_whitelist_.jl is missing")
 if islink(joinpath(expdir, "NoExperimental_whitelist.jl"))
   include(joinpath(expdir, "NoExperimental_whitelist.jl"))
+  issubset(whitelist, union(exppkgs, oldexppkgs)) || error("experimental/NoExperimental_whitelist.jl contains unknown packages")
   filter!(in(whitelist), exppkgs)
   filter!(in(whitelist), oldexppkgs)
 end