Re: Weak pointers

Daniel de Rauglaudre (ddr@peray.inria.fr)
Tue, 1 Apr 1997 14:03:08 +0200 (MET DST)

From: Daniel de Rauglaudre <ddr@peray.inria.fr>
Message-Id: <199704011203.AA07910@peray.inria.fr>
Subject: Re: Weak pointers
In-Reply-To: <199704011057.MAA06827@pauillac.inria.fr> from Pierre Weis at "Apr 1, 97 12:57:27 pm"
To: Pierre.Weis@inria.fr (Pierre Weis)
Date: Tue, 1 Apr 1997 14:03:08 +0200 (MET DST)

> The problem here is that you use constant string data: these citations
> are global references that are never garbage collected, since there
> really exists a pointer to them from the global symbol table.
>
> Use strings allocated by make_string (== String.create) instead: you
> should observe what you expected to observe.

I found another trick to make my example work: replace
let r = ref "hello"
by:
let r = ref ("hello" ^ "")

:-)

--------------------------------------------------------------------------
Daniel de RAUGLAUDRE

Projet Cristal - INRIA Rocquencourt
Tel: +33 (01) 39 63 53 51
Email: daniel.de_rauglaudre@inria.fr
Web: http://pauillac.inria.fr/~ddr/
--------------------------------------------------------------------------