You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 276 Reporter: administrator Status: closed Resolution: not a bug Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
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.
Voila` un probleme interessant.
Un petit programme exemple :
[...]
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 ?
C'est bien la meme version d'atof qui est appelee. La difference est
que lablgtk initialise la locale, ce qu'ocamlc tout seul ne fait pas.
Quand la locale est initialisee, c'est LC_NUMERIC (ou a defaut LC_ALL)
qui decide du separateur decimal. Rien que de tres POSIX.
Probleme cependant, ce comportement n'est ni documente' par ocaml, ni
probablement souhaitable. La seule bonne solution que je vois serait
de remplacer atof par une fonction specifique ocaml.
En pratique, on peut aussi fixer explicitement LC_NUMERIC=C dans
l'environnement.
Cordialement,
Jacques Garrigue
The text was updated successfully, but these errors were encountered:
Original bug ID: 276
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Bonjour,
Voila` un probleme interessant.
[...]
C'est bien la meme version d'atof qui est appelee. La difference est
que lablgtk initialise la locale, ce qu'ocamlc tout seul ne fait pas.
Quand la locale est initialisee, c'est LC_NUMERIC (ou a defaut LC_ALL)
qui decide du separateur decimal. Rien que de tres POSIX.
Probleme cependant, ce comportement n'est ni documente' par ocaml, ni
probablement souhaitable. La seule bonne solution que je vois serait
de remplacer atof par une fonction specifique ocaml.
En pratique, on peut aussi fixer explicitement LC_NUMERIC=C dans
l'environnement.
Cordialement,
Jacques Garrigue
The text was updated successfully, but these errors were encountered: