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 JAA09485; Fri, 18 Jun 2004 09:08:43 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA10233 for ; Fri, 18 Jun 2004 09:08:42 +0200 (MET DST) Received: from [192.168.0.2] (planar.net0.nerim.net [213.41.168.102]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i5I78eEV004963 for ; Fri, 18 Jun 2004 09:08:41 +0200 Mime-Version: 1.0 (Apple Message framework v618) In-Reply-To: <1086247007.16811.186.camel@pelican.wigram> References: <200406030328.47160.jdh30@cam.ac.uk> <1086247007.16811.186.camel@pelican.wigram> Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <65C36466-C0F6-11D8-93FD-00039310CAE8@inria.fr> Content-Transfer-Encoding: 7bit From: Damien Doligez Subject: Re: [Caml-list] Re: Comparing data structures which contain functions Date: Fri, 18 Jun 2004 09:09:10 +0200 To: caml-list X-Mailer: Apple Mail (2.618) X-Miltered: at nez-perce with ID 40D294F9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; damien:01 damien:01 caml-list:01 doligez:01 doligez:01 wrote:03 data:03 functions:05 structures:05 indeed:06 minor:07 comment:08 comparing:09 stable:11 stable:11 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Jun 3, 2004, at 09:16, skaller wrote: > Comment: this cannot work unless compaction is stable. > I do not know if this is the case. Anyone know? That's a very good remark. I had never noticed that compaction is indeed stable. But minor collection is not. -- Damien ------------------- 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