Re: Why no constraint error?

[bobduff@world.std.com (Robert A Duff)]

In article <dewar.859021939@merv>, Robert Dewar <dewar@merv.cs.nyu.edu> wrote:
>I was always amazed that Bob could seriously suggest that all assignment
>statements must do range checks. In some cases, especially with arrays
>where you can never prove that elements are uninitialized in practice,
                                               initialized, you mean?
>you can slow things down by a large factor with this decision.

Not sure what you mean, but I'm certainly not suggesting that array
assignment must check each component.  It's perfectly legitimate to copy
an array containing uninitialized scalar values -- it would be wrong
(and slow) to range check them.

- Bob