Ix constants and compile-time errors

[leepike]

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?

[elliottt]

Maybe this is a good opportunity for model checker annotations?

On Sat, Feb 1, 2014 at 11:43 AM, Lee Pike notifications@github.com 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
.

[Hodapp87]

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

[leepike]

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.