Re: [Caml-list] Polymorphic methods and ellipsis

[Alessandro Baretta <alex@baretta.com>]

Pixel wrote:
> Alessandro Baretta <alex@baretta.com> writes:
> 
> 
>>I'm trying to write a polymorphic method that will accept as a parameter any
>>instance of any subclass of given class. For example
> 
> 
> what about the simpler:
> 
> class salutation = object
>    method greet : 'a. (#parent as 'a) -> string = fun obj -> obj # foo ^ obj # bar
> end
> 
> which works :)

True. I remember trying something of this kind last night, 
but I probably did not use the fun construct to define the 
obj parameter, so it did not work.

At any rate, why does my technique not work?

class salutation : object
   method greet : 'a. (#parent as 'a) -> string
end = object
   method greet obj -> obj # foo ^ obj # bar
end


Alex

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners