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 1ECEE7FE44 for ; Fri, 8 Jul 2016 10:01:37 +0200 (CEST) IronPort-PHdr: 9a23:T4F31xcjhfX4AWdCBzn/JlYQlGMj4u6mDksu8pMizoh2WeGdxc6+bB7h7PlgxGXEQZ/co6odzbGH6+a6CCdZuMnJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/mj6boqtaKOloArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK7zeqB9Sb1DEBwnNXo07Yvlr0rtVwyKs0EbXmISihpFSyzI9BD1RJq55jH9uu15wCmXe8n7VbE7QzmK8qFqVlrzgTkANjN//nuB2Z84t75SvB/0/083+IXTeozAbPc= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rlepigre@gmail.com; spf=Pass smtp.mailfrom=rlepigre@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f68.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rlepigre@gmail.com) identity=pra; client-ip=74.125.82.68; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rlepigre@gmail.com"; x-sender="rlepigre@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rlepigre@gmail.com designates 74.125.82.68 as permitted sender) identity=mailfrom; client-ip=74.125.82.68; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rlepigre@gmail.com"; x-sender="rlepigre@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-wm0-f68.google.com) identity=helo; client-ip=74.125.82.68; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rlepigre@gmail.com"; x-sender="postmaster@mail-wm0-f68.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A6CwAiXX9Xf0RSfUpbFoN+fLkZghiHKUAMAQEBAQEBAQERAQEJCwsJHzGCMoIzEQQLAQ0BOQMNBRUKAgUhAhEFIAEFAVeHdAMXBAqdZYIHgTE+MYs7hEQFhiMnDYRPAgYQcYUmiVqCNYJaBZkUgVmEMog4gV4BY4cHhW2OTjCBD0w+gQIBAQEHAQEBAYItbIkWAQEB X-IPAS-Result: A0A6CwAiXX9Xf0RSfUpbFoN+fLkZghiHKUAMAQEBAQEBAQERAQEJCwsJHzGCMoIzEQQLAQ0BOQMNBRUKAgUhAhEFIAEFAVeHdAMXBAqdZYIHgTE+MYs7hEQFhiMnDYRPAgYQcYUmiVqCNYJaBZkUgVmEMog4gV4BY4cHhW2OTjCBD0w+gQIBAQEHAQEBAYItbIkWAQEB X-IronPort-AV: E=Sophos;i="5.28,328,1464645600"; d="scan'208";a="226034542" Received: from mail-wm0-f68.google.com ([74.125.82.68]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Jul 2016 10:01:36 +0200 Received: by mail-wm0-f68.google.com with SMTP id w75so3515436wmd.1 for ; Fri, 08 Jul 2016 01:01:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:date:from:to:subject:message-id:mime-version :content-disposition:content-transfer-encoding:user-agent; bh=05AdzJJcl6f6EA/mc+uI1yZeSjXP7djmLxFZLszjwRA=; b=U6Oo/y8zU9Vr6AsZQBRiSjPAkh7+VnP/BRiZ/IjbWO9NWUkH66bozUF0WwS82q5TqZ sb2I4ZFv8X9aSiX2+D9SEwalYP1LmmaK69jxz13J4iSKTwDlacvRfm3Ar0CTS071HuQL EwAGEWHjUbQxHgFe1SOO3tj64ww8bzHnL2LPI4BKd20nhEI36WBLiD4hhfYtMIrh8BFT oD/lY80Wclo4pQPClos3H2MsyH6Gt3P0x4QnIDl1k2Y/TH1rE18OUC+RIzO7QAXX5qGr EpzEMAQ4AUsvGvKeBNP5OgUrPBy9wzwarw4qzYtvF0mphYtuny80vUIc7TZ3uVQkc1nK lwDA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:sender:date:from:to:subject:message-id :mime-version:content-disposition:content-transfer-encoding :user-agent; bh=05AdzJJcl6f6EA/mc+uI1yZeSjXP7djmLxFZLszjwRA=; b=Vs1xf/476XK5pIEQBtsl91HVkWxcu7dhMlQzA+GdesIeid6gYGUKDd7cHEK01o7tA3 z9bkvqy7/8lTeJ3jjeFyb6WtkMoCjKsBE3yvA+4ghPV2IAM0EjVvM987bUdbcV/e4RcT iQtfn5aJ1GY4KOiTYjbGMqPh53HSUd948XY+9hi2m+saxzZdW8M5VXv33NrpDbj1tVAR hHgoLjERkhXiI/AQ8XMKTu2t9esvz4fmXVuqn2zdJ12xcEpM/5nhqZ+T9D92UCjXDlwQ R6wJBicDn58RW1mlCiCN4uAKP0dpIvQH6k590zYl/DQHzLQmGDCCNmDT1ms6CZoA5RWb EIwQ== X-Gm-Message-State: ALyK8tI2rGu6fu+MCfzdhxB0ZTwnWXC6uXJAx0wsxwMIi5mkBhWmxF0Eo0wxuU20QYC6kQ== X-Received: by 10.28.37.134 with SMTP id l128mr2023915wml.49.1467964896195; Fri, 08 Jul 2016 01:01:36 -0700 (PDT) Received: from localhost (nat-maths.univ-savoie.fr. [193.48.123.14]) by smtp.gmail.com with ESMTPSA id g195sm1730145wme.23.2016.07.08.01.01.34 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 08 Jul 2016 01:01:35 -0700 (PDT) Sender: Rodolphe Lepigre Date: Fri, 8 Jul 2016 10:01:34 +0200 From: Rodolphe Lepigre To: caml-list@inria.fr Message-ID: <20160708080134.GK11971@HPArchRod.localdomain> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.6.1 (2016-04-27) Subject: [Caml-list] Printf.sprintf "%a" Dear list, If I define two values val p : type out_channel -> blop -> unit val e : blop then I can do something like Printf.printf "%a" p e but I can't find a way to do something like Printf.sprintf "%a" p e which is not well-typed. Is there any trick that I can use to avoid changing the type of [p] to [blop -> string]? Cheers, Rodolphe -- Rodolphe Lepigre LAMA, Université Savoie Mont Blanc, FRANCE http://lama.univ-smb.fr/~lepigre/