Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005938OCamlOCaml generalpublic2013-03-04 09:232013-03-04 09:23
Reporterdbuenzli 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusnewResolutionopen 
PlatformOSOS Version
Product Version4.00.1 
Target VersionFixed in Version 
Summary0005938: Mirror IO_BUFFER_SIZE and UNIX_BUFFER_SIZE in the stdlib and unix lib
DescriptionI think it would be nice to have something like:

Sys.io_buffer_size : int
Unix.io_buffer_size : int

so that we can adjust the size of our buffers to those of the runtime system without having to hardcode values.

Thanks.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2013-03-04 09:23 dbuenzli New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker