@@ -192,23 +192,22 @@ end
192192module IRShow end # relies on string and IO operations defined in Base
193193baremodule TrimVerifier end # relies on IRShow, so define this afterwards
194194
195- function load_irshow! ()
196- if isdefined (Base, :end_base_include )
197- # This code path is exclusively for Revise, which may want to re-run this
198- # after bootstrap.
199- Compilerdir = Base. dirname (Base. String (@__SOURCE_FILE__ ))
200- include (IRShow, Base. joinpath (Compilerdir, " ssair/show.jl" ))
201- include (TrimVerifier, Base. joinpath (Compilerdir, " verifytrim.jl" ))
202- else
195+ if isdefined (Base, :end_base_include )
196+ # When this module is loaded as the standard library, include these files as usual
197+ include (IRShow, " ssair/show.jl" )
198+ include (TrimVerifier, " verifytrim.jl" )
199+ else
200+ function load_irshow! ()
201+ Base. delete_method (Base. which (verify_typeinf_trim, (IO, Vector{Any}, Bool)),)
203202 include (IRShow, " ssair/show.jl" )
204203 include (TrimVerifier, " verifytrim.jl" )
205204 end
206- end
207- if ! isdefined (Base, :end_base_include )
208- # During bootstrap, skip including this file and defer it to base/show.jl to include later
209- else
210- # When this module is loaded as the standard library, include this file as usual
211- load_irshow! ()
205+ function verify_typeinf_trim (io :: IO , codeinfos :: Vector{Any} , onlywarn :: Bool )
206+ # stub implementation
207+ msg = " --trim verifier not defined "
208+ onlywarn ? println (io, msg) : error (msg)
209+ end
210+ # During bootstrap, skip including these files and defer to base/show.jl to include it later
212211end
213212
214213end # baremodule Compiler
0 commit comments