[Caml-list] polymorphic methods in objects?

[Lex Stein <stein@eecs.harvard.edu>]

Hi,

Why can't objects have polymorphic methods ? I'm trying a compile and
ocamlc gets upset because I have a method with an unbound type in its
signature (see below for ocamlc error output).

Must methods be type paramaterized through some kind of a template
mechanism? This seems a bit limiting: the methods of an object would have
their type signature fixed across the lifetime of an object.

      method dummy_init : 'a -> unit
      method dump : out_channel -> unit
      method init : unit -> unit
      method join : string -> unit
      method null : unit -> unit
      method resolv : string -> hmap option
    end
The method dummy_init has type 'a -> unit where 'a is unbound
make: *** [pastry.cmo] Error 2

Thanks,

Lex

---
Lex Stein                     http://www.eecs.harvard.edu/~stein/
Harvard Computer Science      TEL: 617-495-5973

-------------------
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