Update

INRIA · Oct 29, 2024 · d5a288a · d5a288a
1 parent d01a129
commit d5a288a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/compiler/gencode/ocamlprinter.ml b/src/compiler/gencode/ocamlprinter.ml
@@ -220,7 +220,7 @@ and exp prio ff e =
                     for i = 0 to %a - 1 do @ \
                       _t.(i) <- %a.(i+%a) done; @ \
                     _t)@]"
-             (exp 0) length (exp 2) e (exp 0) right
+             (exp 0) left (exp 2) e (exp 0) right
              (exp 2) e (exp 0) left
   | Econcat { left; left_size; right; right_size } ->
      (* returns a fresh vector [_t] of size [s1+s2] *)

diff --git a/src/compiler/gencode/translate.ml b/src/compiler/gencode/translate.ml
@@ -420,7 +420,7 @@ let rec exp env loop_path code { Zelus.e_desc = desc } =
      let e1, code = exp env loop_path code e1 in
      let e2, code = exp env loop_path code e2 in
      let e, code = exp env loop_path code e in
-     Eslice { e; left = e1; right = e2; length =  }, code
+     Eslice { e; left = e1; right = e2 }, code
   | Zelus.Eop(Zelus.Earray(Econcat), [e1; e2]) -> 
      let ty1 = Typinfo.get_type e1.e_info in
      let ty2 = Typinfo.get_type e2.e_info in