initialization failure with defpacustom :eval

[coquser]

Hi,

when using defpacustom with :eval, the eval form is not evaluated when initializing the variable. proof-set-value is properly called during initialization (ie. when the defcustom is evaluated), but the :set function is not defined yet at this point, so the eval form is skipped.

Bye,

Hendrik

[coquser]

This problem is not urgent, because I use some work around. I reported this more or less for documentation purposes.

Hendrik