Adam Naumowicz wrote:
What I'm rather thinking of is a "magic" built-in procedure to initialize some given variable the same way it's initialized on creation. Yes, it's magic again (though it would require an explicit call, so it's not magic behind the scenes). And since it would do all the initializations (including discriminants and files, e.g.), it would be more consistent ...
That sounds reasonable, but probably requires much effort involved ;-(
As I tried to explain, it probably wouldn't, since it would do just the same that already happens when variables are created. AFAICS (i.e., if I haven't overlooked anything), the main problem is to agree on a name ;-), then I could implement it as a matter of minutes ...
Frank