Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007896OCamllanguage featurespublic2019-01-16 18:222019-02-05 19:57
Reportersfuric 
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusnewResolutionopen 
PlatformOSOS Version
Product Version4.07.0 
Target VersionFixed in Version 
Summary0007896: [IEEE 754] OCaml does not enable rounding direction to be specified by programs
DescriptionSome floating-point computations require rounding direction to be specified (typically to obtain safe bounds). However OCaml does not support directly this feature, so external functions have to be written (see attached code).
Steps To ReproduceCompile files in archive with:
ocamlc -c roundingMode_stubs.c
ocamlc -c roundingMode.mli
ocamlc -c roundingMode.ml
ocamlc -custom roundingMode.cmo roundingMode_stubs.o testRounding.ml

Run:
./a.out
TagsNo tags attached.
Attached Filestgz file icon rounding.tgz [^] (1,050 bytes) 2019-01-16 18:22

- Relationships
has duplicate 0003526closed wish: control of the floating point rounding mode 

-  Notes
(0019551)
nojebar (developer)
2019-01-16 19:35

I'm not an expert on IEEE754, but it sounds like a potentially useful addition. Would you like to open a PR on https://github.com/ocaml/ocaml [^] to discuss your code?

- Issue History
Date Modified Username Field Change
2019-01-16 18:22 sfuric New Issue
2019-01-16 18:22 sfuric File Added: rounding.tgz
2019-01-16 19:35 nojebar Note Added: 0019551
2019-02-05 19:57 gasche Relationship added has duplicate 0003526


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker