projects
/
Faustine.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Bug of vector wave output error fixed.
[Faustine.git]
/
interpretor
/
aux.ml
diff --git
a/interpretor/aux.ml
b/interpretor/aux.ml
index
fccb904
..
9463cae
100644
(file)
--- 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