You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4774 Reporter:@diml Assigned to:@diml Status: resolved (set by @diml on 2016-12-07T17:23:42Z) Resolution: suspended Priority: normal Severity: feature Version: 3.11.0 Category: ~DO NOT USE (was: OCaml general) Tags: patch Monitored by:@gasche@ygrek@glondu@hcarty
Bug description
The 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.
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.
I'm no longer interested in this. ppx_compare is a cleaner alternative to polymorphic comparison. I will let someone else resubmit a patch on github if they are still interested
Original bug ID: 4774
Reporter: @diml
Assigned to: @diml
Status: resolved (set by @diml on 2016-12-07T17:23:42Z)
Resolution: suspended
Priority: normal
Severity: feature
Version: 3.11.0
Category: ~DO NOT USE (was: OCaml general)
Tags: patch
Monitored by: @gasche @ygrek @glondu @hcarty
Bug description
The 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.
File attachments
The text was updated successfully, but these errors were encountered: