Am Wednesday 08 April 2009 09:54:48 schrieben Sie:

> There is no value of type: forall 'a. #baseclass as 'a.

is this similar? :

 type 'a xx = 'a constraint 'a = < asBase: baseObject; .. > ;;

(why does: type 'a xx = < asBase: baseObject; ..>  as 'a  not work instead? )


 type 'a r = { state: 'a xx };;

gives:
type 'a r = { state : 'a xx; } constraint 'a = < asBase : baseObject; .. >


so the record holds objects with an asBase method and more, isn't this the 
same as #baseObject?


 Michael