X-Git-Url: https://svn.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/a891a827a9bad83d44164ffdd7b28f070c439e46..056d65cce93f673551b565e7d11f196be2e8ec93:/interpretor/aux.ml

diff --git a/interpretor/aux.ml b/interpretor/aux.ml
index 3bc11a6..3f75f06 100644
--- a/interpretor/aux.ml
+++ b/interpretor/aux.ml
@@ -6,6 +6,9 @@
 *)
 
 
+let array_map = fun f -> fun a ->
+  let n = Array.length a in
+  Array.init n (fun i -> f a.(i));;
 
 let array_map2 = fun f -> fun a -> fun b ->
   let n1 = Array.length a in
@@ -18,4 +21,6 @@ let array_map3 = fun f -> fun a -> fun b -> fun c ->
   let n2 = Array.length b in
   let n3 = Array.length c in
   if n1 = n2 && n1 = n3 then Array.init n1 (fun i -> f a.(i) b.(i) c.(i))
-  else raise (Invalid_argument "Array.map2 size not matched.");;
+  else raise (Invalid_argument "Array.map3 size not matched.");;
+
+let decorate = fun s -> "    Faustine -> " ^ s;;