More debugging

Author: timholy

test/snoop_inference.jl

@@ -1,6 +1,7 @@
 using SnoopCompile
 using SnoopCompile.SnoopCompileCore
 using SnoopCompile.FlameGraphs
+using AbstractTrees
 using Test
 using InteractiveUtils
 using Random
@@ -855,7 +856,9 @@ end
 
     # Loading StaleC should "heal" StaleA.use_stale(::Vector{Any})
     mius = only(methodinstances(StaleA.use_stale))
-    @test mius.cache.max_world == typemax(UInt)
+    cius = mius.cache
+    @test cius.max_world == typemax(UInt)
+    # @show cius.specptr cius.invoke cius.inferred
 
     trees = invalidation_trees(invalidations)
     tree = length(trees) == 1 ? only(trees) : trees[findfirst(tree -> !isempty(tree.backedges), trees)]
@@ -874,7 +877,6 @@ end
         StaleB.useA()                  # this should require recompilation
         StaleC.call_buildstale("hi")   # this should still be valid (healed during loading of StaleC)
     end
-    print_tree(tinf)
     @test isempty(SnoopCompile.StaleTree(first(smis).def, :noreason).backedges)  # constructor test
     healed = true
     # If we don't discount ones left in an invalidated state,
@@ -891,6 +893,8 @@ end
             display(hits)
             println()
         end
+        println("Here's tinf:")
+        print_tree(tinf)
     end
     root, hits = only(bes)
     mi_stale = only(filter(mi -> endswith(String(mi.def.file), "StaleA.jl"), methodinstances(StaleA.stale, (String,))))

test/testmodules/Stale/StaleC/src/StaleC.jl

@@ -2,7 +2,7 @@ module StaleC
 
 using StaleA
 
-StaleA.stale(x::String) = length(x)         # piracy is great for triggering invalidations
+StaleA.stale(x::String) = length(x)         # piracy is great (but not required) for triggering invalidations
 call_buildstale(x) = StaleA.build_stale(x)  # linking build_stale to a method in this module ensures caching
 
 call_buildstale("hey")                      # forces re/precompilation of `StaleA.use_stale(::Vector{Any})`