From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 3C9B2BD73 for ; Tue, 16 Aug 2005 19:19:17 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j7GHJGm9026199 for ; Tue, 16 Aug 2005 19:19:16 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA07493 for ; Tue, 16 Aug 2005 19:19:16 +0200 (MET DST) Received: from vaxjo.synopsys.com (us02smtp1.synopsys.com [198.182.60.75]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j7GHJFco011610 for ; Tue, 16 Aug 2005 19:19:15 +0200 Received: from maiden.synopsys.com (maiden.synopsys.com [146.225.100.170]) by vaxjo.synopsys.com (Postfix) with ESMTP id CB3AADCB6 for ; Tue, 16 Aug 2005 10:19:13 -0700 (PDT) Received: from US01Kalium.internal.synopsys.com (localhost [127.0.0.1]) by maiden.synopsys.com (8.9.1/8.9.1) with ESMTP id KAA13511 for ; Tue, 16 Aug 2005 10:19:12 -0700 (PDT) Received: from US01Natrium.internal.synopsys.com ([10.9.67.42]) by US01Kalium.internal.synopsys.com with Microsoft SMTPSVC(5.0.2195.5329); Tue, 16 Aug 2005 10:20:43 -0700 Received: from ca05osmium.internal.synopsys.com ([10.44.8.226]) by US01Natrium.internal.synopsys.com with Microsoft SMTPSVC(5.0.2195.5329); Tue, 16 Aug 2005 10:20:43 -0700 Received: from synopsys.com ([10.44.9.157]) by ca05osmium.internal.synopsys.com with Microsoft SMTPSVC(5.0.2195.5329); Tue, 16 Aug 2005 13:20:42 -0400 Message-ID: <43021FEE.4040605@synopsys.com> Date: Tue, 16 Aug 2005 13:18:38 -0400 From: Alan Falloon User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.5) Gecko/20031007 X-Accept-Language: en-us, en MIME-Version: 1.0 Cc: caml-list@inria.fr Subject: Re: [Caml-list] Re: Snd question References: <161F0D30A699A84A8B7435B62BCE33B30360E19F@APS-MSG-01.southpacific.corp.microsoft.com> <43011A10.4090108@havenrock.com> <1124198264.13635.25.camel@localhost.localdomain> In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-OriginalArrivalTime: 16 Aug 2005 17:20:42.0580 (UTC) FILETIME=[D4955140:01C5A286] X-Miltered: at nez-perce with ID 43022014.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 43022013.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 arrays:01 foo:01 wrote:01 wrote:01 sourceforge:01 alan:01 tuples:01 types:02 meant:05 meant:05 fst:06 snd:07 snd:07 generic:07 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Julian Brown wrote: >On 2005-08-16, skaller wrote: > > >>On Mon, 2005-08-15 at 16:41 -0600, Matt Gushee wrote: >> >> >>I think the original question really meant: >> >>Why aren't "fst" and "snd" properly generic?? >> >>For example this simply *should* work: >> >> snd (1,2,3) >> >> > >What's wrong with arrays (or lists, for that matter), if you want to do >this type of operation? > > I think he also meant that it should work with tuples that actually use different types in each position. So this should work: snd ( 1, "foo", 1.2 )