Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000007OCamlOCaml generalpublic1999-12-20 11:162000-01-13 20:04
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000007: Documentation for size parameter of Hashtbl.create
DescriptionFull_Name: Norman Ramsey
Version: 2.03
OS:
Submission from: estephe.inria.fr (128.93.11.95)
Submitted by: xleroy


The documentation for Hashtbl.create should indicate whether the initial
guess is for the size of the table or the number of elements. Since it
appears that the size of the table is managed automatically, I imagine
the hint should be the number of elements that is expected to put into
the table, but it is worth saying this explicitly.

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000281)
administrator (administrator)
2000-01-13 20:04

Fixed in 3.00

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker