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