Re: [Caml-list] Typing of a parameterized class where the type parameter is the type of self.

[Leo White <lpw25@cam.ac.uk>]

> # class type ['a] c = object ('a) method m : 'b end;;
> class type ['a] c = object ('a) constraint 'a = < m : 'b. 'b; .. > method m : 'b end
>
> In particular I don't understand why the method m gets a polymorphic
> type.

To allow shorter type annotations for class types, OCaml tries to
automatically turn methods with polymorphic types into polymorphic
methods. In this case it is being a bit over eager and making your
method polymorphic even though it doesn't need to.

You can fix this by making it more obvious that your method's
polymorphism is contained within the class parameter 'a. You can do this
by writing in the constraint by hand:

    class type ['a] c = object ('a)
      constraint 'a = < m : 'b; ..>
      method m : 'b
    end

Which now allows your type definition to work:

    # type 'a t = (< m : int ; .. > as 'a) c;;
    type 'a t = 'a c constraint 'a = < m : int >

Regards,

Leo