From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jonathan.protzenko@gmail.com>
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 06D547EE99
	for <caml-list@sympa.inria.fr>; Thu, 26 Dec 2013 12:49:02 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  jonathan.protzenko@gmail.com) identity=pra;
  client-ip=74.125.82.178;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jonathan.protzenko@gmail.com";
  x-sender="jonathan.protzenko@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  jonathan.protzenko@gmail.com designates 74.125.82.178 as
  permitted sender) identity=mailfrom; client-ip=74.125.82.178;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jonathan.protzenko@gmail.com";
  x-sender="jonathan.protzenko@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-we0-f178.google.com) identity=helo;
  client-ip=74.125.82.178;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jonathan.protzenko@gmail.com";
  x-sender="postmaster@mail-we0-f178.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvQCACwXvFJKfVKylGdsb2JhbABYg0ODVLZOgRQWDgEBAQEHCwsJEiqCJQEBAQQjBAsBDQEbHAEBAwwGBQsNAgIFFgsCAgkDAgECARERAQUBHAYNAQcBAYdrAQMRBAEIonqMCVODCY44ChknDWSFbhEBBQyBHY10B4JugUgBA5gXgTCFFYliQYRa
X-IPAS-Result: AvQCACwXvFJKfVKylGdsb2JhbABYg0ODVLZOgRQWDgEBAQEHCwsJEiqCJQEBAQQjBAsBDQEbHAEBAwwGBQsNAgIFFgsCAgkDAgECARERAQUBHAYNAQcBAYdrAQMRBAEIonqMCVODCY44ChknDWSFbhEBBQyBHY10B4JugUgBA5gXgTCFFYliQYRa
X-IronPort-AV: E=Sophos;i="4.95,554,1384297200"; 
   d="scan'208";a="50435319"
Received: from mail-we0-f178.google.com ([74.125.82.178])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Dec 2013 12:49:01 +0100
Received: by mail-we0-f178.google.com with SMTP id u57so7317272wes.9
        for <caml-list@inria.fr>; Thu, 26 Dec 2013 03:49:01 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:content-type:content-transfer-encoding;
        bh=CNMfFLUsvcR5Y1RVCz45jA0+ORpCvVIGmIQhaNYilgM=;
        b=hs9FNGvaz9Vq0097KJMHW5HgpnhR6iqADIJAxzBbzhY31Xpho5IaUssjdGqtnj9Grz
         rCckaEG3I7pOueycGOx/Sa1EIQzRoEy6RQbbJ6RmVbUClMY1TUUZ5N5b/0k1spdgVQk/
         LhR+ZFClBO+37PaJs3InAteMzUYmtdoJCvJBuEmNtKbMXAAAeQUDU9rTzkCBWa6dn7J6
         6O7hWFklsvPTvuLJ4OJE+D+/v2QypFH4vIlSonzBd7kaALBPn8YULkEEUAoltaoW0tHb
         I2g3PtfVuaJgvO/IXREzry38ak29qhl6gpwOgBrmX9oPdRLSUAWCOwqvS85Cg0alNk5/
         2Eyw==
X-Received: by 10.194.58.136 with SMTP id r8mr29927230wjq.4.1388058541215;
        Thu, 26 Dec 2013 03:49:01 -0800 (PST)
Received: from [192.168.1.108] (bel85-1-88-121-244-66.fbx.proxad.net. [88.121.244.66])
        by mx.google.com with ESMTPSA id cy10sm16713169wjb.6.2013.12.26.03.48.59
        for <multiple recipients>
        (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Thu, 26 Dec 2013 03:49:00 -0800 (PST)
Message-ID: <52BC17A9.7030404@gmail.com>
Date: Thu, 26 Dec 2013 12:48:57 +0100
From: Jonathan Protzenko <jonathan.protzenko@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:29.0) Gecko/20100101 Thunderbird/29.0a1
MIME-Version: 1.0
To: =?UTF-8?B?RGFuaWVsIELDvG56bGk=?= <daniel.buenzli@erratique.ch>
CC: caml-list@inria.fr, Francois Berenger <berenger@riken.jp>
References: <52BBE1E9.1010602@riken.jp> <13075CB0C05E4E8C99531155FB17C47B@erratique.ch>
In-Reply-To: <13075CB0C05E4E8C99531155FB17C47B@erratique.ch>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] isn't iksprintf missing in the stdlib?

Hi,

If I'm not mistaken, and assuming you're using -rectypes, you can write:

# let rec iksprintf k f = iksprintf;;
val iksprintf : 'b -> 'c -> 'a as 'a = <fun>

which is unifiable with the type of Printf.ksprintf

# if true then Printf.ksprintf else iksprintf;;
- : (string -> 'b) -> ('a, unit, string, 'b) format4 -> 'a as 'a = <fun>

Cheers,

~ jonathan

On Thu 26 Dec 2013 12:24:53 PM CET, Daniel Bünzli wrote:
>
>
> Le jeudi, 26 décembre 2013 à 08:59, Francois Berenger a écrit :
>
>> Cf. http://caml.inria.fr/pub/docs/manual-ocaml/libref/Printf.html
>>
>> Is it possible to write one out of the Printf module?
> Maybe not. But at least from the Format module using `Format.iksprintf` with `Format.std_formatter`.
>
> Best,
>
> Daniel
>
>
>