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
Merging object signatures
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-11-05 (17:59)
From: Dario Teixeira <darioteixeira@y...>
Subject: Re: [Caml-list] Merging object signatures

>   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