Array aggregates and initializing strings

Array aggregates and initializing strings

[Ehud Lamm]

Hope the following examples will shed light on the "initializing string"
problem.

  type arr is array(1..8)of character;
 
 --a:arr := (1..4=>"ehud",others=>' ');
 -- This will not compile since the expr after => must mach the component
 -- type;
 
 
   b:arr:="ehudlamm";
   --This works because of section 4.3.3(19)
   
   c:arr:="ehud";
   -- This will compile with a warning that a constraint_error will be
   -- raised during elaboration.
   


Ehud Lamm     mslamm@pluto.mscc.huji.ac.il