Version française
Home     About     Download     Resources     Contact us    
Browse thread
Polymorphic variants in class methods
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: malc <malc@p...>
Subject: Polymorphic variants in class methods

# class foo = object method moo = `Bar end;;
Some type variables are unbound in this type:
  class foo : object method moo : [> `Bar] end
The method moo has type [> `Bar] where 'a is unbound

Someone care to comment on that?

P.S. Uhm, like im totaly lost on whats going on here.
-- 
mailto:malc@pulsesoft.com