I often find myself experimenting in the REPL and I will say something like:
subset Bar of Int where * %% 57;
Then I play around with checks on the Bar
-ness for things for a bit.
Everything is happy, until I realize that I want to change the definition of Bar
.
If I just redefine Bar
, I get a Redeclaration of symbol
exception.
I tried using MONKEY-TYPING
and augment
like this:
use MONKEY-TYPING;
augment subset Bar of Int where * %% 37;
But that netted me the same error.
Why do I want this? So I can iterate on my subset (or class, or other symbol) definitions, while reusing the tests I've already typed that are in my history.