Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004774OCamlOCaml generalpublic2009-04-22 00:532013-09-04 18:10
Reporterdim 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version3.11.0 
Target VersionFixed in Version 
Summary0004774: Block with a custom comparison function
DescriptionThe following patch add a new special tag (user_tag = 245) for blocks containing a value with a custom comparison function. This allow the user to create values with a specific comparison function, which is often really useful.

I also attached a module Custom_value, for the creation of such value.

The second patch (poly-set-map.diff) add an implementation of polymorphic set and map using this technique.
Tagspatch
Attached Filesdiff file icon custom-compare.diff [^] (11,369 bytes) 2009-04-22 00:53 [Show Content]
? file icon custom_value.mli [^] (1,478 bytes) 2009-04-22 00:54 [Show Content]
? file icon custom_value.ml [^] (1,156 bytes) 2009-04-22 00:54 [Show Content]
diff file icon poly-set-map.diff [^] (17,116 bytes) 2009-04-22 00:54 [Show Content]
diff file icon custom-compare2.diff [^] (14,355 bytes) 2009-04-27 15:10 [Show Content]
diff file icon poly-set-map2.diff [^] (16,406 bytes) 2009-04-27 15:10 [Show Content]

- Relationships

-  Notes
(0004926)
dim (developer)
2009-04-27 15:12

I added a better version of the two patches. In particular for polymorphic sets and maps, the code is shared between the functorized version and the defunctorized version.

- Issue History
Date Modified Username Field Change
2009-04-22 00:53 dim New Issue
2009-04-22 00:53 dim File Added: custom-compare.diff
2009-04-22 00:54 dim File Added: custom_value.mli
2009-04-22 00:54 dim File Added: custom_value.ml
2009-04-22 00:54 dim File Added: poly-set-map.diff
2009-04-27 15:10 dim File Added: custom-compare2.diff
2009-04-27 15:10 dim File Added: poly-set-map2.diff
2009-04-27 15:12 dim Note Added: 0004926
2009-04-29 16:00 doligez Status new => acknowledged
2013-09-04 18:10 doligez Tag Attached: patch


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker