diff options
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/interp.lem | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index 6edd311b..d0899674 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -1263,8 +1263,7 @@ and interp_main mode t_level l_env l_mem (E_aux exp (l,annot)) = | V_vector start dir vs -> if start = i then (Value v,lm,le) else (Value (update_vector_start dir i 1 v),lm,le) | _ -> (Value v,lm,le) end - | Typ_app (Id_aux (Id "vector") _) - [Typ_arg_aux (Typ_arg_nexp(Nexp_aux (Nexp_var (Kid_aux (Var "length") _)) _)) _;_;_;_] -> + | (Typ_var (Kid_aux (Var "length") _))-> match (detaint v) with | V_vector start dir vs -> let i = (List.length vs) - 1 in |