From 496919ff636e04c6580bb5e6b9b675ae3934d1ad Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Mon, 19 Jul 2010 15:54:27 +0200
Subject: [PATCH] Yet Another Cosmetic Fix for normalization :-/
---
compiler/minils/transformations/normalize.ml | 13 ++++++-------
1 file changed, 6 insertions(+), 7 deletions(-)
diff --git a/compiler/minils/transformations/normalize.ml b/compiler/minils/transformations/normalize.ml
index 5e41a79..355afe4 100644
--- a/compiler/minils/transformations/normalize.ml
+++ b/compiler/minils/transformations/normalize.ml
@@ -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 =