[vector] specification update to Vector.random

[Paul Sandoz]

Hi,

Here is an update to specification of Vector.random to avoid direct binding to ThreadLocalRandom:

  http://cr.openjdk.java.net/~psandoz/panama/vector-random/webrev/ <http://cr.openjdk.java.net/~psandoz/panama/vector-random/webrev/>

—

Separately, I question whether this operation is needed in the first revision of the API.  My inclination is to update the spec and push, then remove it (so we have a history if we want ti revive later on).

Expanding further, there may be other methods that might be for the chop too, has anyone considered such a list?

I am inclined to remove Vector.toList. I suspect it’s use will be very limited, given toArray and toString can cover debugging cases, and may be more of a distraction until we can, for example, express List<int>.

Paul.