Packages that inject into Core/Base can't be unimported from a session

[FelixBenning]

I removed using Zygote at some point. Now I am getting an error _pullback(::Zygote.Context, ::typeof(Main.workspace250.flux), ::Float64)

Now this error probably do not have anything to do with pluto, but since Pluto aims to be reactive, it should probably stop using dependencies when the using/import statements were removed. So I probably should not get a reference to Zygote in my stacktrace. Well at least as long as Zygote is not in Base.

[fonsp]

Can you try to come up with a minimal working example?

[FelixBenning]

after deletion:

copy and paste this: (Note that this is not a normal minus sign, apparently I fatfingered a unicode thing into a minus sign somewhere)

f(x) = x -̢ 1

[fonsp]

What happens if you run the last cell again after removing the import?

[FelixBenning]

@fonsp The same error referencing Zygote (that is what I mean by "after deletion") - could you not reproduce that?

[fonsp]

Okay thanks! Haven't tried it yet 😅

[fonsp]

I think this can only be solved by restarting the julia process, but we probably don't want to do this automatically when you remove a using. Hmm... Maybe keep a list of "dangerous" packages that inject into Base?

[fonsp]

Much more important is #24, (which would also be solved by restarting the process).

[mcabbott]

This seems to be FluxML/Zygote.jl#260 BTW -- Zygote is committing piracy, not just adding methods.

[fonsp]

Not something that we are responsible for fixing, but #844 will recommend restarting the notebook after you remove an import.