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 DF74D7FDE3 for ; Sun, 12 Jun 2016 20:11:02 +0200 (CEST) IronPort-PHdr: 9a23:4F5zFxPLYqQvdepU7Bol6mtUPXoX/o7sNwtQ0KIMzox0Kfn6rarrMEGX3/hxlliBBdydsKIVzbqO+Pm5AiQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTmkbDqsMSKOE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4gyLeVhOC7WcwVWAfkxwAQ1SUrUKyYpCkiarwv/Fh2SScCu33S7w5Qzm4p/NQRRXhkzsGOjh/0GDRhsFqgbhzoRS7phU5zZSCJMmePf96Nr7GcMkBDT5KV8NVEihAGZ+Ubo0VDuNHM/wO/KfnoF5bghK0HwihAKvUwT9FnHLslfk12u47EAzCmhcrH98UvW78o9D8NaNUWuewmvqbhQ7fZu9bjG+uoLPDdQos9LTRBL8= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f179.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.179 as permitted sender) identity=mailfrom; client-ip=209.85.223.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-io0-f179.google.com) identity=helo; client-ip=209.85.223.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ALAwBZpF1XfbPfVdFdhBR9BqoFhXSLJYF5IoV1AoEZBzoSAQEBAQEBAQERAQEJCwsJIS+CMIIbAQEEEhEdARsSDAMMBgULDQICCR0CAiIBEQEFAQoSBgESEhCHcwEDFw6fCIExPjGLO4FqglkFhxkKGScDClKDLAEBAQEGAQEBAQEBGQIGEHGFJoRNgUqFd4JaBYZFDJIQgViELIgkgVNkjGmOLxIegQ8lBYIkghAgMooIAQEB X-IPAS-Result: A0ALAwBZpF1XfbPfVdFdhBR9BqoFhXSLJYF5IoV1AoEZBzoSAQEBAQEBAQERAQEJCwsJIS+CMIIbAQEEEhEdARsSDAMMBgULDQICCR0CAiIBEQEFAQoSBgESEhCHcwEDFw6fCIExPjGLO4FqglkFhxkKGScDClKDLAEBAQEGAQEBAQEBGQIGEHGFJoRNgUqFd4JaBYZFDJIQgViELIgkgVNkjGmOLxIegQ8lBYIkghAgMooIAQEB X-IronPort-AV: E=Sophos;i="5.26,462,1459807200"; d="scan'208";a="181003634" Received: from mail-io0-f179.google.com ([209.85.223.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Jun 2016 20:11:01 +0200 Received: by mail-io0-f179.google.com with SMTP id o127so57577933iod.2; Sun, 12 Jun 2016 11:11:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-transfer-encoding; bh=I39cvgBVjVANJmdKUTF1sA5xA1paObC57Lo0qmgU8zw=; b=ibFtycleP767wKnfZSCSPzOR7iyvQne6SYjPAsz+sQtvOMJz2H8toKkixNBcUZh39V I41NR/EPYpBFlx8O4p/wNEO0E/p/oDdL8Qtba9jeF1QQrjfa2YpILxQk/G94FgF8Pv4k GStvfA4bko2Ykj195BkoIjJ1fYqS0TxwW+qsJZI572dzVCrfkE1Tg3zIQLrBHkZQYP+2 HvJbwg6W+49rKyiUUbX7aqY8vqwenr3apB/1b5U+KusyuEjJT+RphqWSfCrH4jIu/Njb J2xYLRG2B9NuHRaGssPR4a+sjxarf3ow1+oDmzZPXgo+14Vy4PkkwYBjQCJJauKTIuiO hKgQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:content-transfer-encoding; bh=I39cvgBVjVANJmdKUTF1sA5xA1paObC57Lo0qmgU8zw=; b=FWpJ3TCMUMiBJ1W95XIxabzkr529Ou98Q82UF4h7pfuox7pM1FvmmtubF2qDWNaFVL qBy7zpl4nbZyvr/Bx0LPcNcOGdjfpbPrTD2T64O4+2nJqU4FVmiDv3IQG29eOqeNvO3V +3+KupF8xXPaDRYbUaNVSX7RZgUTEarXW/nw2GzRatFbsxoUmbKbINie2G0MGUaTtHI3 EzK0raQX8aSKf2LZZ07UMeXMu/D/fc9CFLsBoHg6G0qQ1u06e5/HW6DugsAPtIJ7EzMw ULq146ljTDEn/vhIZbDJuNmKLyaLkJMX2yowm1+IleGaSgpJ8dTBSbwaPNcK+mSME6tL hZdg== X-Gm-Message-State: ALyK8tI8yR/xrGIo+tXu+31zcuMT0OTTGlz4kvhI2+6B/mbvBcWPeTPYsa0Gii1hux9GxtJ+Vkv5iQBhWlpBQQ== X-Received: by 10.107.59.216 with SMTP id i207mr6112172ioa.30.1465755060161; Sun, 12 Jun 2016 11:11:00 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.89.195 with HTTP; Sun, 12 Jun 2016 11:10:20 -0700 (PDT) In-Reply-To: <20160612123235.GA10292@pl-59055.rocqadm.inria.fr> References: <20160612122903.GA10267@pl-59055.rocqadm.inria.fr> <20160612123235.GA10292@pl-59055.rocqadm.inria.fr> From: Gabriel Scherer Date: Sun, 12 Jun 2016 14:10:20 -0400 Message-ID: To: =?UTF-8?Q?S=C3=A9bastien_Hinderer?= , caml users Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Logging to a channel form C I would call the channel-writing functions of the OCaml runtime, see byterun/caml/io.h (and for C includes). On Sun, Jun 12, 2016 at 8:32 AM, S=C3=A9bastien Hinderer wrote: > Btw Unix library not allowed in the use case. > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs