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.4 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id E12C1BC69 for ; Thu, 18 Oct 2007 10:33:47 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAK+3FkeCNhAB/2dsb2JhbAA X-IronPort-AV: E=Sophos;i="4.21,294,1188770400"; d="scan'208";a="3180097" Received: from kurims.kurims.kyoto-u.ac.jp ([130.54.16.1]) by mail2-smtp-roc.national.inria.fr with ESMTP; 18 Oct 2007 10:33:46 +0200 Received: from localhost (orion [130.54.16.5]) by kurims.kurims.kyoto-u.ac.jp (8.13.8/8.13.8) with ESMTP id l9I8XWdW010182; Thu, 18 Oct 2007 17:33:32 +0900 (JST) Date: Thu, 18 Oct 2007 17:33:20 +0900 (JST) Message-Id: <20071018.173320.266110753.garrigue@math.nagoya-u.ac.jp> To: zack@bononia.it Cc: caml-list@yquem.inria.fr Subject: [ANN] pa_oo and pa_polymap for 3.10 (Re: [Caml-list] Smells like duck-typing) From: Jacques Garrigue In-Reply-To: <20071018072833.GA523@takhisis.invalid> References: <81AE55C4-1CDA-4299-8F40-273BDC46613C@epfl.ch> <875c7e070710170921n635a2138h382d88164b42401b@mail.gmail.com> <20071018072833.GA523@takhisis.invalid> X-Mailer: Mew version 4.2 on Emacs 22.1 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocaml:01 zacchiroli:01 zack:01 syntax:01 type-safe:01 syntax:01 ocaml:01 camlp:01 polymorphic:01 wrote:01 caml-list:01 caml-list:01 caml:02 essentially:02 garrigue:03 I've just added versions of pa_oo and pa_polymap working with 3.10. Sorry for the long delay... http://www.math.nagoya-u.ac.jp/~garrigue/code/ocaml.html Jacques Garrigue From: Stefano Zacchiroli > 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?