Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003881OCamlOCaml generalpublic2005-11-21 10:362005-11-22 13:08
ReporterJean-Christophe Filliatre 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0003881: Wish: a module Int
DescriptionA trivial feature wish:

It would be nice to have a Int module for integers, so that we could simply write

  module S = Set.Make(Int)

It makes sense, since we already have similar modules Char, Int32, etc.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2005-11-21 10:36 Jean-Christophe Filliatre New Issue
2005-11-22 13:00 doligez Status new => acknowledged
2005-11-22 13:08 doligez Severity minor => feature


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker