Re: Using discriminant record: problem with assigning to an array in body

[anon@anon.org (anon)]

-- try this one:
--
procedure test is

type GOODS_TYPE is ( LIQUID, TEXTILE);

-- Ada prefers array to be predefined for usage in records 
type float_array is array ( 0..5 ) of float;

type TYPE_GOODS( GOODS_TYPE_SELECTION : GOODS_TYPE) is
  record

    case GOODS_TYPE_SELECTION is
       when LIQUID =>
           ITEM_NAME : float_array ; -- new type defined and stops compiler errors

       when TEXTILE =>
           LENGTH : float;
           WIDTH : float;
    end case;
  end record;

  A : TYPE_GOODS( LIQUID );

  begin

  A := ( GOODS_TYPE_SELECTION => LIQUID,
            ITEM_NAME => (1.0, 1.1, 1.2, 1.3, 1.4,1.5) );

end test;



In <976bd0a5-4aff-4f40-83c7-c6b7829ab4d8@s9g2000prg.googlegroups.com>, ChristopherL <clusardi2k@aol.com> writes:
>The below procedure compiles and links fine, but when I run it I get a
>"discriminant check failed" error message. Can you please modify this
>code so that the array assignment works.
>
>procedure test is
>
>type GOODS_TYPE is ( LIQUID, TEXTILE);
>
>type TYPE_GOODS( GOODS_TYPE_SELECTION : GOODS_TYPE) is
>  record
>
>    case GOODS_TYPE_SELECTION is
>       when LIQUID =>
>           ITEM_NAME : is array ( 0..5 ) of float;
>
>       when TEXTILE =>
>           LENGTH : float;
>           WIDTH : float;
>    end case;
>  end record;
>
>  A : TYPE_GOODS( LIQUID );
>
>  begin
>
>  A := ( GOODS_TYPE_SELECTION => LIQUID,
>            ITEM_NAME => (1.0, 1.1, 1.2, 1.3, 1.4,1.5) );
>
>end test;