English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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
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