From c7e2a20a8e4f3d505c0eb85ccab872d312f9125a Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Fri, 6 Jun 2014 18:48:36 +0100
Subject: Improve work-around

Default to 64 bit for vec + range
---
 src/lem_interp/interp_lib.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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)
-- 
cgit v1.2.3