Re: what means the " ' " in use with a record type?

[dewar@gnat.com (Robert Dewar)]

tmoran@acm.org wrote in message news:<hKw99.5354$jD1.434739270@newssvr13.news.prodigy.com>...
> > return new node'(value => x, to => l);

> > what means the apostrophe between node and (value => ......?

>   It means you want to allocate a new object of type "node" and
> give it an initial value of (x,l).

This is highly misleading, The questioner asked about the apostrophe, and
Tom is answering about the whole construct.

The quote has nothing whatever to do with allocation.

The expression node'(....)

is called a qualified expression. In some contexts you can simply write
the aggregate (in this case (value => x, to => 1)) and it is obvious what
you are talking about. For example

   N : node := (value => x, to => 1);

is just fine because we obviously expect a node here. But if I just write

    x := new (value => x, to => 1);

then the allocator has no idea what you are talking about, since there is
nothing to say that this is a node. The qualified expression fixes this
a'b in general says, I have something of type a with the value computed by
the expression b.

So to fix the allocator we need

   x := new node'(value => x, to => 1);

and now the allocator knows what type of thing you are trying to allocate.