From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 36369BBAF for ; Tue, 27 Jun 2006 20:11:52 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k5RIBqmJ023716 for ; Tue, 27 Jun 2006 20:11:52 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA01697 for ; Tue, 27 Jun 2006 20:11:51 +0200 (MET DST) Received: from blizzard.cs.caltech.edu (blizzard.cs.caltech.edu [131.215.44.2]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k5RIBolv006912 for ; Tue, 27 Jun 2006 20:11:51 +0200 Received: from localhost (flood.cs.caltech.edu [131.215.44.31]) by blizzard.cs.caltech.edu (Postfix) with ESMTP id A514F4022B4; Tue, 27 Jun 2006 11:11:44 -0700 (PDT) Received: from blizzard.cs.caltech.edu ([131.215.44.2]) by localhost (flood.cs.caltech.edu [131.215.44.31]) (amavisd-new, port 10024) with ESMTP id 25936-02; Tue, 27 Jun 2006 11:11:44 -0700 (PDT) Received: from [192.168.3.123] (charter-242-010.caltech.edu [131.215.242.10]) by blizzard.cs.caltech.edu (Postfix) with ESMTP id 645394020CE; Tue, 27 Jun 2006 11:11:44 -0700 (PDT) Message-ID: <44A174DE.1090206@cs.caltech.edu> Date: Tue, 27 Jun 2006 11:11:42 -0700 From: Aleksey Nogin Reply-To: caml-list@inria.fr Organization: California Institute of Technology, Computer Science Department User-Agent: Mozilla Thunderbird 1.0.7-1.1.fc3 (X11/20050929) X-Accept-Language: en-us, en MIME-Version: 1.0 To: Michel.Mauny@ensta.fr Cc: caml-list@inria.fr, =?ISO-8859-15?Q?Gr=E9goire_Henry?= Subject: Re: [Caml-list] Typing unmarshalling without marshalling types References: <449BB0C6.5040204@ensta.fr> In-Reply-To: <449BB0C6.5040204@ensta.fr> X-Enigmail-Version: 0.89.5.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 44A174E8.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 44A174E6.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; marshalling:01 mauny:01 ocaml:01 wrote:01 caml-list:01 typing:01 michel:01 functions:01 caltech:02 caltech:02 caml:02 objective:02 types:02 mainstream:06 examples:07 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 On 23.06.2006 02:13, Michel Mauny wrote: > Dear all, > > We are pleased to announce a patch for Objective Caml that provides > type safe unmarshalling functions. I've looked at the examples from your web page and it looks really great! What are the chances of this being included in the "mainstream" OCaml distribution some time soon? -- Aleksey Nogin Home Page: http://nogin.org/ E-Mail: nogin@cs.caltech.edu (office), aleksey@nogin.org (personal) Office: Moore 04, tel: (626) 395-2200