[Caml-list] Implicit module question

[Yotam Barnoy <yotambarnoy@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 769 bytes --]

I loved the Implicit Module presentation, and I'm very happy for ocaml to
be moving from a fully dynamic first-class-module existential type model
(excluding functors of course) that can't be optimized to one where the
compiler is in control and can do significant static analysis. I have a
question about the implicit module implementation: Is there any way to
combine modules automatically? For example, suppose I have a Show implicit
module and an Ord implicit module, and a function receives both, and wants
to infer both functionalities for an incoming type so we can run both show
and compare on the same type. Does the current model cover such a use-case?
If not, is there any idea how to move in this direction? Automatic module
fusion perhaps?

Thanks,

Yotam

[-- Attachment #2: Type: text/html, Size: 847 bytes --]