Original bug ID: 275
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Maxence Guesdon
Version: OCaml 3.00 + lablgtk 1.00
OS: Linux 2.2.x
Submission from: paris11-nas4-47-165.dial.proxad.net (212.27.47.165)

Je rencontre un pb avec la fonction float_of_string : elle
ne semble pas utiliser le même séparateur entre la partie
entière et la partie décimale, selon que l'on utilise ou
non lablgtk.
Un petit programme exemple :
(**********************************)
print_string "Avec le point:\n";;
let un_point_deux = "1.2";;
let f_un_point_deux = float_of_string un_point_deux;;
print_string un_point_deux;;
print_string " = ";;
print_string (string_of_float f_un_point_deux);;
print_string "\n";;
print_string (un_point_deux^" + 1.0 = ");;
print_string (string_of_float (f_un_point_deux +. 1.0));;
print_string "\n";;

print_string "Avec la virgule:\n";;
let un_virgule_deux = "1,2";;
let f_un_virgule_deux = float_of_string un_virgule_deux;;
print_string un_virgule_deux;;
print_string " = ";;
print_string (string_of_float f_un_virgule_deux);;
print_string "\n";;
print_string (un_virgule_deux^" + 1,0 = ");;
print_string (string_of_float (f_un_virgule_deux +. 1.0));;
print_string "\n";;
(**********************************)

En faisant

ocamlc test.ml
./a.out

on obtient l'affichage suivant :
Avec le point:
1.2 = 1.2
1.2 + 1.0 = 2.2
Avec la virgule:
1,2 = 1
1,2 + 1,0 = 2

Donc, dans ce cas, float_of_string utilise le point comme séparateur.

Maintenant, utilisons le toplevel créé lors de la compilation de lablgtk:
En faisant
./lablgtktop test.ml

on obtient l'affichage suivant :
Avec le point:
1.2 = 1
1.2 + 1.0 = 2
Avec la virgule:
1,2 = 1,2
1,2 + 1,0 = 2,2

Dans ce cas, float_of_string utilise la virgule comme séparateur.
Le fait de charger les bibliothèques C gtk modifierait-il le comportement
de la fonction C atof ?