From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <lukstafi@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.8 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 2CB94BBAF
	for <caml-list@yquem.inria.fr>; Fri, 10 Apr 2009 22:13:54 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkIDAGhF30nRVdyuimdsb2JhbACVdD8BAQEKCQwHDwWjPYEJj34BAwEDg3gG
X-IronPort-AV: E=Sophos;i="4.40,169,1238968800"; 
   d="scan'208";a="38278722"
Received: from mail-fx0-f174.google.com ([209.85.220.174])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 10 Apr 2009 22:13:53 +0200
Received: by fxm22 with SMTP id 22so1179955fxm.9
        for <caml-list@inria.fr>; Fri, 10 Apr 2009 13:13:53 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:date:message-id:subject
         :from:to:content-type:content-transfer-encoding;
        bh=pTF7jaVQCUrbfOfIm5CWVhBqR5OcGhT0Ww6gAqKnCNM=;
        b=AmWc8b2dVQktqyk+MukEcRuN+LZRTz9aSx6KUFmgy8kLieuzP2b+Wht5/NwLFaC5t8
         DZs1wC5bJwPBzggdskdtiwSy0I3TlYTQvvR4SOp0vD559fnXvlfpjz1zHd5twZhp0Tog
         ykKqYiBcF3pj+pJw/SsN8z3YljmowkGcjSpn8=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:date:message-id:subject:from:to:content-type
         :content-transfer-encoding;
        b=t/isXTmGq5h3X4G5w88ea/UvdLcBPuXuSUcL9oAkniprnBGYmBA8/3OsMIdvqyY3mR
         UFKr5E2P2GUO8t96BDCIGFdD+2I8/JO5EZutPghfP+cBG2hyeExZet/RLawvrfmXUySV
         oqL/3w2mEZ3ZubJfUhBOBhYMCEf1TldH9SzwU=
MIME-Version: 1.0
Received: by 10.103.160.9 with SMTP id m9mr2025627muo.53.1239394433698; Fri, 
	10 Apr 2009 13:13:53 -0700 (PDT)
Date: Fri, 10 Apr 2009 22:13:53 +0200
Message-ID: <4a708d20904101313s49ef3b75m45202b6bda800b77@mail.gmail.com>
Subject: OCaml and Boehm
From: Lukasz Stafiniak <lukstafi@gmail.com>
To: Caml <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Spam: no; 0.00; ocaml:01 boehm:01 lukasz:01 ocaml:01 runtime:01 boehm:01 traversing:01 ocaml's:01 patched:01 heap:01 heap:01 roots:02 sense:10 run:16 thanks:17 

Hi,

Is the OCaml runtime Boehm-safe? That is, can it be run with Boehm
turned on and traversing OCaml's heap? (So that the OCaml heap can
provide roots to Boehm.) And if not, could it be patched to make it
Boehm-safe in this sense?

Thanks,
=A3ukasz