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 CBF547FDE3 for ; Sun, 12 Jun 2016 22:27:48 +0200 (CEST) IronPort-PHdr: 9a23:db2dBxR/lFiC+5cy9iEmdJIKbdpsv+yvbD5Q0YIujvd0So/mwa64bR2N2/xhgRfzUJnB7Loc0qyN4/GmCTRLuMra+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8yVM10D3WbmKZpJbzyI7izp/vEMhoVjLqtjgjDomVBvP9ps+GVzOFiIlAz97MrjtLRq8iBXpu5zv5UYCfayV+0CQLdZFDUrNXwurI2u7EGbDFjH2nxJfWwciBtFB0D+5xH3RJrr+n/1v+Bn2SSee9b9Tb0uVC6K4KJiSRuugyACYW0X6mbS3/fxhqtAvBOsoVRfwojYbZuYLrIqRa7XdMgGRGdHGOZQUSBMGI6mR4oJFesIe+hC+dqu72ASpAezUFH/TNjkzSVF0zqvhfU3 Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Sebastien.Hinderer@inria.fr; spf=None smtp.mailfrom=SRS0=O/yu=SE=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org; spf=Pass smtp.helo=postmaster@sonata.ens-lyon.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Sebastien.Hinderer@inria.fr) identity=pra; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=O/yu=SE=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="Sebastien.Hinderer@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of SRS0=O/yu=SE=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org) identity=mailfrom; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=O/yu=SE=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="SRS0=O/yu=SE=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@sonata.ens-lyon.org designates 140.77.166.138 as permitted sender) identity=helo; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=O/yu=SE=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="postmaster@sonata.ens-lyon.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AICgAvxV1XfoqmTYxdhAe0GpFHOxEBAQEBAQEBAREBAQsLCQkhL0EBBA0BgVyCGwEFIw8BRhALGgIFEw4CAg8tGwaIQwSsV5BogQGJc4FKhXcrgi8FmGGOHoFdAY1Mj2wCNIQQiE02gW4DAQEB X-IPAS-Result: A0AICgAvxV1XfoqmTYxdhAe0GpFHOxEBAQEBAQEBAREBAQsLCQkhL0EBBA0BgVyCGwEFIw8BRhALGgIFEw4CAg8tGwaIQwSsV5BogQGJc4FKhXcrgi8FmGGOHoFdAY1Mj2wCNIQQiE02gW4DAQEB X-IronPort-AV: E=Sophos;i="5.26,463,1459807200"; d="scan'208";a="181009174" Received: from sonata.ens-lyon.org ([140.77.166.138]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 12 Jun 2016 22:27:48 +0200 Received: from localhost (localhost [127.0.0.1]) by sonata.ens-lyon.org (Postfix) with ESMTP id CED6B200CA; Sun, 12 Jun 2016 22:27:47 +0200 (CEST) Received: from sonata.ens-lyon.org ([127.0.0.1]) by localhost (sonata.ens-lyon.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 9Cg3EdzBEjse; Sun, 12 Jun 2016 22:27:47 +0200 (CEST) Received: from pema.homeunix.org (AMontsouris-551-1-55-222.w90-24.abo.wanadoo.fr [90.24.174.222]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by sonata.ens-lyon.org (Postfix) with ESMTPSA id A610B200C0; Sun, 12 Jun 2016 22:27:47 +0200 (CEST) Received: from seb by pema.homeunix.org with local (Exim 4.87) (envelope-from ) id 1bCBz0-0006Nv-QB; Sun, 12 Jun 2016 22:27:46 +0200 Date: Sun, 12 Jun 2016 22:27:46 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: Gabriel Scherer Cc: caml users Message-ID: <20160612202746.GA24469@pema> Mail-Followup-To: Gabriel Scherer , caml users References: <20160612122903.GA10267@pl-59055.rocqadm.inria.fr> <20160612123235.GA10292@pl-59055.rocqadm.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: Subject: Re: [Caml-list] Logging to a channel form C Gabriel Scherer (2016/06/12 14:10 -0400): > I would call the channel-writing functions of the OCaml runtime, see > byterun/caml/io.h (and for C includes). Ah, I see, thanks. This would indeed guarantee coherent output, but then it also means that one has to sprintf to a string before writing to the channel, right? Thanks, Sébastien.