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=3.3 required=5.0 tests=AWL,DNS_FROM_RFC_POST, HTML_10_20,HTML_MESSAGE,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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 765E3BBAF for ; Sun, 22 Feb 2009 22:56:33 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtICADdZoUnRVd0Vk2dsb2JhbACCbpEtPwEBAQEJCQoaA7BsgQWMewEDAQOEDAY X-IronPort-AV: E=Sophos;i="4.38,251,1233529200"; d="scan'208";a="24509040" Received: from mail-qy0-f21.google.com ([209.85.221.21]) by mail1-smtp-roc.national.inria.fr with ESMTP; 22 Feb 2009 22:56:32 +0100 Received: by qyk14 with SMTP id 14so2665516qyk.3 for ; Sun, 22 Feb 2009 13:56:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:content-type; bh=LPZHcuvFvdZlW7wEgRGJgJs/94CjCa6ezZNLML3P28Q=; b=c7g6yserF4v3L6Aefcu6/uEwlp4y2poaYKYTwMcrpZCb+Jh3eJH8ihzDYic1Gc7GZS yRfTBJ1QyJIk85g8uU8zeJ2j9AMCzkPyjyoCFU0V2OZ2OSVjzSTAmcvheivmhS2Iqwhb Fl8wcKh5AB7vagn44riy8328jkkRG/QoCBaMM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=lIuSzyzYdHcYqPEYIheIA9Y1c7N6zk6Z4VAz9wYNB1ai03wulGslJ/+oWkkLtncaZ9 LiYuyRUbhjnn7+w/cVFjQpAK3vANXsaHH/cD2xTfElNNq+lqJRsFsVCbBZdudlbxHhpa nAphwPQnh82nEFRmMM7MTdRbdud0+ceIVoYDM= MIME-Version: 1.0 Received: by 10.229.96.132 with SMTP id h4mr998436qcn.65.1235339792063; Sun, 22 Feb 2009 13:56:32 -0800 (PST) Date: Sun, 22 Feb 2009 15:56:32 -0600 Message-ID: Subject: a question bout exetract a sub-element of element in triple From: Su Zhang To: caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=0016364273777b9dda046388f5d7 X-Spam: no; 0.00; advices:01 advices:01 element:03 let:03 problem:05 problem:05 encountered:07 encountered:07 definition:07 definition:07 question:13 but:14 but:14 some:14 some:14 --0016364273777b9dda046388f5d7 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit I encountered a new problem which is I want to get " 1 " from a triple "(0,2,[1,2,3])", which means I want to get the first value of the third item in one triple and itself is a list, but when I use the List.hd (third(0,2,[1,2,3])), it will give me the entire list which is [1,2,3] the definition of the third is "let third(x,y,z)=z", so is there a way I can get out "1" from "(0,2,[1,2,3])"? if possible, would you please give me some advices? thank you very much -- Su Zhang --0016364273777b9dda046388f5d7 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable I encountered a new problem which is I want to get " 1 " from a t= riple "(0,2,[1,2,3])", which means I want to get the first value = of the third item in one triple and itself is a list, but when I use the Li= st.hd (third(0,2,[1,2,3])), it will give me the entire list which is [1,2,3= ]
the definition of the third is "let third(x,y,z)=3Dz", so is ther= e a way I can get out "1" from "(0,2,[1,2,3])"? if poss= ible, would you please give me some advices?
 
thank you very mu= ch

--
Su Zhang
--0016364273777b9dda046388f5d7--