Я часто экспериментирую с REPL, и я скажу что-то вроде:
subset Bar of Int where * %% 57;
Затем я Bar
немного поиграюсь с проверками на наличие вещей.
Все устраивает, пока я не пойму, что хочу изменить определение Bar
.
Если я просто переопределю Bar
, я получу Redeclaration of symbol
исключение.
Я попытался использовать MONKEY-TYPING
и augment
вот так:
use MONKEY-TYPING;
augment subset Bar of Int where * %% 37;
Но это привело меня к той же ошибке.
Зачем мне это? Таким образом, я могу перебрать определения своего подмножества (или класса, или другого символа), одновременно используя уже набранные тесты, которые есть в моей истории.
use MONKEY-TYPING
и ,augment
но они не работают должным образом в РЕПЛЕ (пока?) , Потому что нужно много магии и уток ленты.supersede
, но я считаю, что в настоящее время это остается невыполненным.