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.0 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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 32A76BBC1 for ; Thu, 6 Mar 2008 02:56:47 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CALLezkdIDszsbWdsb2JhbACQbQwLBAUIChGTR4cL X-IronPort-AV: E=Sophos;i="4.25,454,1199660400"; d="scan'208";a="9928912" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 06 Mar 2008 02:56:47 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m261uk7T021068 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 6 Mar 2008 02:56:46 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CALLezkdIDszsbWdsb2JhbACQbQwLBAUIChGTR4cL X-IronPort-AV: E=Sophos;i="4.25,454,1199660400"; d="scan'208";a="9928909" Received: from qb-out-0506.google.com ([72.14.204.236]) by mail3-smtp-sop.national.inria.fr with ESMTP; 06 Mar 2008 02:56:44 +0100 Received: by qb-out-0506.google.com with SMTP id a16so1634448qbd.11 for ; Wed, 05 Mar 2008 17:56:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:user-agent:mime-version:to:cc:subject:references:in-reply-to:content-type:content-transfer-encoding; bh=tihhtqALzCzs+gu5mpRyTk5sReEXxWaORb41ZPVwi4Q=; b=AfpNQFQpUitTTSla1J/yuUq9P66hBshMcM5YFpt0EI8Fu7btPRqdzmjPlw0AhGM/EQitlX4DkrcV/QPiR3U18fUAdyXstRHe1YALvZWgKkCrd9F0+FRtQ7N7Hf1l7yVkClsVqrhqUUm3xNxQGnThVHl8Nu1h8j9fTG0MURLF4l8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:cc:subject:references:in-reply-to:content-type:content-transfer-encoding; b=H05QZCvLpDxVHZ0X2rpScbkj/v3QCsMUSKOrRYYxzOsGjTN1wJRO3HEfcplmxsI9qxdNzSaknclGhFy5uENMWeffC3jW87qPj7O/kX8i4HH9j2S6+9Rz7jdGbUI8ybMvtX2GNliNndjYtWVEl7p+qkRH+3JSXafWtsfbMqjpPyk= Received: by 10.35.69.11 with SMTP id w11mr5716745pyk.63.1204768602591; Wed, 05 Mar 2008 17:56:42 -0800 (PST) Received: from ?192.168.0.16? ( [70.237.129.170]) by mx.google.com with ESMTPS id y78sm5884326pyg.17.2008.03.05.17.56.40 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 05 Mar 2008 17:56:41 -0800 (PST) Message-ID: <47CF4F57.3060309@gmail.com> Date: Wed, 05 Mar 2008 19:56:39 -0600 From: Edgar Friendly User-Agent: Thunderbird 2.0.0.12 (X11/20080227) MIME-Version: 1.0 To: peng.zang@gmail.com Cc: caml-list@inria.fr Subject: Re: [Caml-list] specifying the type of an argument with more than one #classpath References: <200803052052.10651.peng.zang@gmail.com> In-Reply-To: <200803052052.10651.peng.zang@gmail.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 47CF4F5E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; foo:01 edgar:98 peng:98 wrote:01 caml-list:01 lazy:02 lazy:02 argument:02 constraints:03 let:03 trick:06 arguments:07 ignore:13 ignore:13 type:14 Peng Zang wrote: > Is there some simple trick people have found for specifying various type > constraints on arguments? How about something like: let takesomefooable_and_barable x = ignore(lazy(x#foo)); ignore(lazy(x#bar)); x E