From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA16874; Sat, 24 May 2003 17:10:12 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 RAA16866 for ; Sat, 24 May 2003 17:10:11 +0200 (MET DST) Received: from teutates.kfunigraz.ac.at (TEUTATES.kfunigraz.ac.at [143.50.129.26]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h4OFAAH06755 for ; Sat, 24 May 2003 17:10:10 +0200 (MET DST) Received: from localhost (localhost.localdomain [127.0.0.1]) by teutates.kfunigraz.ac.at (Postfix) with ESMTP id 43A283D2225; Sat, 24 May 2003 17:10:09 +0200 (CEST) Received: from teutates.kfunigraz.ac.at ([127.0.0.1]) by localhost (teutates.kfunigraz.ac.at [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 11815-09; Sat, 24 May 2003 17:10:08 +0200 (CEST) Received: from stud.uni-graz.at (IGAM08AV.kfunigraz.ac.at [143.50.39.35]) by teutates.kfunigraz.ac.at (Postfix) with ESMTP id 4F1E73D2221; Sat, 24 May 2003 17:10:08 +0200 (CEST) Message-ID: <3ECF7A6C.2050708@stud.uni-graz.at> Date: Sat, 24 May 2003 15:58:04 +0200 From: Siegfried Gonzi Organization: Universitaet Graz User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.8) Gecko/20020204 X-Accept-Language: en-us MIME-Version: 1.0 To: Michal Moskal Cc: caml-list@inria.fr Subject: Re: [Caml-list] List to Tuple References: <20030523213847.GA12787@force.stwing.upenn.edu> <3ECF1C25.40708@stud.uni-graz.at> <20030524104121.GA4709@roke.freak> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Virus-Scanned: by amavisd-new at stud.uni-graz.at X-Spam: no; 0.00; siegfried:01 gonzi:01 stud:99 caml-list:01 michal:01 moskal:01 powerfull:01 val:01 generics:01 psilab:01 ocaml:01 0200,:01 constructs:02 wrote:03 converts:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Michal Moskal wrote: >On Sat, May 24, 2003 at 09:15:49AM +0200, Siegfried Gonzi wrote: > >>I couldn't find the function which converts a List to a Tuple type. >> > >ML type system isn't powerfull enough to express this construct, best >you can have is: > >val conv2 : 'a * 'a -> 'a list >val conv3 : 'a * 'a * 'a -> 'a list >... > >I'm not quite sure if it will change with generics. > I also contacted the author of PsiLAB, because it is quite strange to have such a format. PisLAB as the manual claims is more or less integrated into OCaml and in my opinion the common case are/should be list constructs. Regards, S. Gonzi > > ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners