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.1 required=5.0 tests=AWL,SPF_NEUTRAL 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 1A185BC77 for ; Tue, 13 Nov 2007 19:41:36 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAH97OUfAXQImh2dsb2JhbACOfAEBAQgKKQ X-IronPort-AV: E=Sophos;i="4.21,411,1188770400"; d="scan'208";a="4193962" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Nov 2007 19:34:20 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id lADIYJAr009952 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 13 Nov 2007 19:34:20 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAH97OUdC+Vytlmdsb2JhbACOfAEBAQEHAggREQc X-IronPort-AV: E=Sophos;i="4.21,411,1188770400"; d="scan'208";a="4193961" Received: from ug-out-1314.google.com ([66.249.92.173]) by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Nov 2007 19:34:19 +0100 Received: by ug-out-1314.google.com with SMTP id m3so160543ugc for ; Tue, 13 Nov 2007 10:34:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:received:date:to:cc:subject:message-id:mail-followup-to:references:mime-version:content-type:content-disposition:in-reply-to:user-agent:from; bh=wvcDhyxwmOL/vn8iZQyBSMavWZu0AePcyQnL7UFuwh8=; b=VnOSYYlJUpoJxpxHXvsgLOPcoh79mJMumGoKXJo529861DVsvPrrAC9/ZOlE3I7iAprM3mxylgfrNcc0vC1rKx3ha6C9Sx8YKBCDTE9m0NiCrErYaI/C1d7aF8CLwsUDklcMBSnUJB7cK0CKmIlUOtpgSEE07UuIyC+fZugUBHY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:date:to:cc:subject:message-id:mail-followup-to:references:mime-version:content-type:content-disposition:in-reply-to:user-agent:from; b=mZ2xfcSx5oncubkvV5b88+vCOSeTDvGA2Z7kg71HztrSsJl6ZahNFfMtOIJXHenb41aJ6oMAy4ZJ9PfsQqOyBB8F2nRfUcx8yAOOppT6IGRJvshUqBPMpEHl3HIGnRAqH7MTJPsafaw5cK2HvzE7qAHsjMNKryNmqaIgJE88bH8= Received: by 10.66.233.14 with SMTP id f14mr35612ugh.1194978859243; Tue, 13 Nov 2007 10:34:19 -0800 (PST) Received: from localhost ( [82.122.104.65]) by mx.google.com with ESMTPS id i40sm534142ugf.2007.11.13.10.34.14 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 13 Nov 2007 10:34:16 -0800 (PST) Received: by localhost (sSMTP sendmail emulation); Tue, 13 Nov 2007 19:35:01 +0100 Date: Tue, 13 Nov 2007 19:35:01 +0100 To: caml-list@inria.fr Cc: Julien Moutinho Subject: Re: [Caml-list] polymorphic lists, existential types and asorted other hattery Message-ID: <20071113183501.GA6800@localhost> Mail-Followup-To: Julien Moutinho , caml-list@inria.fr References: <200711131227.18910.peng.zang@gmail.com> <20071113182955.GB14227@localhost> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20071113182955.GB14227@localhost> User-Agent: Mutt/1.5.17 (2007-11-01) From: Julien Moutinho X-Miltered: at discorde with ID 4739EE2B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; existential:01 peng:98 polymorphic:01 wrote:01 caml-list:01 types:05 tue:06 classes:08 i'm:09 julien:12 julien:12 solution:14 nov:17 possible:17 2007:81 On Tue, 13 Nov 2007 13:24:51 -0500, Peng Zang wrote: > Ahh, right! Sorry, I forgot to mention I'm looking for a possible solution > without classes. Arf.