From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 7D5E2BC69 for ; Thu, 18 Oct 2007 09:28:38 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAE2nFkeCulhph2dsb2JhbACBWox0AgEICik X-IronPort-AV: E=Sophos;i="4.21,293,1188770400"; d="scan'208";a="18166585" Received: from fiton.bononia.it ([130.186.88.105]) by mail4-smtp-sop.national.inria.fr with ESMTP; 18 Oct 2007 09:28:38 +0200 Received: from aquarium.takhisis.invalid (fiton.bononia.it [130.186.88.105]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "Stefano Zacchiroli", Issuer "sockmel.bononia.it" (verified OK)) by fiton.bononia.it (Postfix) with ESMTP id 94955148BB for ; Thu, 18 Oct 2007 09:28:21 +0200 (CEST) Received: by aquarium.takhisis.invalid (Postfix, from userid 1000) id 0C9CF1241E5; Thu, 18 Oct 2007 09:28:33 +0200 (CEST) Date: Thu, 18 Oct 2007 09:28:33 +0200 From: Stefano Zacchiroli To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Smells like duck-typing Message-ID: <20071018072833.GA523@takhisis.invalid> References: <788147.33893.qm@web54602.mail.re2.yahoo.com> <81AE55C4-1CDA-4299-8F40-273BDC46613C@epfl.ch> <875c7e070710170921n635a2138h382d88164b42401b@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <875c7e070710170921n635a2138h382d88164b42401b@mail.gmail.com> User-Agent: Mutt/1.5.16 (2007-06-11) X-Spam: no; 0.00; zacchiroli:01 zack:01 syntax:01 type-safe:01 syntax:01 ocaml:01 camlp:01 pointer:01 cheers:01 zacchiroli:01 zack:01 unibo:01 polymorphic:01 wrote:01 caml-list:01 On Wed, Oct 17, 2007 at 12:21:39PM -0400, Chris King wrote: > See also Jacques' follow up, where he provides a syntax extension for > these "polymorphic maps" (essentially type-safe property lists): > http://caml.inria.fr/pub/ml-archives/caml-list/2005/07/314a9eb55585d32e7876ef424f5994ae.fr.html Do you know if that syntax extension is still working with ocaml/camlp4 3.10? Thanks for your pointer, Cheers. -- Stefano Zacchiroli -*- PhD in Computer Science ............... now what? zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/ (15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the (15:57:15) Bac: no, la demo scema \/ right keys at the right time