Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004792OCamlOCaml generalpublic2009-05-15 18:432009-05-18 15:20
Reporterfbesson 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.11.0 
Target VersionFixed in Version3.11.1+dev 
Summary0004792: big_int_of_int64 is incorrect
DescriptionBonjour,

It seems that there are cases for which big_int_of_int64 is buggy.
For instance,

string_of_big_int (big_int_of_int64 (Int64.of_int32 Int32.min_int)) does not return
?2147483648 but -18446744071562067968

Yet Int64.to_string (Int64.of_int32 Int32.min_int) returns the correct value.
    

--
Frédéric Besson
Additional InformationOS: MAC OS X 10.4.11
Processor : Intel Core 2 Duo
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0004955)
xleroy (administrator)
2009-05-18 15:20

Silly typo. Fixed in CVS branch "release311", will be released in 3.11.1 shortly.

- Issue History
Date Modified Username Field Change
2009-05-15 18:43 fbesson New Issue
2009-05-18 15:20 xleroy Note Added: 0004955
2009-05-18 15:20 xleroy Status new => closed
2009-05-18 15:20 xleroy Resolution open => fixed
2009-05-18 15:20 xleroy Fixed in Version => 3.11.1+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker