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=1.6 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id DD4E3BC37 for ; Fri, 29 May 2009 17:50:04 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsECAAehH0pDww+FmGdsb2JhbACQSYEmhiUBAQEBAQgJDAcRqH2BE49YAQUDAYQIBQ X-IronPort-AV: E=Sophos;i="4.41,272,1241388000"; d="scan'208";a="30201444" Received: from web111501.mail.gq1.yahoo.com ([67.195.15.133]) by mail1-smtp-roc.national.inria.fr with SMTP; 29 May 2009 17:50:04 +0200 Received: (qmail 124 invoked by uid 60001); 29 May 2009 15:50:02 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1243612202; bh=A/YGPylklEqo+Vb9f3X2b6X41ApkTgroH9lmgriCVhw=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:MIME-Version:Content-Type:Content-Transfer-Encoding; b=AmhQEhUqb11/J8R7mofkFkrpAVpEK0CSojKkZpSKE9ymOPpKOlC7eAoGmtuj0u4PxhCYPkmENZBvh534zU7k9cfUomaWFzPbmElgVev79GmN8wgwZIEfZHy0f1h1ZCST/SpN5x46k2aXynw3CmmkVPXBFZ2tVGlY1MX2d4QBlZ0= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:MIME-Version:Content-Type:Content-Transfer-Encoding; b=nUo5qnPLOz4kA6JXtDq1X9d1tc2I3glTXY5iSYdhlSNm4YaYq9BS3tUq25SqyG68d7xog3lIVTMsG+gBnKn7j2bRH28hmF3XxNdSZ0Jl5gK7RjL+9CqMlDpkMIopFCXrdKwgXiFqubOxA2Zo1LpIEJVBlgtBGeiG40PyuOtOWRU=; Message-ID: <917764.98282.qm@web111501.mail.gq1.yahoo.com> X-YMail-OSG: Mf43D0wVM1lIm82mtRor68RVcEqlFBm24hJwgeuD8ccn5YxFTKMffVwCMhjtDq.pysTqFnojfd7tDV1VinFWKPCdzuzJWiZKZI8Z80_pqybXyv83VruByOqObAJ3OVIKEpv6kM4UtJPZg55Z9_IrqLKyWBjYjPG9SBbAmH2r_dzW7ud5Km.tKCPuOlt22HcH3Td_dT1KyIO8CeKz5Pae.32MJHfZ_8OzzXSwIW8uWP2ZtisYjvZkebLByzeglwsuugg41zkkYG88_nuJ54JJ9wxUq3PmQQmu3e_Gk5Afrzzl5lfURqGM20MNFaUzSd.LJ_ENkOnSzOxN5cFZfqk- Received: from [213.205.71.63] by web111501.mail.gq1.yahoo.com via HTTP; Fri, 29 May 2009 08:50:02 PDT X-Mailer: YahooMailClassic/5.3.9 YahooMailWebService/0.7.289.10 Date: Fri, 29 May 2009 08:50:02 -0700 (PDT) From: Dario Teixeira Subject: Re: [Caml-list] Width subtyping To: Richard Jones Cc: caml-list@yquem.inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; subtyping:01 syntax:01 ocaml:01 cheers:01 caml-list:01 width:97 garrigue:03 jacques:03 nagoya-u:04 extension:06 discussion:06 suspected:10 magic:10 might:12 tired:87 Hi,=0A=0A> I've very tired at the moment, but I think that Garrigue's=0A> p= olymap syntax extension does what you want:=0A> =0A> http://www.math.nagoya= -u.ac.jp/~garrigue/code/ocaml.html=0A> =0A> If not, just ignore me!=0A=0AI = should have suspected this discussion would eventually lead=0Ato something = out of Jacques Garrigue's magic hat! :-)=0A=0ABut on a first glance, yes, i= t does look like it might be of interest.=0AI'll explore it further, thanks= !=0A=0ACheers,=0ADario=0A=0A=0A=0A