From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p35BRKbo026752 for ; Tue, 5 Apr 2011 13:27:20 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgMFAOr7mk3RVdK2kWdsb2JhbACYYY0BCBQBAQEBCQkNBxInp22KZoIjhG4wiF0BAQMFhWYEjSWJHjo X-IronPort-AV: E=Sophos;i="4.63,303,1299452400"; d="scan'208";a="105002952" Received: from mail-iy0-f182.google.com ([209.85.210.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 05 Apr 2011 13:27:15 +0200 Received: by iyj12 with SMTP id 12so470609iyj.27 for ; Tue, 05 Apr 2011 04:27:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:date:message-id:subject:from:to :content-type; bh=Moc6Z8Wcvww29ytvtpdUSneiLIwdV7beXnLbz8Tpl2c=; b=drHl3t9fgJjXDAp+gxoZQbUN+DvNQdACbyFKalcNwDEDb1Wyqhi6rcL4cxx5INP1Gs t1w4scJ5MOL+qCNMWpvau5Ie00BHPn4NJfHRb0DEnyrXWvKBp6zzHCAQPdlZH1SdfCm5 pFh7top9hqgx7utlDyJ2iW9W/x81GPaBO7K1o= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=j6kEqbt/rb3Ugd4dsrMvrB2sngLUj8oLrMT8dbsZLqsmDRRv3e0TRGkIrD/xBsWW2Q 7CGAWtWGz2rf8+1JV7ZdxabgRIXbgXq+Ag6ulTFOmiFF+033cDVjySUuPgZFU/U7nNX8 jqPDXraoYigPJnTujVFO9hNR2v5GMyMjMd+xs= MIME-Version: 1.0 Received: by 10.42.149.65 with SMTP id u1mr1327465icv.439.1302002834040; Tue, 05 Apr 2011 04:27:14 -0700 (PDT) Received: by 10.231.199.211 with HTTP; Tue, 5 Apr 2011 04:27:14 -0700 (PDT) Date: Tue, 5 Apr 2011 12:27:14 +0100 Message-ID: From: Pedro Borges To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] C bindings and Gc.compact Hi, everyone, If a compactification is triggered do the values get rewritten or do they become invalid? Best Regards, Pedro Borges