16:11 <Dieb> remp_list : string -> string list ref = <fun> / #let a = ref [""];; => a : string list ref = ref [""] / let essai() = a:=remp_list "new";; => Cette expression est de type string list ref, mais est utilisée avec le type string list.

16:11 <Dieb> why have ui this? since remp_list and aa are both string list ref ?

16:18 <DemiUni> It returns a ref but you assign to a.contents

16:18 <DemiUni> either do (if a is mutable) a <- remp_list "new"

16:18 <DemiUni> or do a := !(remp_list "new")

16:19 <Dieb> DemiUni: so a shouldn't b e a ref, but only a list!?

16:19 <DemiUni> What you're doing is equivalent to: a.contents <- remp_list "new";; thus an assignment of a string list ref to a mutable string list entry in a record.

16:20 <DemiUni> a needs to be a ref (or mutable) if you want to assign to it.

16:21 <Dieb> #let essai() = a <- remp_list "new";; => L'identificateur a n'est pas défini.

16:22 <Dieb> let essai() = a:= !remp_list "new";; not better

16:22 <DemiUni> Hmm... didn't look too closely at what you were doing.. =) What do you want the essai () function to do?

16:23 <DemiUni> Assign a new list to a and return the list (or the ref to the list?)?

16:23 <Dieb> sorry, let essai() = a := !(remp_list "new");; work well

16:27 <Dieb> what i wanted to do, is : remp_list is a procedure which give a string list in output. It is used on another procedure where a have to include such a list in another list, which each element is a type { string; int; list} . The remp_list is design to buil the list which is on the type.

16:27 <Dieb> i don't know if i'm clear enought, sorry :(

16:32 <Dieb> bur this work well now. ok, i beleive i understand: i didn't manage correctly refercences. if a and b is ref int, a:=b doesn't work, but a:=1 or a:=!b work well.

16:32 <DemiUni> Yes it's rather simple when you know how it works actually, there is no magic to it.

16:33 <Dieb> this is the base, but i forgotten this. Thank you for your help

16:33 <DemiUni> A ref is built like this: { mutable contents: whatever type }

16:34 <DemiUni> a := b is equivalent to a.contents <- b

16:34 <DemiUni> !a is equivalent to a.contents

16:35 <Dieb> yes. And (maybe i forgot this also) how can you pass references? for example if a and b ref, how can b be = to a? (not the contents) only "pointers"

16:38 <smkl> == tests for pointer equivalence

16:39 <Dieb> ok, thank's a lot

20:32 <sylvain> helloooooooooo