Add applicable check to @show_special

src/PrettyPrinting.jl

@@ -1389,12 +1389,12 @@
 
 const CurrentModule = Ref(Main)
 
 function set_current_module(m)
   CurrentModule[] = m
 end
 
 function get_current_module()
   return CurrentModule[]
 end
 
 """
@@ -1406,9 +1406,9 @@
 
 This function errors if `obj` does not support attribute storage.
 """
 function set_name!(obj, name::String; override::Bool=true)
   override || isnothing(get_attribute(obj, :name)) || return
   set_attribute!(obj, :name => name)
 end
 
 """
@@ -1421,11 +1421,11 @@
 
 This function errors if `obj` does not support attribute storage.
 """
 function set_name!(obj; override::Bool=true)
   override || isnothing(get_attribute(obj, :name)) || return
   sy = find_name(obj)
   isnothing(sy) && return
   set_name!(obj, string(sy); override=true)
 end
 
 """
@@ -1434,7 +1434,7 @@
 May be overloaded to provide a fallback name for the object `obj` in [`AbstractAlgebra.get_name`](@ref).
 The default implementation returns `nothing`.
 """
 extra_name(obj) = nothing
 
 """
     find_name(obj, M = Main; all::Bool = false) -> Union{String,Nothing}
@@ -1454,45 +1454,45 @@
 !!! warning
     This function should not be used directly, but rather through [`AbstractAlgebra.get_name`](@ref).
 """
 function find_name(obj, M=Main; all::Bool=false)
   AbstractAlgebra._is_attribute_storing_type(typeof(obj)) || return find_new_name(obj, M; all)
 
   cached_name = get_attribute(obj, :cached_name)
   if !isnothing(cached_name)
    cached_name_sy = Symbol(cached_name)
     if M === Main && get_current_module() != Main
       if isdefined(get_current_module(), cached_name_sy) && getproperty(get_current_module(), cached_name_sy) === obj
         return cached_name
       end
     end
     if isdefined(M, cached_name_sy) && getproperty(M, cached_name_sy) === obj
       return cached_name
     end
   end
   name = find_new_name(obj, M; all)
   set_attribute!(obj, :cached_name => name)
   return name
 end
 
 function find_new_name(obj, M=Main; all::Bool=false)
   # in Documenter, the examples are not run in the REPL.
   # in the REPL: A = ... adds A to the global name space (Main....)
   # in Documenter (doctests) all examples are run in their own module
   # which is stored in CurrentModule, hence we need to search there as well
   #furthermore, they are not exported, hence the "all" option
   if M === Main && get_current_module() != Main
     a = find_name(obj, get_current_module(), all=true)
     if !isnothing(a)
       return a
     end
   end
   for a = names(M; all=all)
     a === :ans && continue
     if isdefined(M, a) && getfield(M, a) === obj
       return string(a)
     end
   end
   return nothing
 end
 
 """
@@ -1504,19 +1504,19 @@
 2. The name of a variable in global (`Main` module) namespace with value bound to the object `obj` (see [`AbstractAlgebra.find_name`](@ref)).
 3. The name returned by [`AbstractAlgebra.extra_name`](@ref).
 """
 function get_name(obj)
   if AbstractAlgebra._is_attribute_storing_type(typeof(obj))
     name = get_attribute(obj, :name)
     isnothing(name) || return name
   end
 
   sy = find_name(obj)
   isnothing(sy) || return string(sy)
 
   name_maybe = extra_name(obj)::Union{String,Nothing}
   isnothing(name_maybe) || return name_maybe
 
   return nothing
 end
 
 """
@@ -1536,13 +1536,13 @@
       local i = $(esc(io))
       local o = $(esc(obj))
       if get(i, :supercompact, false) || get(i, :compact, false)
         name = get_name(o)
         if !isnothing(name)
           if AbstractAlgebra.PrettyPrinting._supports_io_custom(i)
             print(i, LowercaseOff())
           end
           print(i, name)
           return
         end
       end
     end
@@ -1563,9 +1563,9 @@
       local i = $(esc(io))
       local o = $(esc(obj))
       s = get_attribute(o, :show)
-      if s !== nothing
+      if s !== nothing && applicable(s, i, o)
         s(i, o)
         return
       end
     end
   )
@@ -1586,7 +1586,7 @@
       local m = $(esc(mime))
       local o = $(esc(obj))
       s = get_attribute(o, :show)
-      if s !== nothing
+      if s !== nothing && applicable(s, i, m, o)
         s(i, m, o)
         return
       end
@@ -1609,7 +1609,7 @@
       local o = $(esc(obj))
       local p = parent(o)
       s = get_attribute(p, :show_elem)
-      if s !== nothing
+      if s !== nothing && applicable(s, i, o)
         s(i, o)
         return
       end
@@ -1633,7 +1633,7 @@
       local o = $(esc(obj))
       local p = parent(o)
       s = get_attribute(p, :show_elem)
-      if s !== nothing
+      if s !== nothing && applicable(s, i, m, o)
         s(i, m, o)
         return
       end