JuliaPluto/Pluto.jl

`local function` works, but leads to multiple definitions error

Open

#3.545 aberto em 12 de mai. de 2026

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Julia (5.295 stars) (329 forks)batch import
good first issue

Description

A cell in pluto:

begin
    local function f(x)
        x^3
    end
    f(2)
end

This runs as expected and f is not available outside the begin-block, but if another cell also defines local function f(), I still get a Multiple definitions for f error.

Guia do colaborador

Pilha de tecnologia
None
Domain
backenddeveloper experience
Tipo Issue
bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 hours
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
fresh
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
clear
Prerequisites
Basic Julia knowledge
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
40
Direção de pesquisa
The issue involves Pluto's scoping mechanism for local functions across cells. Look into the source files related to variable scope analysis, likely in `src/analysis/Scoping.jl` or similar. Understanding how Pluto currently detects multiple definitions and why `local function` avoids the first pass check but still triggers the error is key. Consider exploring the notebook's execution model and cell isolation to propose a fix.