Version française
Home     About     Download     Resources     Contact us    
Browse thread
specifying the type of an argument with more than one #classpath
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Eric Cooper <ecc@c...>
Subject: Re: [Caml-list] specifying the type of an argument with more than one #classpath
On Wed, Mar 05, 2008 at 08:52:06PM -0500, Peng Zang wrote:
> # let takesomefooable_and_barable (x:#foo #bar) = x;;
> The type constructor bar expects 0 argument(s),
> but is here applied to 1 argument(s)
> 
> 
> Which shows I'm clearly not syntactically expressing this correctly.  I 
> checked the manual and it doesn't seem possible...  How do I do this or 
> workaround it?

You were very close:

# let f ((x : #foo) : #bar) = x;; 
val f : (< bar : string; foo : string; .. > as 'a) -> 'a = <fun>

-- 
Eric Cooper             e c c @ c m u . e d u