Re: Simple Question 3

[Jeffrey Carter <jrcarter@acm.org>]

Stephen Cole wrote:
> 
> Look....people...my confusion is deeper than that. Its about this whole
> question of what a primitive operation is!

A primitive operation of a type is declared in the same package
specification as the type declaration, and has a parameter of the type
or returns a value of the type.

> Example
> Look at the following code....
> 
> package MyTest is
> 
>    type MyTestType1 is tagged
>       record
>          a: Integer;
>          b: Float;
>       end record;
> 
>    function UnitA(a: MyTestType1) return Integer;
>    function UnitB(a: MyTestType1) return MyTestType1;
>    function UnitC return MyTestType1;
> 
>    type MyTestType2 is new MyTestType1 with
>       record
>          c: Integer;
>       end record;
> 
> end MyTest;

We could perhaps be of more assistance if you could define what you
expect the compiler to do for

X : Mytesttype2 := Unitc;

What is the value of X after initialization? Specifically, what is the
value of X.C?

-- 
Jeff Carter
"I fart in your general direction."
Monty Python & the Holy Grail