English summary follows

WatchDog <watchdog@free.fr> writes:

> Bonjour ! Cette petite fonction me pose des problèmes :
> 
> let resultat (a,b,c,d) position =
>     let pos=ref position in
>   !pos.(d).(c) <- !pos.(b).(a) ; !pos.(b).(a) <- V ;
> !pos ;;
> 
> Quel ne fut pas mon étonnement en constatant que cette fonction se
> permettait de modifier le contenu même de position, alors que je ne l'ai
> utilisé qu'avec une référence (pos) qui pointait dessus !
> Quand on écrit
> let x = ref 1 in x := !x + 1;;
> ça ne modifie pas la valeur de l'entier 1, non ???
> Merci de votre éclairage.

pos est une référence sur position ce qui veut dire que
!pos est égal à position; donc faire
   !pos.(d).(c) <- !pos.(b).(a) ; !pos.(b).(a) <- V ;
est identique à faire
   position.(d).(c) <- position.(b).(a) ; position.(b).(a) <- V ;

ce que vous voulez faire en fait est une copie du tableau
ce qui se fait pour un tableau simple avec Array.copy,
mais comme ici c'est une matrice faire Array.copy ne
copiera qu'un niveau de la structure du tableau; il faut donc
faire:

let pos = Array.map Array.copy position in
   pos.(d).(c) <- pos.(b).(a) ; pos.(b).(a) <- V ;


taking a ref on an array does not create a new array;
it is necessary to use Array.copy and in case of a matrix
(Array.map Array.copy)

Hubert Fauque

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr