diff options
| author | Gabriel Kerneis | 2014-04-03 17:18:27 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-04-03 17:28:45 +0100 |
| commit | 5e5c61be1edf11c79c2dc3a3517dd7c099116923 (patch) | |
| tree | eedc39e9df3292b963ca84461bad4c82292c4e56 /language/l2_parse.ml | |
| parent | 86143f90a53dd488f2b04009f38eb4dc6cef1e15 (diff) | |
Re-index vector slices
- increasing vector slices are re-indexed from 0
- decreasing vector slices are re-indexed towards 0
I don't know how the type system handles this currently,
but it is essential for the correctness of execution.
Diffstat (limited to 'language/l2_parse.ml')
0 files changed, 0 insertions, 0 deletions