0000320: affichage des valeurs infinity et neg_infinity - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0000320

OCaml

OCaml general

public

2001-03-22 13:34

2008-01-22 13:41

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Target Version

Fixed in Version

<=3.07

Summary

0000320: affichage des valeurs infinity et neg_infinity

Description

Full_Name: Jean-Christophe Filliatre
Version: ocaml 3.01
OS: Linux
Submission from: pc803.lri.fr (129.175.8.114)

Il s'agit d'un mini bug : les valeurs infinity et neg_infinity sont affichées
(dans le toplevel) comme "inf" et "-inf" respectivement, au lieu de
"infinity" et "neg_infinity" respectivement.

# 1. /. 0.;;
- : float = inf
# -1. /. 0.;;
- : float = -inf

Merci (je ne suis bien sûr pas pressé que ce soit corrigé, c'est totalement
mineur)

--JCF

Tags

No tags attached.

Relationships

Notes
(0000105) administrator (administrator) 2001-03-30 14:40	Salut Jean-Christophe, > Il s'agit d'un mini bug : les valeurs infinity et neg_infinity sont affichées > (dans le toplevel) comme "inf" et "-inf" respectivement, au lieu de > "infinity" et "neg_infinity" respectivement. Oui, c'est actuellement le printf() de la lib C qui decide de cet affichage. Je suis d'accord que l'affichage des flottants au toplevel pourrait etre ameliore de maniere a ce que ce qui s'affiche soit parsable par OCaml. (C'est loin d'etre le cas, p.ex. 1.0 est affiche "1"...) Amicalement, - Xavier

(0000106) administrator (administrator) 2001-03-30 14:40	Printing of floats at top-level could be improved.

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:13	administrator	New Issue
2008-01-22 13:41	doligez	Status	acknowledged => closed
2008-01-22 13:41	doligez	Resolution	open => fixed
2008-01-22 13:41	doligez	Fixed in Version	=> <=3.07
2008-01-22 13:41	doligez	Description Updated

Copyright © 2000 - 2011 MantisBT Group