Fabrice Le Fessant wrote:
> 
> I have made a small patch to ocaml-2.02 to allow safe casts of objects.
> The patch adds two new keywords "implements" and "cast".

It sound very good to me, I needed such construct and for now I must
"tag"
objects with a sum constructor and "untag" them with pattern matching,
not
very convenient...
Will this patch be integrated in the official ocaml distribution ?

-- 
Vyskocil Vladimir
vyskocil@math.unice.fr
http://pcmath65.unice.fr/~vyskocil
http://www.inria.fr/safir/WHOSWHO/Vladimir.html