Re: string variables in Printf.* calls: Bug, or lack of understanding?

From: Valentin Bonnard (bonnardv@pratique.fr)
Date: Mon Feb 24 1997 - 21:40:59 MET


Date: Mon, 24 Feb 1997 21:40:59 +0100
Message-Id: <v01530500af37b857ebb9@[194.98.4.65]>
To: caml-list@inria.fr
From: bonnardv@pratique.fr (Valentin Bonnard)
Subject: Re: string variables in Printf.* calls: Bug, or lack of understanding?

[English summary at the end]

>> Dans ce cas, comment avoir un record (en Caml-light):
>>
>> type Rec = { x: ('a, 'b, 'c) printf__format };;
>>
>> ne marche pas (variable 'a non lie'e).
>
>Apprenez le langage. type ('a, 'b, 'c) Rec = ...

Je veut bien, mais le record a plus de 10 champs ce qui
fait 30 variables de type pour qqchose qui n'est pas
polymorphe ! (Meme si pour Caml-light il l'est, du point
de vu du 'domaine du probleme' comme on dit, on a des
chaines indiquand un format; il n'y a aucun
polymorphisme la dedans.)

De plus je ne sais pas comment innitialiser les champs:

let f = { x = "toto" };;

ne fonctionne pas.

Tout cela signifie t'il que l'ordre dans lequel est fait
le typage est important ?

********

I want to have a record (in Caml-light) with printf
format strings.

type Rec = { x: ('a, 'b, 'c) printf__format };;

doesn't work because the vars a, b end c aren't bound.

I have more then 10 fields in the record so does it
means I need 30 type vars ?

Also I don't know how to create an instance of this
type.

BTW does the type-system depend on the order in which
things are typed ?

Valentin Bonnard
mailto:bonnardv@pratique.fr
http://www.pratique.fr/~bonnardv (Informations sur le C++ en Francais)



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:09 MET