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