Unroll correction

Order of statement was incorrect
This commit is contained in:
Gwenal Delaval 2012-07-23 17:35:20 +02:00
parent 6011353cec
commit 70cb94d0bd
2 changed files with 3 additions and 3 deletions

View file

@ -71,7 +71,7 @@ let rec unroll id start stop body =
in
if i = stop then List.rev l else aux (i + 1) (List.map stm body @ l)
if i = stop then List.concat (List.rev l) else aux (i + 1) ((List.map stm body) :: l)
in

View file

@ -55,10 +55,10 @@ let unroll vd start stop b =
else
let funs = { Obc_mapfold.defaults with extvalue = ext_value; } in
let new_b, () = Obc_mapfold.block funs () b in
add (c + 1) (new_b.b_body @ l)
add (c + 1) (new_b.b_body :: l)
in
let l = add start [] in
{ b with b_body = List.rev l; }
{ b with b_body = List.concat (List.rev l); }
let act funs () a =
let a, () = Obc_mapfold.act funs () a in