Re: Strange error message

["Randy Brukardt" <randy@rrsoftware.com>]

"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message 
news:wcctx84qqgk.fsf@shell01.TheWorld.com...
...
> [*] Your H_Val has a default of 0, so it might make sense to define
> the language to provide an automatic default overriding:
>
>    function Create return High is
>    begin
>        return (Base with H_Val => 0);
>    end Create;
>
> That's not how the language is now, and I suspect Dmitry and Randy
> would be appalled at the idea.  I don't really understand their
> point of view -- I mean, I love consistency and all, but "A FOOLISH
> consistency is the hobgloblin... etc".

Not speaking for others, but my concern with automatically generating Create 
for null records is that it is a maintenance problem. When one later adds a 
component (and you ALWAYS end up adding a component sooner or later), you 
suddenly have to override a bunch of routines. This is extremely annoying, 
because the entire reason (for me at least) for declaring the null record is 
to get the structure (all of the routines that I need to implement) correct 
before I bother with any actual implementation.

You can avoid the problem with a junk component, but that's nasty.

I'd be happy if there was a way for the automatic construction to extend to 
other types as well. The one you suggested would work as well as any. I 
tried to make such a proposal in AI12-0083-1 (in response to a question from 
Adam), but it got approximately 0% support (which is why it's currently on 
the hold of death). I'm surprised that you suddenly are in favor of it now, 
because you surely weren't when we discussed it (or you missed that 
meeting).

                                               Randy.