Description Paul Harmon 2012-01-16 10:16:12 EST

Currently, validation does not allow the following:

ExternalType ET1 type javaobject
   static etField1 int;
end

record rec1 type annotation

   annField1 fieldRef = ET1.etField1;  //Valation error here

end


The Validation error says that fieldref and int are not compatible. This needs to be changed to allow for proper inititial values of annotation record fields. Clearly, the rules for annotation field assignment compatibility needs to be different than the rules for initialization of regular record fields.