jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Yet Another Cosmetic Fix for normalization :-/

Browse source
This commit is contained in:
Adrien Guatto 2010-07-19 15:54:27 +02:00
parent 54ada380a1
commit 496919ff63
1 changed files with 6 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
compiler/minils/transformations/normalize.ml
View file

@ -190,13 +190,12 @@ let rec translate kind context e =
| Eiterator (it, app, n, e_list, reset) ->
(* Add an intermediate equation for each array lit argument. *)
let translate_iterator_arg_list context e_list =
let add e (context, e_list) = match e.e_desc with
| Econst { se_desc = Sarray _; } ->
let (context, e) = translate VRef context e in
(context, e :: e_list)
| _ ->
let (context, e) = translate function_args_kind context e in
(context, e :: e_list) in
let add e (context, e_list) =
let kind = match e.e_desc with
| Econst { se_desc = Sarray _; } -> VRef
| _ -> function_args_kind in
let (context, e) = translate kind context e in
(context, e :: e_list) in
List.fold_right add e_list (context, []) in
let context, e_list =