Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

`show` of `GeneratedKernelError{Msg}` throws for an unbound `Msg`

Aperta Adatta ai principianti
  • Qualcosa non va?
#897 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
2/5
Tempo stimato
1-3 ore
Idoneità per principianti
72/100
Tipo di issue
Bug
Chiarezza
Specificata chiaramente
Stato di attività
Attiva
Ambito
developer-experience

Direzione di ricerca

Il metodo show per GeneratedKernelError è definito in src/macros.jl, e le due riproduzioni del segnalatore sono which(show, (IO, Type{G{:x}})) e show(stdout, G{TypeVar(:Msg)}). Inizia eseguendo queste righe per vedere l'UndefVarError, poi esamina come viene confrontato il parametro statico Msg del metodo quando l'argomento di tipo è un TypeVar. È completato quando entrambe le riproduzioni stampano un nome di tipo leggibile senza generare eccezioni, e quando la stampa di un normale tipo GeneratedKernelError{:msg} mostra ancora il messaggio come prima.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

The show method for GeneratedKernelError types (src/macros.jl) throws when the type parameter is not bound to a value. That happens whenever the method's own signature is printed, e.g. by which or methods, or in a stack frame:

julia> using KernelAbstractions

julia> const G = KernelAbstractions.GeneratedKernelError;

julia> which(show, (IO, Type{G{:x}}))
ERROR: UndefVarError: `Msg` not defined in static parameter matching

julia> show(stdout, G{TypeVar(:Msg)})
ERROR: UndefVarError: `Msg` not defined in static parameter matching

function Base.show(io::IO, ::Type{GeneratedKernelError{Msg}}) where {Msg} also matches GeneratedKernelError{T} for a TypeVar T, but Msg is then not a static parameter value. Restricting the method to a bound message fixes it, for example:

function Base.show(io::IO, T::Type{<:GeneratedKernelError})
    T isa DataType && T.parameters[1] isa Symbol ||
        return invoke(show, Tuple{IO, Type}, io, T)
    msg = T.parameters[1]
    ...
end

Seen with KernelAbstractions 0.10.0 on Julia 1.12.7, where it broke the printing of some stack frames.

Lingua principale
Julia
Stelle
529
Fork
87
Merge medio
1g 2h
PR unite (30g)
65

Preparare l'ambiente

Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di JuliaGPU/KernelAbstractions.jl

Tutte le issue di JuliaGPU/KernelAbstractions.jl

Issue simili

Altre issue su Julia

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.