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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7C3E27F72A for ; Fri, 12 Aug 2016 19:07:46 +0200 (CEST) IronPort-PHdr: 9a23:rmDEnhwhp7+vivfXCy+O+j09IxM/srCxBDY+r6Qd0e8VIJqq85mqBkHD//Il1AaPBtSCrascwLOO7eigATVGusfZ9ihaMdRlbFwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oMyKJVwQz2PlP/sydEzw9lSJ8JFOwMNLEeUY8lPxuHxGeuBblytDBGm4uFLC3Pq254Np6C9KuvgspIZqWKT+eLkkH/QDVGx1ezN92Mq+vhDGSU6L52AAemQQiBtBRQbfvz/gWZKkmCbgue903mGzO8HsQKF8DSqh6aZDWRbuhCoXcSQkpjKEwvdshb5W9Ury7yd0xJTZNdmY Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=vkni@yandex.ru; spf=Pass smtp.mailfrom=vkni@yandex.ru; spf=None smtp.helo=postmaster@forward10m.cmail.yandex.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of vkni@yandex.ru) identity=pra; client-ip=5.255.216.203; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vkni@yandex.ru"; x-sender="vkni@yandex.ru"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of vkni@yandex.ru designates 5.255.216.203 as permitted sender) identity=mailfrom; client-ip=5.255.216.203; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vkni@yandex.ru"; x-sender="vkni@yandex.ru"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@forward10m.cmail.yandex.net) identity=helo; client-ip=5.255.216.203; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vkni@yandex.ru"; x-sender="postmaster@forward10m.cmail.yandex.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BkAgDWAa5Xh8vY/wVehReFdWidRwaVBIF8hh2BSD4OAQEBAQEBAQERAQEBCA0JCRkvgjIWgl0BATiJZgEDG647hSsBAQWGUQFKA4RWHQiFYolqNxeEeIhuhiGEboVEgmCIG4QagVUBjW2QLTgJgjaBWmuHKwEBAQ X-IPAS-Result: A0BkAgDWAa5Xh8vY/wVehReFdWidRwaVBIF8hh2BSD4OAQEBAQEBAQERAQEBCA0JCRkvgjIWgl0BATiJZgEDG647hSsBAQWGUQFKA4RWHQiFYolqNxeEeIhuhiGEboVEgmCIG4QagVUBjW2QLTgJgjaBWmuHKwEBAQ X-IronPort-AV: E=Sophos;i="5.28,511,1464645600"; d="scan'208";a="229738977" Received: from forward10m.cmail.yandex.net ([5.255.216.203]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 12 Aug 2016 19:07:45 +0200 Received: from mxback6h.mail.yandex.net (mxback6h.mail.yandex.net [84.201.186.15]) by forward10m.cmail.yandex.net (Yandex) with ESMTP id 8A46F21274 for ; Fri, 12 Aug 2016 20:07:44 +0300 (MSK) Received: from web20h.yandex.ru (web20h.yandex.ru [84.201.186.49]) by mxback6h.mail.yandex.net (nwsmtp/Yandex) with ESMTP id 5iA3dP3vAY-7ivGCJG2; Fri, 12 Aug 2016 20:07:44 +0300 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.ru; s=mail; t=1471021664; bh=/dkkXx/o5Y8uXSovwjhXErLg/jZDdgU6wdQ40LihWew=; h=From:To:Subject:Message-Id:Date; b=VRtIEdn32TCEpPBwTZXmTrEqmXGCMqcs/Auph/QVEzOZ5g1BZX0diOXJugq3D+YwR xt5oNviL4o09PQwNR0V+h/PtFlTW4CP5rAS9kwrV0Z4pz/Y28N6aVV/aDs3j/mKSiZ ZFOgLXI4Seq2t3VVfAjiFzHKNayBA95b4sznhbB0= Received: by web20h.yandex.ru with HTTP; Fri, 12 Aug 2016 20:07:44 +0300 From: Bergman Andrey To: caml-list@inria.fr MIME-Version: 1.0 Message-Id: <806711471021664@web20h.yandex.ru> X-Mailer: Yamail [ http://yandex.ru ] 5.0 Date: Fri, 12 Aug 2016 20:07:44 +0300 Content-Transfer-Encoding: 7bit Content-Type: text/plain X-Validation-by: vkni@yandex.ru Subject: [Caml-list] are caml light and ocaml bytecodes different? Bonjour! Are formats of camllight and ocaml bytecodes different? Have you added some new instructions? Or you have preserved compatibility? Thank you, Andrey.