Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003877OCamlOCaml generalpublic2005-11-19 19:432005-11-22 13:00
Reporteranonymous 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0003877: feature-wish: Hashtbl.keys
Descriptiona keys-function, that gives back all keys of a Hashtbl.
TagsNo tags attached.
Attached Files

- Relationships

- Upload File
Select File
(Maximum size: 2,097k)

-  Notes
(0003374)
anonymous (viewer)
2005-11-20 13:56

I doubt internal representation will allow anything more efficient than

let hashtbl_keys h =
    Hashtbl.fold (fun k v acc -> k :: acc) h []

on client's side...

- Issue History
Date Modified Username Field Change
2005-11-19 19:43 anonymous New Issue
2005-11-20 13:56 anonymous Note Added: 0003374
2005-11-22 13:00 doligez Status new => acknowledged


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker