Re: How to handle these warnings?

[Daniel J. <dan...@gm...>]

Hi Sam,

Sam wrote:
> Not necessarily.
> When _redefining_ GF we can look
> at the old definition and carry the
> slot over to the new one, unless
> we also see
>
> (declare ((not dynamically-modifiable)))
>
> in the new definition.

Note that this may lead to situations where loading the exact same code
will lead to different results, depending on previous definitions: a GF
without any declare expression would be dynamically modifiable depending on
whether there was a previous definition. As such the specification whether
a GF is dynamically modifiable wouldn't be declarative ("declare" ??).

Best, Daniel