From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA21851; Mon, 28 May 2001 15:07:26 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA21889 for ; Mon, 28 May 2001 15:07:26 +0200 (MET DST) Received: from verdot.inria.fr (verdot.inria.fr [128.93.11.7]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f4SD7Pj09115; Mon, 28 May 2001 15:07:25 +0200 (MET DST) Received: (from ddr@localhost) by verdot.inria.fr (8.9.3/8.9.3) id PAA21029; Mon, 28 May 2001 15:07:25 +0200 Date: Mon, 28 May 2001 15:07:25 +0200 From: Daniel de Rauglaudre To: Xavier Leroy Cc: caml-list@inria.fr Subject: Re: [Caml-list] Lazy.Value Message-ID: <20010528150725.H13297@verdot.inria.fr> References: <20010528144620.G13297@verdot.inria.fr> <20010528145313.F19801@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0us In-Reply-To: <20010528145313.F19801@pauillac.inria.fr>; from Xavier.Leroy@inria.fr on Mon, May 28, 2001 at 02:53:13PM +0200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > I may say nonsense, but is it possible to generalize things like: > > ref (Lazy.Value []) > > No, this would be unsound -- like all polymorphic references. I know, and I knew perfectly your example, but for Lazy, it is different. The structure of this type is visible only because it is necessary for the "lazy" statement. Users are not supposed to change the reference value by hand. And when the "Value" is obtained, the lazy is no more changed by Lazy.force. -- Daniel de RAUGLAUDRE daniel.de_rauglaudre@inria.fr http://cristal.inria.fr/~ddr/ ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr