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=2.2 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,HTML_MESSAGE,MIME_BASE64_TEXT 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 2EA63BBCA for ; Wed, 27 Feb 2008 22:02:33 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAFtexUfAXQImh2dsb2JhbACCOzOMToEsAQEBCAopnQ0 X-IronPort-AV: E=Sophos;i="4.25,415,1199660400"; d="scan'208,217";a="23128217" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 27 Feb 2008 22:02:32 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m1RL2WP5028089 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 27 Feb 2008 22:02:32 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CABlfxUdQDPJwaWdsb2JhbACCOzOMToEfDQsEBgcIEwSdDg X-IronPort-AV: E=Sophos;i="4.25,415,1199660400"; d="scan'208,217";a="8680755" Received: from smtp2e.orange.fr ([80.12.242.112]) by mail1-smtp-roc.national.inria.fr with ESMTP; 27 Feb 2008 22:02:32 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2e14.orange.fr (SMTP Server) with ESMTP id C1B967000097 for ; Wed, 27 Feb 2008 22:02:31 +0100 (CET) Received: from Thinkpad-R60 (Mix-Lyon-303-2-215.w193-248.abo.wanadoo.fr [193.248.44.215]) by mwinf2e14.orange.fr (SMTP Server) with SMTP id F0C387000089 for ; Wed, 27 Feb 2008 22:02:30 +0100 (CET) X-ME-UUID: 20080227210230986.F0C387000089@mwinf2e14.orange.fr Date: Wed, 27 Feb 2008 22:04:52 +0100 From: "Damien Guichard" To: "Liste de diffusion OCaml" Subject: Re: Categories for types X-mailer: Foxmail 5.0 [-fr-] Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="=====003_Dragon422378836244_=====" Message-Id: <20080227210230.F0C387000089@mwinf2e14.orange.fr> X-Miltered: at discorde with ID 47C5CFE8.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; damien:01 guichard:01 ocaml:01 functors:01 utwente:01 damien:01 ocaml:01 functors:01 utwente:01 modules:02 modules:02 seems:03 seems:03 types:05 multi-part:94 This is a multi-part message in MIME format. --=====003_Dragon422378836244_===== Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: base64 DQpIaSBNaWNoYetsLA0KDQpTZWVtcyB0byBtZSBhbiBPQ2FtbCAnZnVuY3RvcicgaXMgYSBhIGds b3JpZmllZCBmdW5jdGlvbiBmcm9tIG1vZHVsZXMgdG8gbW9kdWxlcy4NClRoZSBtb3N0IHJlYWRp Ymx5IGludHJvZHVjdGlvbiB0byBjYXRlZ29yeSB0aGVvcnksIGluY2x1ZGluZyBjYXRlZ29yeSBm dW5jdG9ycywga25vd24gdG8gbWUgaXMgOiANCmh0dHA6Ly93d3dob21lLmNzLnV0d2VudGUubmwv fmZva2tpbmdhL21tZjkyYi5odG1sDQpJdCdzIGEgcmVhbGx5IGdvb2Qgc3RhcnQuDQoNCi0gZGFt aWVuDQo= --=====003_Dragon422378836244_===== Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: base64 PCFET0NUWVBFIEhUTUwgUFVCTElDICItLy9XM0MvL0RURCBIVE1MIDQuMCBUcmFuc2l0aW9uYWwv L0VOIj4NCjxIVE1MPjxIRUFEPg0KPE1FVEEgaHR0cC1lcXVpdj1Db250ZW50LVR5cGUgY29udGVu dD0idGV4dC9odG1sOyBjaGFyc2V0PWlzby04ODU5LTEiPg0KPE1FVEEgY29udGVudD0iTVNIVE1M IDYuMDAuMjkwMC4yOTYzIiBuYW1lPUdFTkVSQVRPUj48L0hFQUQ+DQo8Qk9EWT4NCjxESVY+PEJS PkhpIE1pY2hh62wsPC9ESVY+DQo8RElWPiZuYnNwOzwvRElWPg0KPERJVj5TZWVtcyB0byBtZSBh biBPQ2FtbCAnZnVuY3RvcicgaXMgYSBhIGdsb3JpZmllZCBmdW5jdGlvbiBmcm9tIG1vZHVsZXMg dG8gDQptb2R1bGVzLjxCUj5UaGUgbW9zdCByZWFkaWJseSBpbnRyb2R1Y3Rpb24gdG8gY2F0ZWdv cnkgdGhlb3J5LCBpbmNsdWRpbmcgDQpjYXRlZ29yeSBmdW5jdG9ycywga25vd24gdG8gbWUgaXMg OiA8QlI+PEEgDQpocmVmPSJodHRwOi8vd3d3aG9tZS5jcy51dHdlbnRlLm5sL35mb2traW5nYS9t bWY5MmIuaHRtbCI+aHR0cDovL3d3d2hvbWUuY3MudXR3ZW50ZS5ubC9+Zm9ra2luZ2EvbW1mOTJi Lmh0bWw8L0E+PEJSPkl0J3MgDQphIHJlYWxseSBnb29kIHN0YXJ0LjwvRElWPg0KPERJVj4mbmJz cDs8L0RJVj4NCjxESVY+LSBkYW1pZW48L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+PC9CT0RZPjwv SFRNTD4NCg== --=====003_Dragon422378836244_=====--