From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA18819; Sat, 9 Nov 2002 17:33:20 +0100 (MET)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA21768 for <caml-list@pauillac.inria.fr>; Sat, 9 Nov 2002 17:33:20 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gA9GXI514568;
	Sat, 9 Nov 2002 17:33:18 +0100 (MET)
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA20638; Sat, 9 Nov 2002 17:33:18 +0100 (MET)
From: Pierre Weis <pierre.weis@inria.fr>
Message-Id: <200211091633.RAA20638@pauillac.inria.fr>
Subject: Re: [Caml-list] format type (again)
In-Reply-To: <20021107171406.GA17139@zodiac.mimuw.edu.pl> from Cezary Kaliszyk at "Nov 7, 102 06:14:06 pm"
To: ck189400@zodiac.mimuw.edu.pl (Cezary Kaliszyk)
Date: Sat, 9 Nov 2002 17:33:18 +0100 (MET)
Cc: caml-list@inria.fr
X-Mailer: ELM [version 2.4ME+ PL28 (25)]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

> Could anyone tell me where in ocaml source is the type checking of the
> format type. I really need a new identifier for a function taking exacly 
> one parameter of type unit.
> 
> Cezary Kaliszyk

[This is a kind of request for comments about the format type framework]

As already said by Gerd Stolpmann in this mailing list, the typing of
format strings is currently improving in the working version of
Objective Caml (in particular for kprintf, as Gerd pointed
out). Hence, it is a good time for requests for implementation of new
features (for printf or scanf in particular) to be included in the
next version of Objective Caml.

Your request for a new ``identifier for a function taking exactly one
parameter of type unit'', which I should call a request for a new
``conversion'', is such an extension, that we could easily add to the
framework.

However, you do not completely specified the feature you want, nor its
typical use. What would be the return type of the function ? Why is it
mandatory that the argument of the function has to be of tye unit (for
instance, why a %t conversion would not lead to the correct typing or
semantics ?). What could be the usefulness of such a conversion for
printf or scanf ?

So, all people reading this list who do need some extension to printf
or scanf or in general to the format type framework should drop me a
message personnally (not to overflow the Caml list :).

I already have a useful extension to add to handle easy i18n of printf
format strings, after a discussion with Daniel who is facing
tremendous needs for translation in his GeneWeb software (GeneWeb's
messages have been translated to more than 20 languages!)

I will summarize all your suggestions in a future message to this list.

Best regards,

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners