From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA25820 for caml-redistribution; Thu, 30 Dec 1999 19:45:55 +0100 (MET)
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 QAA10942 for <caml-list@pauillac.inria.fr>; Thu, 30 Dec 1999 16:33:55 +0100 (MET)
Received: from tobago.inria.fr (tobago.inria.fr [128.93.8.21])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id QAA14058
	for <caml-list@inria.fr>; Thu, 30 Dec 1999 16:33:54 +0100 (MET)
Received: (from doligez@localhost) by tobago.inria.fr (8.6.10/8.6.6) id QAA05942 for caml-list@inria.fr; Thu, 30 Dec 1999 16:33:53 +0100
Date: Thu, 30 Dec 1999 16:33:53 +0100
From: Damien Doligez <Damien.Doligez@inria.fr>
Message-Id: <199912301533.QAA05942@tobago.inria.fr>
To: caml-list@inria.fr
Subject: Re:  GC compaction question
Sender: weis

>From: Ohad Rodeh <orodeh@cs.huji.ac.il>

>  I examined the GC compaction code and could not figure
>something out. Does the program stop while GC compaction is
>performed? 

Yes.

-- Damien