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