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 pB8AWWOs019133 for ; Thu, 8 Dec 2011 11:32:32 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag8BAE2R4E7B/BfSkWdsb2JhbABDqwcBAQEBCQsLBxQDIoFyAQEFOEABEAsOCgkWDwkDAgECAUUGDQEHAQEQh3UGtnuLOwSUa4VLjFw X-IronPort-AV: E=Sophos;i="4.71,319,1320620400"; d="scan'208";a="122564169" Received: from msa01.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.210]) by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Dec 2011 11:32:30 +0100 Received: from [192.168.1.102] ([83.199.18.102]) by mwinf5d03 with ME id 6aYV1i0092C8GJT03aYVZD; Thu, 08 Dec 2011 11:32:29 +0100 Message-ID: <4EE0923C.2060100@frisch.fr> Date: Thu, 08 Dec 2011 11:32:28 +0100 From: Alain Frisch User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:8.0) Gecko/20111105 Thunderbird/8.0 MIME-Version: 1.0 To: Gerd Stolpmann CC: Edgar Friendly , caml-list@inria.fr References: <1323271707.32238.17.camel@arrakis> <4EE02213.70200@gmail.com> <4EE07CB7.6090106@frisch.fr> <280dc1473314c10968af19341bde3186.squirrel@gps.dynxs.de> In-Reply-To: <280dc1473314c10968af19341bde3186.squirrel@gps.dynxs.de> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Generic printer patch 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