[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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