Ix constants and compile-time errors about ivory HOT 3 OPEN

Maybe this is a good opportunity for model checker annotations?

On Sat, Feb 1, 2014 at 11:43 AM, Lee Pike [email protected] wrote:

https://github.com/agacek noted that constants outside the range of an Ix
n type are not a compile-time error and are simply moded. Perhaps a
compile-time error should be thrown here?

Reply to this email directly or view it on GitHubhttps://github.com//issues/10
.

from ivory.

I have noted the same when dealing with arrays, and it seems like modulo could introduce some unexpected behavior.

from ivory.

Updating the issue: unless there are objections, this should be implemented.

Note: the code is still safe with the modulus, but there may be surprises for the user.

from ivory.