On Thursday 03 April 2008 11:04:17 daniel.c.buenzli wrote: > On 3 avr, 11:49, Jon Harrop <[EMAIL PROTECTED]> wrote: > > To use a different comparison for an existing type, you just create a > > subtype and override the comparison method. > > So then I need inject/project functions for this new type or explicit > type anotations to make it use the right equality ?
The appropriate call is selected by the compiler after monomorphization. So there is no ambiguity or need for type annotations etc. -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "ocaml-developer" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/ocaml-developer?hl=en For other OCaml forums, see http://caml.inria.fr/resources/forums.en.html -~----------~----~----~----~------~----~------~--~---
