Existe uma maneira de redeclarar com segurança um símbolo?

Costumo me fazer experiências no REPL e direi algo como:

subset Bar of Int where * %% 57;

Então brinco Barum pouco com as coisas boas.

Tudo é feliz, até eu perceber que quero mudar a definição de Bar.

Se eu apenas redefinir Bar, recebo uma Redeclaration of symbolexceção.

Eu tentei usar MONKEY-TYPINGe augmentassim:

use MONKEY-TYPING;
augment subset Bar of Int where * %% 37;

Mas isso me rendeu o mesmo erro.

Por que eu quero isso? Para que eu possa iterar nas definições do meu subconjunto (ou classe ou outro símbolo), enquanto reutilizo os testes que já digitei que estão no meu histórico.

Eu acho que o REPL faz parte de sua mágica, EVALinserindo cada nova entrada em um novo escopo lexical aninhado. Portanto, se você declarar as coisas my, poderá sombrear as mesmas com as declarações inseridas posteriormente:

my subset Bar of Int where * %% 57;
sub take-Bar(Bar $n) { say "$n is Bar" }
take-Bar 57;

my subset Bar of Int where * %% 42;
sub take-Bar(Bar $n) { say "$n is Bar" }
take-Bar 42;

Se você omitir my, serão usados for subsete classdeclarações, oure uma vez que ouré realmente my+ adicionar o símbolo ao pacote anexo ...; Acontece que, se você excluir o símbolo do pacote, poderá sombrear novamente mais tarde:

subset Bar of Int where * %% 57;
GLOBAL::<Bar>:delete;
subset Bar of Int where * %% 42;
42 ~~ Bar;

NOTA: Esses resultados são apenas dos meus experimentos no REPL. Não tenho certeza se existem outros efeitos colaterais desconhecidos.

O REPLtem suas deficiências. É uma construção elaborada de EVALdeclarações que tentam trabalhar juntas. Às vezes isso não dá certo.

Acho que o melhor que poderíamos fazer é introduzir um comando REPL que faria esquecer tudo o que já havia feito antes. Patches bem-vindos! :-)