From 6ab91f9af7d010824c2225a206beb5f537f33a7d Mon Sep 17 00:00:00 2001 From: MilesCranmer Date: Sun, 30 Jun 2024 14:24:58 +0100 Subject: [PATCH] avoid specialization on documentation generation --- src/documentation.jl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/documentation.jl b/src/documentation.jl index c87817b..cdfd823 100644 --- a/src/documentation.jl +++ b/src/documentation.jl @@ -1,10 +1,10 @@ -function _help_header(interface::Type{<:Interface}) +function _help_header(@nospecialize(interface::Type{<:Interface})) m_keys = mandatory_keys(interface) o_keys = optional_keys(interface) return "An Interfaces.jl `Interface` with mandatory components `$m_keys` and optional components `$o_keys`." end -function _extended_help(interface::Type{<:Interface}) +function _extended_help(@nospecialize(interface::Type{<:Interface})) comp = components(interface) io_buf = IOBuffer() @@ -20,7 +20,7 @@ function _extended_help(interface::Type{<:Interface}) return String(take!(io_buf)) end -function _list_keys(io::IO, component) +function _list_keys(io::IO, @nospecialize(component)) for key in keys(component) print(io, "* `$key`") values = component[key]