From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 35F857F64A for ; Sun, 17 Jan 2016 12:01:28 +0100 (CET) IronPort-PHdr: 9a23:06YRnxMZ+Oyf9V4JEdgl6mtUPXoX/o7sNwtQ0KIMzox0KPr5rarrMEGX3/hxlliBBdydsKIazbuK+Pq5EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35rxhrz5ocSbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBIP7dKM8RKcQKzYrP2l9zsTx/U3FCwyN6z0WW38+nR9BAgyD5xb/CMTfqCz/48VwwiXSBtHxSagxUDKkp/NqThHvoCgKLTJ8633QjtR1haRd5h6s8U8si7XIaZ2YYaItNpjWeskXEDJM Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.130; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.130; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.130; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DlAQAHdJtWlIJ+49RehAxtiFa1HhgGhXECgRk8EAEBAQEBAQEBEAEBAQEHCwsJHzCCLYIIAQEEVSQQC0ZXBhMJiBYBCb45AQEBAQEBBAEBAQEBFQmFWYV7hGKCWAxBgTYFh2aPNIEYAoxFiSYEhVeOXTmCUoFlcQGHHgEBAQ X-IPAS-Result: A0DlAQAHdJtWlIJ+49RehAxtiFa1HhgGhXECgRk8EAEBAQEBAQEBEAEBAQEHCwsJHzCCLYIIAQEEVSQQC0ZXBhMJiBYBCb45AQEBAQEBBAEBAQEBFQmFWYV7hGKCWAxBgTYFh2aPNIEYAoxFiSYEhVeOXTmCUoFlcQGHHgEBAQ X-IronPort-AV: E=Sophos;i="5.22,306,1449529200"; d="asc'?scan'208";a="160682861" Received: from mout.kundenserver.de ([212.227.126.130]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 17 Jan 2016 12:01:27 +0100 Received: from office1.lan.sumadev.de ([188.107.82.221]) by mrelayeu.kundenserver.de (mreue001) with ESMTPSA (Nemesis) id 0MFUge-1aQCbx3Afs-00EKqn; Sun, 17 Jan 2016 12:01:25 +0100 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 198B9DC05D; Sun, 17 Jan 2016 12:01:25 +0100 (CET) Message-ID: <1453028479.32106.28.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: Nicolas Ojeda Bar Cc: caml-list@inria.fr Date: Sun, 17 Jan 2016 12:01:19 +0100 In-Reply-To: References: Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-VPQUQzza4LPmiFC+0Al9" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:1VoqkbrAcA5K+8S65yE9mRQrHZF3MPCAJOn1DZnvaPh589kRzuZ NmVLJa2+rv38Pqfv/1onMCGvWrHL60g/Qb84Y8RHPRYo7XxHoPedfmSMrzNBpMJWIooSv61 sm5J253oBKtmeTm56Q9Ls1fo0vtyBgKyB82bAbJY4eIVllGr1B9t9NILa+EDDRZQNxclWaX f7PIdpKFXbEAorm0DMu1A== X-UI-Out-Filterresults: notjunk:1;V01:K0:OLqutQHjPb0=:W6bIfi0cOtYAOVO2LFKfQ9 JVDalx5M34xSAE0YyKX86sMlJ43DXnqYgcdnO6eesDgZ7Ll2xBRXqR+cOEjIbXTW2GUSY9Bm7 9h/aQj7Dzms0nxYYngcrt686/EwPtPdw9yebr6rt6pEU9/xRAAmT2B/GvVzLf20pe5tZ3WpKi BhgGSxEgYweMwNcX57PXSfQ5HXNJgkp1Bz4qR9ug5kqdh2KMLbDLD5Xfjfd+aH1ROInvNarQZ +YyvlMyqdeiRHYBNGREapCn7+mf/6aMg402dvwhJNUeE9DGyXQOXSWqBz/ZB3eaz4FxFQQt8c wXv4Kp+sccfZNKASk1uotEOoJMI8L63qNTNd/fu01jLFCm3ACqpq8XKMprDXihOZHnMCIjIlb 7NBeDwL3t8Ep96qBMHok462VU+MaRgqeQTqcvqR5m/HqujdbAyAYfrtZjcLVGOs378r5iY6Uy myRU5XlHPv/XGzYmJD3UM5dqP8Z2eymdcWybk8xnoe5HpTNwlk2OjxfITv48ogOSz/O9dbQwU 2BZccGTCNP0lpqOGY5e3SKWC7HICQFea7tJR8Fur1UgiGoEDoy7BWe3yempXUPoH1H7FFIgXk /ATDihZ3Ga2k+lfNIN9Hj7OfDN7RuzkLaPmfaEECb2Ktr9C/FeTy6nFJuSwMcYmkvebzoNmBg EDDwBRTC8fE55hdSMSMLYe9dRhCsrnaaPUzjWK1Ca2blhvi3w6o9xd2ioa79d6Y7cXKo= Subject: Re: [Caml-list] GC assumptions ? --=-VPQUQzza4LPmiFC+0Al9 Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Am Samstag, den 16.01.2016, 22:42 +0100 schrieb Nicolas Ojeda Bar: > Hi list, >=20 >=20 > 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. >=20 >=20 > 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. This possibility exists in OCaml, e.g. type t =3D Block of bool | Int0 Now, an assignment x :=3D Block false; x :=3D Int0 would do the change you are thinking about (argument-less variants are represented as ints). Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-VPQUQzza4LPmiFC+0Al9 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJWm3R/AAoJEAaM4b9ZLB5TimwH/32zoWwFCiF6viHj615BOOPk yDMUUi5PrBcErTCUS9nLo8Vgp9PwjR8P0TtLIYIeCHJu8Oio0BlBkgUOIWCFEVTT FIQmlevuVbXgz8Xw23qUCvpUV1PM6O7NnbguezWsjxUew+DJA10A2mbZI+A8ycTQ z5+B96DtpDH+PUcuZAu1+d+p7D2UPLexG5H6uJEmoFyyGsMQfq6H/ukiYbNwwQNN M/FgUYblQe20wv40wsA6Jxn3K6GSlxerAOzAuPOLJNVVmfS8wbM3PCi9BsmRFnIm RfCbPJhqpAh9XFLslFNn1uW+1hMdHQw99iwDZT0ZRF/iohMUml9ZySsV8otFoTA= =oLmD -----END PGP SIGNATURE----- --=-VPQUQzza4LPmiFC+0Al9--