let x = ... in object ...

[Guillaume Hennequin <guillaume.hennequin@epfl.ch>]

[-- Attachment #1: Type: text/plain, Size: 566 bytes --]

Dear list,

I was just wondering whether in

class a =
  let x = Array.make 10000 0. in
object
  val y = Array.copy x
  ...
end

x will be garbage collected or not.
(this is just an example, I know creating x and copying is just doesn't make
sense, but I wanted to point out that in my case, x doesn't need to be kept,
but just used during object creation. I would like it to be garbage
collected).
I roughly recall a previous post where I think the reply was "intermediate
values such as x are "kept" as members of the class", but I'm not sure.

Thanks

Guillaume.

[-- Attachment #2: Type: text/html, Size: 658 bytes --]