From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: controlled initialization
Date: Mon, 16 Dec 2002 15:06:25 GMT
Date: 2002-12-16T15:06:25+00:00 [thread overview]
Message-ID: <wcck7ia57gu.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 1040049195.294541@master.nyc.kbcfp.com
Hyman Rosen <hyrosen@mail.com> writes:
>...In that case, I think the
> solution is to make the type limited, so that users can't
> initialize with aggregates at all, and you can call the
> Init procedure "by hand" in the private code.
You don't need to make it limited. Just make it private.
Then aggregates can only appear inside the abstraction itself.
If the package body can write upon record fields, then there's
no point in forbidding it to use aggregates.
See also AI-287.
- Bob
next prev parent reply other threads:[~2002-12-16 15:06 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-12-16 7:04 controlled initialization Maxim Reznik
2002-12-16 14:33 ` Hyman Rosen
2002-12-16 15:06 ` Robert A Duff [this message]
2002-12-16 23:26 ` Matthew Heaney
2002-12-17 1:50 ` Hyman Rosen
2002-12-17 2:00 ` Bill Findlay
2002-12-17 7:55 ` Simon Wright
2002-12-17 6:59 ` Maxim Reznik
2002-12-16 23:31 ` Stephen Leake
2002-12-16 23:31 ` Matthew Heaney
-- strict thread matches above, loose matches on Subject: below --
2002-12-17 6:20 Grein, Christoph
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox