Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000223OCamlOCaml generalpublic2000-11-19 21:212000-11-20 13:54
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000223: int_of_string "a"
DescriptionFull_Name: Florian Douetteau
Version: 3.00
OS: Linux
Submission from: marsu.ens.fr (129.199.131.41)



external int_of_string : string -> int = "int_of_string"
        (* Convert the given string to an integer.
           The string is read in decimal (by default) or in hexadecimal,
           octal or binary if the string begins with [0x], [0o] or [0b]
           respectively.

# int_of_string "b";;
- : int = 11
# int_of_string "a";;
- : int = 10

...

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000466)
administrator (administrator)
2000-11-20 12:00

> # int_of_string "b";;
> - : int = 11

C'est un bug connu de la version 3.00, qui est corrigé dans la version
de développement.

Merci de l'avoir signalé,

- Xavier Leroy

(0000467)
administrator (administrator)
2000-11-20 12:11

Salut,

On Mon, Nov 20, 2000 at 12:00:53PM +0100, Xavier.Leroy@inria.fr wrote:
> > # int_of_string "b";;
> > - : int = 11
>
> C'est un bug connu de la version 3.00, qui est corrigé dans la version
> de développement.

Je crains que non.

--
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/ [^]

(0000468)
administrator (administrator)
2000-11-20 13:54

> > > # int_of_string "b";;
> > > - : int = 11
> >
> > C'est un bug connu de la version 3.00, qui est corrigé dans la version
> > de développement.
>
> Je crains que non.

En effet, le premier chiffre est traité spécialement, et la correction
n'y avait pas été appliquée. C'est fait maintenant.

- Xavier

(0000469)
administrator (administrator)
2000-11-20 13:54

Fixed 2000-11-20 by Xavier (related to PR#178).

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker