[Caml-list] Recursive Parametric class type Typing

[Raphael Proust <raphlalou@gmail.com>]

Hi list,

Trying to bind a javascript library for js_of_ocaml, I encountered the following
pattern (here drastically simplified):

class type ['t] c =
  object
    method plus: 't -> unit
    method minus: unit -> 't
    method container: unit -> container
  end
and container =
  object
    method int: unit -> int c
    method string: unit -> string c
  end

The following error is raised at compile time:
Error: This type string should be an instance of type int

In the use case:
- instead of [int] and [string] there are six different [class type]s;
- [classe type]s have more methods; and
- there are additional recursive [class type]s


Why is there such a limitation on the types? Is there a work around that
wouldn't induce (too  much) code duplication?

Thanks,
-- 
______________
Raphaël Proust