Re: Why constructing functions is a mess [was Language lawyer question: task activation

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Mon, 2 Mar 2009 23:04:02 -0800 (PST), christoph.grein@eurocopter.com
wrote:

> On Mar 2, 10:02�pm, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
>>> � �package P1 is
>>> � � � type T1(<>) is abstract tagged limited private;
>>> � �private
>>> � � � type T1(X: Character) is tagged limited null record;
>>> � �end P1;
>>
>>> � �package P2 is
>>> � � � type T2 is new P1.T1 with private;
>>> � �private
>>> � � � type T2 is new P1.T1 with null record;
>>>       X: T2 := (P1.T1 with null record);  -- Bang!
>>> � �end P2;
>>> ...
>>
>> However it looks like a bug to me, because T1 is unconstrained.
>> Nevertheless, GNAT Pro 6.2.1 successfully compiles it.
> 
> No, it doesn't (I *have* GNAT Pro 6.2.1).
> 
>    X: T2 := (P1.T1 with null record);
>             | no value supplied for discriminant "X"
> gnatmake: "p2.ads" compilation error

Hmm, mine is GNAT Pro 6.2.1 (20090115). Different wavefronts or, maybe,
platforms?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de