summaryrefslogtreecommitdiff
path: root/Test/hofs
diff options
context:
space:
mode:
authorGravatar leino <unknown>2014-10-06 18:56:48 -0700
committerGravatar leino <unknown>2014-10-06 18:56:48 -0700
commit8dcec3ddb5269c5e7195a8072d13e8e547b14323 (patch)
tree32e6519bbf11e6301bdd763838d54e196ca5f7f6 /Test/hofs
parent51d67784f9b26a670f6a9f908f7dc1e474b6850c (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