Purge and delete modules if after_verify/2 callback fails (#15220)

Author: sabiwara

lib/elixir/src/elixir_module.erl

@@ -241,14 +241,20 @@ compile(Meta, Module, ModuleAsCharlist, Block, Vars, Prune, E) ->
     {module, Module, Binary, Result}
   catch
     error:undef:Stacktrace ->
+      code:purge(Module),
+      code:delete(Module),
       case Stacktrace of
         [{Module, Fun, Args, _Info} | _] = Stack when is_list(Args) ->
           compile_undef(Module, Fun, length(Args), Stack);
         [{Module, Fun, Arity, _Info} | _] = Stack ->
           compile_undef(Module, Fun, Arity, Stack);
         Stack ->
           erlang:raise(error, undef, Stack)
-      end
+      end;
+    Kind:Reason:Stacktrace ->
+        code:purge(Module),
+        code:delete(Module),
+        erlang:raise(Kind, Reason, Stacktrace)
   after
     put_compiler_modules(CompilerModules),
     ets:delete(DataSet),

lib/elixir/test/elixir/module_test.exs

@@ -92,6 +92,8 @@ defmodule ModuleTest do
                  fn ->
                    Module.create(ModuleTest.Raise, contents, __ENV__)
                  end
+
+    refute Code.loaded?(ModuleTest.Raise)
   end
 
   test "supports read access to module from __after_compile__/2" do