diff options
| author | Gabriel Kerneis | 2014-06-06 18:48:36 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-06-06 18:48:36 +0100 |
| commit | c7e2a20a8e4f3d505c0eb85ccab872d312f9125a (patch) | |
| tree | 32a598ad7b5d56e415d711253c29c15542dcbc9f /src | |
| parent | a96f07b30e48664049b2b5c24ec877762822f253 (diff) | |
Improve work-around
Default to 64 bit for vec + range
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index f0dd1016..9d7bba05 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -77,7 +77,7 @@ let to_vec ord len v = ;; (* XXX work-around to avoid truncating *) -let to_vec_safe o l v = to_vec o (l+1) v ;; +let to_vec_safe o l v = to_vec o 64 v ;; let arith_op op (V_tuple args) = match args with | [V_lit(L_aux (L_num x) lx); V_lit(L_aux (L_num y) ly)] -> V_lit(L_aux (L_num (op x y)) lx) |