diff options
author | leino <unknown> | 2014-10-06 18:56:48 -0700 |
---|---|---|
committer | leino <unknown> | 2014-10-06 18:56:48 -0700 |
commit | 8dcec3ddb5269c5e7195a8072d13e8e547b14323 (patch) | |
tree | 32e6519bbf11e6301bdd763838d54e196ca5f7f6 /Test/hofs | |
parent | 51d67784f9b26a670f6a9f908f7dc1e474b6850c (diff) |
Allow any integer-based type, not just 'int', in the following places:
* array indices (any dimension)
* array lengths (with new, any dimension)
* sequence indicies
* subsequence bounds (like sq[lo..hi])
* the new multiplicity in multiset update (m[t := multiplicity])
* subarray-to-sequence bounds (like a[lo..hi])
Note that for an array 'a', 'a.Length' is always an integer, so a comparison 'i < a.Length' still requires 'i' to be an integer, not any integer-based value. Same for '|sq|' for a sequence 'sq'.
Diffstat (limited to 'Test/hofs')
0 files changed, 0 insertions, 0 deletions