Hi,

>   class type foobar_t = object inherit foo_t inherit bar_t end
>   val do_something : #foobar_t -> bool
> 
> I agree that this is rather verbose. I thought a few times of adding the
> syntax you propose, but was always stopped by the fact you can already do
> it in a verbose way.

Actually, I was unaware that the '#' syntax could also be used for objects,
though in retrospect it does make sense given how its used with polymorphic
variants.  And verboseness notwithstanding, the code above does solve my
problem nicely -- thanks!

Best regards,
Dario Teixeira