Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005952OCamlOCaml standard librarypublic2013-03-15 01:102013-06-19 14:02
Reporteroliver 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version4.00.0 
Target VersionFixed in Version 
Summary0005952: Hashtbl.keys => giving back list of keys
DescriptionHashtbl module should have a function, that give back a list of all keys of a table.
Hashtbl.keys should report every key only once!

I coded this very often myself.
I think other people also do.

(In contrary a Hashtbl.values might not be that necessary, because the Hashtbl.keys-reult plus some list stuff, or the Hashtbl.fold function can then be used. But Hashtbl.keys needs more coding effort.)


TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2013-03-15 01:10 oliver New Issue
2013-06-19 14:02 doligez Status new => acknowledged


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker