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 7DDA87ED1C for ; Fri, 25 Sep 2015 23:13:55 +0200 (CEST) IronPort-PHdr: 9a23:x+MLIRRPWhr8V2PyfZ5ocL3E4Npsv+yvbD5Q0YIujvd0So/mwa64Zx2N2/xhgRfzUJnB7Loc0qyN4/ymBDVLucjJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvip9uOOk4Q2nKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtapdRCTBuZ2s84cmusRjYUSOO4GEdWyMYiEwbLRLC6UTAV5DstmPWq+lwkH2ANMrrSbwcVjGr7qMtQxjt3nRUfwUl+X3a35QjxJlQpwis8kRy Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=raould@gmail.com; spf=Pass smtp.mailfrom=raould@gmail.com; spf=None smtp.helo=postmaster@mail-oi0-f49.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of raould@gmail.com) identity=pra; client-ip=209.85.218.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raould@gmail.com"; x-sender="raould@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of raould@gmail.com designates 209.85.218.49 as permitted sender) identity=mailfrom; client-ip=209.85.218.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raould@gmail.com"; x-sender="raould@gmail.com"; 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@mail-oi0-f49.google.com) identity=helo; client-ip=209.85.218.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raould@gmail.com"; x-sender="postmaster@mail-oi0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CDCQC0twVWmzHaVdFdhGEGgySuIotuAQGJJQc9DwEBAQEBAQEBEAEBAQEBBgsLCSEuQQOBWYIgER0BGx4DEhAPAiYCJAERAQUBIjWHdgEDEqgrggWBMD4xi0eBbIJ5iWIKGScNVoRQAQUOgRSFUYx6gUMFjXSHeI0NmWISI4EXOQEBAYI4HIF0HjOHPYFkAQEB X-IPAS-Result: A0CDCQC0twVWmzHaVdFdhGEGgySuIotuAQGJJQc9DwEBAQEBAQEBEAEBAQEBBgsLCSEuQQOBWYIgER0BGx4DEhAPAiYCJAERAQUBIjWHdgEDEqgrggWBMD4xi0eBbIJ5iWIKGScNVoRQAQUOgRSFUYx6gUMFjXSHeI0NmWISI4EXOQEBAYI4HIF0HjOHPYFkAQEB X-IronPort-AV: E=Sophos;i="5.17,588,1437429600"; d="scan'208";a="179493579" Received: from mail-oi0-f49.google.com ([209.85.218.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Sep 2015 23:13:54 +0200 Received: by oixx17 with SMTP id x17so64806291oix.0 for ; Fri, 25 Sep 2015 14:13:53 -0700 (PDT) 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=XuZfcX3HffZ5kcbm/KVHKOarcOLnpq0MpTJazH0wXIw=; b=AN93JNGxVl5I5uQ4PtTRNh7L0APeDDTYG+dCyqwmDxQWJfL7F3scFlcsNnfyCkPW05 QNeZNzMR7RKUfRymxBWKIHHeq8J40XpIwlOqBX93B8kz2oSQeA70LIEiDLuUxXv0x51S eCvqkwdNRbC69b/ODOIHOOEmgi62d7z0E2Jyr6jJIipD+kDbAI8udMrh9f7X9/RS5XWE 24EMjnA6MV1eE+u1D/2cZD5SSG1gj4xX+Qtt9OzNbjx/GFn2E7pWds+4k1vVJNh+nheK g5rkpC7ZDvc7PLovncNPlH6ufrYyPLJ+R03pbcKgrSRZBPmH5jJjYbhbTpran9CE6gj4 gLsQ== MIME-Version: 1.0 X-Received: by 10.202.192.131 with SMTP id q125mr4137419oif.118.1443215633288; Fri, 25 Sep 2015 14:13:53 -0700 (PDT) Received: by 10.182.172.36 with HTTP; Fri, 25 Sep 2015 14:13:53 -0700 (PDT) Date: Fri, 25 Sep 2015 14:13:53 -0700 Message-ID: From: Raoul Duke To: OCaml Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] whither portability? I would dearly love to be able to use OCaml everywhere. But the last I knew, it was not easy to use it on Android & iOS. Is that a solved problem now? And I do not mean somebody did it once and checked it in, I mean that it is in constant use, to avoid bit rot and "it worked on my machine" standard problems when people say something works. ;-)