Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] use of `generics'
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Siegfried Gonzi <siegfried.gonzi@s...>
Subject: Re: [Caml-list] List to Tuple
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.

S. Gonzi


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: