caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Issac Trotts <ijtrotts@ucdavis.edu>
To: OCaml List <caml-list@inria.fr>
Subject: Re: [Caml-list] Problem in modifying a mutable element in an array
Date: Sun, 16 Feb 2003 19:29:05 -0800	[thread overview]
Message-ID: <3E505701.4010300@ucdavis.edu> (raw)
In-Reply-To: <20030216000742.3376f3bc.Samuel.Mimram@ens-lyon.fr>

Samuel Mimram wrote:

>Hello,
>
>Your "problem" is due to the fact that when you use the function make_vect m agent_init, Caml creates an array where all element are pointing at the same object which is agent_init : in your whole program, there is only one instance of agent_init in memory.
>
>I think that the only solution is to make the initilization of f by hand :
>
>let agent_init () = { initial = 0 ; courant = 0 ; longueur = 0.; liste_parcourue = [] ; à_visiter = make_vect n 1 } ;;
>
>let f = make_vect m (agent_init ());;
>
>for i = 0 to ((vect_length f)-1)
>do
>f.(i) <- agent_init ()
>done
>

How about

 let f = Array.init m (fun _ ->  
  { initial = 0 ; courant = 0 ; longueur = 0.; liste_parcourue = [] ; 
à_visiter = make_vect n 1 })

Issac

>The use of a function which takes a unit argument is important because each time you call it, it returns a NEW record.
>
>I hope this helps.
>
>Samuel.
>
>
>On Sat, 15 Feb 2003 23:47:53 +0100
>WatchDog <watchdog@free.fr> wrote:
>
>  
>
>>Hello !
>>My problem has first appeared in a CamlLight implementation, but I have 
>>then tried to do the same on O'Caml and the problem remained equal. But 
>>I'm sure you'll be able to provide some help, won't you ?
>>In Caml Light :
>>
>>#open "random";;
>>type agent = { mutable initial : int ; mutable courant : int ;
>>               mutable longueur : float ; mutable liste_parcourue : int 
>>list ;
>>               à_visiter : int vect } ;;
>>let agent_init = { initial = 0 ; courant = 0 ; longueur = 0. ; 
>>liste_parcourue = [] ;
>>                   à_visiter = make_vect n 1 } ;;
>>let f = make_vect m agent_init ;;
>> 
>>let set_f () = for p = 0 to (m-1) do
>>   begin     
>>      f.(p).initial <- (int n) ;
>>      f.(p).courant <- (int n) ;
>>      f.(p).liste_parcourue <- [(int n)] ;
>>      f.(p).à_visiter.(int n) <- 0
>>   end
>>done
>>;;
>>
>>
>>And then set_f() doesn't work properly : it seems Caml refuses to modify 
>>one element (for instance f.(5).initial) without modifying automatically 
>>all its brothers, e.g. all the f.(i).initial ; for i from 0 to (m-1).
>>The fact is that I'd like to modify it element-by-element, and not all 
>>at the same time.
>>
>>Your help would be a real relief !!
>>Thanks
>>
>>JB, from Paris.
>>
>>-------------------
>>To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
>>Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
>>Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>>    
>>
>
>
>  
>



-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


      reply	other threads:[~2003-02-17  3:23 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-02-15 22:47 WatchDog
2003-02-15 23:07 ` Samuel Mimram
2003-02-17  3:29   ` Issac Trotts [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=3E505701.4010300@ucdavis.edu \
    --to=ijtrotts@ucdavis.edu \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).