From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 9A8157FCCB for ; Mon, 27 Apr 2015 22:42:33 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of andrew.herron@gmail.com) identity=pra; client-ip=209.85.216.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andrew.herron@gmail.com"; x-sender="andrew.herron@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of andrew.herron@gmail.com designates 209.85.216.42 as permitted sender) identity=mailfrom; client-ip=209.85.216.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andrew.herron@gmail.com"; x-sender="andrew.herron@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-vn0-f42.google.com) identity=helo; client-ip=209.85.216.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andrew.herron@gmail.com"; x-sender="postmaster@mail-vn0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AkAwCsnj5VmyrYVdFchDsFgxWxPQaQSoEhiQYHORMBAQEBAQEBEQEBAQEBBgsLCSEuhBcKAQEDARIRHQE5AwwBBQUDAQc3AgIiEgEFARwGARIih3QBAwkIn3aHOD4xh2uDToRhiRsWDScNDIUmJgEFDoYIhSKHdIFFBZwOjB+HeBIjgRVcgU4cgWMsMYJEAQEB X-IPAS-Result: A0AkAwCsnj5VmyrYVdFchDsFgxWxPQaQSoEhiQYHORMBAQEBAQEBEQEBAQEBBgsLCSEuhBcKAQEDARIRHQE5AwwBBQUDAQc3AgIiEgEFARwGARIih3QBAwkIn3aHOD4xh2uDToRhiRsWDScNDIUmJgEFDoYIhSKHdIFFBZwOjB+HeBIjgRVcgU4cgWMsMYJEAQEB X-IronPort-AV: E=Sophos;i="5.11,659,1422918000"; d="scan'208";a="113723464" Received: from mail-vn0-f42.google.com ([209.85.216.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Apr 2015 22:42:32 +0200 Received: by vnbg190 with SMTP id g190so13614611vnb.12 for ; Mon, 27 Apr 2015 13:42:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:content-type; bh=Y/mLWYLUMmGBAzz8dO/uXzcJFBUF183CNpvdsrAaHqc=; b=j/b8cottGfDtkb0FpVh9TCF9o9RTjsCPhoAMmvQk91Ap3pqi3N1nic38+u4dmbbSTc knUWUXQeQtxc6SyPn2FAnSw1a7msHXXx240sz3qJapd6R3vt6QBxK1TSpuI28VOYb8K4 gyO6PVSPSuvlckBPUMNL7HSO8WalRgJiwjDvEJx3FCKsBvVDQfcoIJXmfczc5i1HAMRV T9oGayhRlgI8yxrXMvCjF6jWMxt08ZExMD7oMvFkTU9UyJsM1Zq+WoTjFtuVagdD9+zS fYil9aIEOPgbBTCkgdnwiRFhRgWzEU1Y4my7geIsJpj2QfLYCChikq1djWg9MPwMn7sd ig4Q== MIME-Version: 1.0 X-Received: by 10.52.119.165 with SMTP id kv5mr30376961vdb.46.1430167351570; Mon, 27 Apr 2015 13:42:31 -0700 (PDT) Sender: andrew.herron@gmail.com Received: by 10.52.10.133 with HTTP; Mon, 27 Apr 2015 13:42:31 -0700 (PDT) In-Reply-To: <25B292673A962002.5D4A8FF2-991D-4F1D-8B0E-BA395EBFB8B3@mail.outlook.com> References: <553E7400.60702@lexifi.com> <25B292673A962002.5D4A8FF2-991D-4F1D-8B0E-BA395EBFB8B3@mail.outlook.com> Date: Tue, 28 Apr 2015 06:42:31 +1000 X-Google-Sender-Auth: WY5SoH9iNqtaPzjI9rQR79Hd6aE Message-ID: From: Andrew Herron To: Alain Frisch , caml-list Content-Type: multipart/alternative; boundary=089e013a0f90f5b4dd0514bac89c Subject: Re: [Caml-list] gen_js_api: generating Javascript bindings from OCaml interfaces --089e013a0f90f5b4dd0514bac89c Content-Type: text/plain; charset=UTF-8 On Tue, Apr 28, 2015 at 6:35 AM, Andrew Herron wrote: > > The oscigen list might be interested to hear about this as well :) > Oh, you did that already in the big binding discussion. Sorry, my bad! --089e013a0f90f5b4dd0514bac89c Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Tue, Apr 28, 2015 at 6:35 AM, Andrew Herron <thespyder@programme= r.net> wrote:
The oscigen list might be interested to hear about this as well= :)

Oh, you did that already in= the big binding discussion. Sorry, my bad!
--089e013a0f90f5b4dd0514bac89c--