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 pB8AfRWF020012
	for <caml-list@sympa-roc.inria.fr>; Thu, 8 Dec 2011 11:41:27 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ai4BAKWT4E7RVdY2kGdsb2JhbABDhQalVwgiAQEBAQkJDQcUBCGBcgEBAQEDEgIPFQgBGxwBAQMMBgULDQICBRYLAgIJAwIBAgEREQEFARwGDQEHAQEQDodtmigKixxIgmuESj2IcQIFDIEoiHGBFgSUa4VLgTSGcT2Deg
X-IronPort-AV: E=Sophos;i="4.71,319,1320620400"; 
   d="scan'208";a="122566069"
Received: from mail-bw0-f54.google.com ([209.85.214.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Dec 2011 11:41:22 +0100
Received: by bkbzv15 with SMTP id zv15so2281834bkb.27
        for <caml-list@inria.fr>; Thu, 08 Dec 2011 02:41:21 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:content-type:content-transfer-encoding;
        bh=8/QUpXXwjWqCRDcgBQ4/Edubv0DpxZ9FsVgZ/TdQ6/4=;
        b=rpPZam8/+bJ1gVoKMBO4d7+lvLM+ytrXQyJzyHC9P6aQgSj51NDebWgOg3lIcUW4kl
         TeGDFpUBzrlxgPG/nvw9ouyAK2/TILh581xv9/Vy5oNt2+GME77BkFxhAAmI2323cOlR
         nf4U2va/aqndnIlptudNb9vxWbU7c+OnWPQvw=
Received: by 10.204.10.80 with SMTP id o16mr1093195bko.13.1323340881145;
        Thu, 08 Dec 2011 02:41:21 -0800 (PST)
Received: from [128.93.11.91] (sauternes.inria.fr. [128.93.11.91])
        by mx.google.com with ESMTPS id h7sm2702736bkw.12.2011.12.08.02.41.19
        (version=SSLv3 cipher=OTHER);
        Thu, 08 Dec 2011 02:41:20 -0800 (PST)
Message-ID: <4EE0944D.2030207@gmail.com>
Date: Thu, 08 Dec 2011 11:41:17 +0100
From: Jonathan Protzenko <jonathan.protzenko@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:11.0a1) Gecko/20111205 Thunderbird/11.0a1
MIME-Version: 1.0
To: Alain Frisch <alain@frisch.fr>
CC: Edgar Friendly <thelema314@gmail.com>, caml-list@inria.fr,
        Gerd Stolpmann <info@gerd-stolpmann.de>
References: <1323271707.32238.17.camel@arrakis> <4EE02213.70200@gmail.com> <4EE07CB7.6090106@frisch.fr> <280dc1473314c10968af19341bde3186.squirrel@gps.dynxs.de> <4EE0923C.2060100@frisch.fr>
In-Reply-To: <4EE0923C.2060100@frisch.fr>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Generic printer patch

Do you plan on opening up your automated gui generation library and 
have it distributed so that other users can take advantage of it? Say, 
make it rely on lablgtk and bundle it as a semi-official 3rd-party 
library that other people can reuse :-).

jonathan

On Thu 08 Dec 2011 11:32:28 AM CET, Alain Frisch wrote:
> On 12/08/2011 10:24 AM, Gerd Stolpmann wrote:
>>> http://www.lexifi.com/blog/runtime-types
>>>
>> Want it! Want it! Want it!
>>
>> Any plans for including this into the official compiler?
>
> Since the reception was not bad when I presented it to the Caml 
> Consortium meeting, yes, I'm proposing this as an extension to the 
> official compiler. The plan is to create a branch in the OCaml SVN (I 
> don't know when I'll be able to do it, hopefully before end of 
> January) and follow the same approach as for GADTs (i.e. ask the 
> community for some feedback, and discuss the proposal amongst the core 
> team). I cannot commit on the final outcome, of course.
>
> -- Alain
>