From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3CETLQu008237
	for <caml-list@sympa-roc.inria.fr>; Thu, 12 Apr 2012 16:29:21 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtYBAE7mhk/B/BfUkWdsb2JhbABEgxyzSYMkAQEBAQkLCwcUAySCCQEBBScRQAEQCxgJFg8JAwIBAgFFBg0BBwEBhg2CAbsHkX4ElWyFco0tgVo
X-IronPort-AV: E=Sophos;i="4.75,410,1330902000"; 
   d="scan'208";a="139993955"
Received: from msa03.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.212])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 12 Apr 2012 16:29:15 +0200
Received: from [192.168.1.105] ([86.195.143.161])
	by mwinf5d28 with ME
	id x2VE1i00V3V8rWW032VElg; Thu, 12 Apr 2012 16:29:15 +0200
Message-ID: <4F86E6BC.7070706@frisch.fr>
Date: Thu, 12 Apr 2012 16:29:16 +0200
From: Alain Frisch <alain@frisch.fr>
User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:11.0) Gecko/20120327 Thunderbird/11.0.1
MIME-Version: 1.0
To: Philippe Veber <philippe.veber@gmail.com>
CC: Gabriel Scherer <gabriel.scherer@gmail.com>, Leo P White <lpw25@cam.ac.uk>,
        caml <caml-list@inria.fr>
References: <Prayer.1.3.4.1204112213090.4991@hermes-2.csi.cam.ac.uk> <CAPFanBHbb1uKg3zTy7AsjCehtcofZhs-KJzCi5d7=J7B=+twJA@mail.gmail.com> <4F86E0C0.8020003@frisch.fr> <CAOOOohRd5jGiVJkwhWcsji3cRw=vG_GDt9yg1daZPbdggxaZeQ@mail.gmail.com>
In-Reply-To: <CAOOOohRd5jGiVJkwhWcsji3cRw=vG_GDt9yg1daZPbdggxaZeQ@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] [ANN] ocamlopen 1.0.2

On 04/12/2012 04:16 PM, Philippe Veber wrote:
> Isn't this a good use case for polymorphic variants too ?

I don't see how to use polymorphic variants here.  The message bus 
itself need to provide functions like:

   val dispatch: message -> unit
   val register_listener: (message -> unit) -> unit


How do you define the message type without having access to all possible 
message constructors?


-- Alain