From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <n.oje.bar@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id BC4477FCE8
	for <caml-list@sympa.inria.fr>; Sat, 16 Jan 2016 22:42:12 +0100 (CET)
IronPort-PHdr: 9a23:NHq1bhFpqyoK0EGLG/v7o51GYnF86YWxBRYc798ds5kLTJ75o8+wAkXT6L1XgUPTWs2DsrQf27SQ4vurADZfqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh770qsaYOl8XzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IAu3GePEzRLlcSTAnKHwd5cvxtBCFQxHcyGEbVzAwkxFPBwHepDb4U5v4+gHzrKIp3m+dP8CwR7kucTun5qZvDhTvjXFUZHYC7GjLh5ko3+pgqxW7qkknzg==
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=n.oje.bar@gmail.com; spf=Pass smtp.mailfrom=n.oje.bar@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f49.google.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  n.oje.bar@gmail.com) identity=pra; client-ip=74.125.82.49;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="n.oje.bar@gmail.com";
  x-sender="n.oje.bar@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  n.oje.bar@gmail.com designates 74.125.82.49 as permitted
  sender) identity=mailfrom; client-ip=74.125.82.49;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="n.oje.bar@gmail.com";
  x-sender="n.oje.bar@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-wm0-f49.google.com) identity=helo;
  client-ip=74.125.82.49;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="n.oje.bar@gmail.com";
  x-sender="postmaster@mail-wm0-f49.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0AWBAC/uJpWlDFSfUpeg1iBIQaIUKFRBAOHCIxAhzAHPBABAQEBAQEBARABAQEBBwsLCR8wgi2BfiIRHQEbHgMSCAEHNwIkAREBBQFXh2MBAxKfPIIHgTE+MYtIgWqCeYcLChknDVaDGAEFCgSGSIohglGBSQWTE4QHjV+PAY0RESSBFzmCUoFlPTSHHwEBAQ
X-IPAS-Result: A0AWBAC/uJpWlDFSfUpeg1iBIQaIUKFRBAOHCIxAhzAHPBABAQEBAQEBARABAQEBBwsLCR8wgi2BfiIRHQEbHgMSCAEHNwIkAREBBQFXh2MBAxKfPIIHgTE+MYtIgWqCeYcLChknDVaDGAEFCgSGSIohglGBSQWTE4QHjV+PAY0RESSBFzmCUoFlPTSHHwEBAQ
X-IronPort-AV: E=Sophos;i="5.22,306,1449529200"; 
   d="scan'208,217";a="160658974"
Received: from mail-wm0-f49.google.com ([74.125.82.49])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 16 Jan 2016 22:42:10 +0100
Received: by mail-wm0-f49.google.com with SMTP id l65so58643733wmf.1
        for <caml-list@inria.fr>; Sat, 16 Jan 2016 13:42:10 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:date:message-id:subject:from:to:content-type;
        bh=/AKkmxJ+fepMbtIRgHnzKU/rtIUmLNIQqwZfP6V0L5E=;
        b=XNu910jKKxZd+MEE0xw7IP/SrH5gBa6umE0eIvtG0mancnSbXXRRpPWIWhSM/9rZcq
         fYCPrai06WWA32PKXpvIkeKkONzDDrZmBQk0CPFBe9ITBv/TWSXIugqKfjDXtHJEtNML
         5zAEj9cTcvrJJTQ2v/st4bbyXF1qSYSxhdlMHH9qY6hwvhfmjauB0HTMJnYasmQbjPWn
         fsEESiL5k2OR7A8HmWl4gYneuopRK6akUxJYEOFN38X4x5EyJTYvrNtE5JHi1bUp+XPx
         eqR/ZoNLifNZzokCJZ7O1rxy+ZgVIy/btCfjzdik0AKGlHF1U2LKG6/dALfXha0io/NB
         0L0Q==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:date:message-id:subject:from:to
         :content-type;
        bh=/AKkmxJ+fepMbtIRgHnzKU/rtIUmLNIQqwZfP6V0L5E=;
        b=ECHwmuyoDHETuPoH0R++W8d2oKPq0VW/x7lAFn6LSyzQk2SS42w74Tromuro3+F8KM
         U3iFPTDla18edsVrEPT1xVUILrKy2j1t+q50a42EW15YyKEv6N/Ajui4K67hCDbEEpp1
         FQuSnah1XRtH0RHnibFER6rzkj4CfjtaoACh77erT/QEonqWtkJYF2ymqSWOJW9QBlpg
         GgJXBxPlHlralQNctCW5FIt7mzXmJFdB+GpTI4M5t/S49PFRMqf4j8Bw/o0NVMSBdf8u
         KgMtit6qFL3M4Zii8l18AvKW/S1xCanUiKZ7RiWitPRDTcRdSeot+pdOBXau3mQjbvNx
         6Mgg==
X-Gm-Message-State: AG10YORQOnBgCp4fGnb6JAsbHgoNvW7xTYpceeUogWe1j2AocLYvT3DDnOnKLrSQ24GvaRzBxpi9jQjGRcaXyQ==
MIME-Version: 1.0
X-Received: by 10.28.178.206 with SMTP id b197mr5092479wmf.72.1452980529693;
 Sat, 16 Jan 2016 13:42:09 -0800 (PST)
Received: by 10.194.110.97 with HTTP; Sat, 16 Jan 2016 13:42:09 -0800 (PST)
Date: Sat, 16 Jan 2016 22:42:09 +0100
Message-ID: <CAPunWhBsQVMvpzZPUZ=Wpmhq+EPJ8awnZ4Nk1oCokh8k5uQcEg@mail.gmail.com>
From: Nicolas Ojeda Bar <n.oje.bar@gmail.com>
To: caml-list@inria.fr
Content-Type: multipart/alternative; boundary=001a11444dba5692a205297a6486
Subject: [Caml-list] GC assumptions ?

--001a11444dba5692a205297a6486
Content-Type: text/plain; charset=UTF-8

Hi list,

I am toying with the idea of using the OCaml runtime for a dynamically
typed language targeting Lambda.  I was wondering what the OCaml runtime
(ie the GC) assumes about the language being compiled.

In particular I was wondering if it assumes that a value cannot go from
pointing to a block to being an int or vice-versa.

Any ideas?

Thanks!

Cheers,
Nicolas

--001a11444dba5692a205297a6486
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hi list,<div><br></div><div>I am toying with the idea of u=
sing the OCaml runtime for a dynamically typed language targeting Lambda.=
=C2=A0 I was wondering what the OCaml runtime (ie the GC) assumes about the=
 language being compiled.</div><div><br></div><div>In particular I was wond=
ering if it assumes that a value cannot go from pointing to a block to bein=
g an int or vice-versa.</div><div><br></div><div>Any ideas?</div><div><br><=
/div><div>Thanks!</div><div><br></div><div>Cheers,</div><div>Nicolas</div><=
/div>

--001a11444dba5692a205297a6486--