I want to have the following:

class c = object
 inherit base
 method m (arg : #base) = arg#do_something
end;;

this gives an error. Is the only way to get this working to write it
that way?

class c = object
 inherit base
 method m: 'a.  (#base as 'a) -> unit  = fun arg -> arg#do_something
end;;

If  I have more of such methods, that looks rather ugly. Also I
don't want to cast the argument-object to the baseclass type
everytime...

do I overlook something?

cheers
 Michael