[Caml-list] Class Events

[Caml-list] Class Events

[Warp]

Hello, i'm trying to have my class having some event callback like this :

class wmenuitem (fcallback:wmenuitem->unit) =
  object(self)
 val func = fcallback
 method activate = (func self)
  end

but I'm having :

This expression has type < activate : 'a; .. > but is here used with type
  wmenuitem = < .. >
Self type cannot escape its class

Is it really true that self cannot be a parameter ?
Any help ?
Thanks

Warp

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] Class Events

[Remi VANICAT]

"Warp" <warplayer@free.fr> writes:

> Hello, i'm trying to have my class having some event callback like this :
> 
> class wmenuitem (fcallback:wmenuitem->unit) =
>   object(self)
>  val func = fcallback
>  method activate = (func self)
>   end
> 
> but I'm having :
> 
> This expression has type < activate : 'a; .. > but is here used with type
>   wmenuitem = < .. >
> Self type cannot escape its class
> 
> Is it really true that self cannot be a parameter ?
> Any help ?

Yes : let the compiler guess the type :

class wmenuitem (fcallback:'a -> unit) =
object(self)
  val func = fcallback
  method activate = (func self)
end

-- 
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr