Re: Array initialization in SPARK

["Peter C. Chapin" <pcc482719@gmail.com>]

On Oct 28, 8:47 am, Phil Thornley <phil.jpthorn...@gmail.com> wrote:

> It's far better to use the accept annotation (which is there for this
> sort of situation):

Thanks for the suggestion. I can see the value of accept here.

In this case its pretty obvious that the entire output matrix is being
assigned. I have a couple of other procedures with a similar issue but
where it is much less obvious that they are setting values for all
matrix elements (they are supposed to be doing so). I can see that
while accept is a useful tool one would have to be careful about
sprinkling them around too liberally. I'll take a closer look at those
other procedures and see if a little code reorganization might be
desirable.

Thanks again!

Peter