Comment author: administrator

pervasives.ml contient :

external string_to_format :
string -> ('a, 'b, 'c, 'd) format4 = "%identity"

mais dans le .mli :

external format_of_string :
('a, 'b, 'c, 'd) format4 -> ('a, 'b, 'c, 'd) format4 = "%identity"

Ce n'est pas contradictoire. string_to_format est une fonction interne
de Pervasives, non exportée (car non sûre vis-à-vis du typage).

• Xavier Leroy

Comment author: administrator

These are the inteded types.

Comment author: administrator

Xavier Leroy [Friday 25 July 2003] :

pervasives.ml contient :

external string_to_format :
string -> ('a, 'b, 'c, 'd) format4 = "%identity"

mais dans le .mli :

external format_of_string :
('a, 'b, 'c, 'd) format4 -> ('a, 'b, 'c, 'd) format4 = "%identity"

Ce n'est pas contradictoire. string_to_format est une fonction interne
de Pervasives, non exportée (car non sûre vis-à-vis du typage).

Désolé, je me suis emmêlé les pinceaux entre les string, les format,
les of et les to :)

J'essayait de comprendre l'intérêt de format_of_string. Je crois avoir
compris, c'est pour forcer une string litérale à avoir un type format.

--
Olivier

Comment author: administrator

[...]

J'essayait de comprendre l'intérêt de format_of_string. Je crois avoir
compris, c'est pour forcer une string litérale à avoir un type format.

--
Olivier

Voilà ce que dit la documentation:

(** [format_of_string s] returns a format string read from the string
literal [s]. *)

Pensez-vous qu'il faille d'autres explications ?

Cordialement,

Pierre Weis

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

Comment author: administrator

Pierre Weis [Friday 25 July 2003] :

[...]

J'essayait de comprendre l'intérêt de format_of_string. Je crois avoir
compris, c'est pour forcer une string litérale à avoir un type format.

--
Olivier

Voilà ce que dit la documentation:

(** [format_of_string s] returns a format string read from the string
literal [s]. *)

Pensez-vous qu'il faille d'autres explications ?

Je n'ai pas été trés clair : je me demandais dans quel contexte on
pouvait avoir à utiliser une telle fonction (je n'en avais jamais
éprouvé le besoin avant). Quant à avoir d'autres explications,
peut-être ... c'est la seule fonction s'appelant "type1_of_type2" et
qui n'est pas du type `type2 -> type1', c'est troublant ! Peut-être
qu'en l'appelant format_of_string_literal son rôle serait plus
clair ?

Sinon, dans la documentation des "built-in types", je lis :
type ('a, 'b, 'c, 'd) format
ça devrait être
type ('a, 'b, 'c, 'd) format4
non ?

http://caml.inria.fr/ocaml/htmlman-beta/manual033.html

--
Olivier